Konferenzbeitrag
Visual Design and On-line Verification of Tabular Rule-Based Systems with XTT*
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Zusatzinformation
Datum
2005
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Gesellschaft für Informatik e. V.
Zusammenfassung
The paper is dedicated to presentation of a new approach to joint design and verification of rule-based systems. The principal idea is that verification should be performed on-line, incrementally, during system design. This allows for early detection and handling of knowledge base anomalies and inconsistencies. The proposed approach offers also an innovative visual tool for computer-aided design. Knowledge representation is based on eXtended Tabular Trees (XTT) a very flexible and powerful knowledge representation paradigm combining the expressive power of attributive decision tables and decision trees. Design and verification process with an XTT design tool and the visual editor is discussed.