Logo des Repositoriums
 
Konferenzbeitrag

Visual Design and On-line Verification of Tabular Rule-Based Systems with XTT*

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2005

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.

Beschreibung

Ligęza, Antoni; Nalepa, Grzegorz J. (2005): Visual Design and On-line Verification of Tabular Rule-Based Systems with XTT*. Marktplatz Internet: Von e-Learning bis e-Payment, 13. Leipziger Informatik-Tage (LIT 2005). Bonn: Gesellschaft für Informatik e. V.. PISSN: 1617-5497. ISBN: 3-88579-401-31. pp. 303-312. Regular Research Papers. Leipzig. 21.-23. September 2034

Schlagwörter

Zitierform

DOI

Tags