Logo des Repositoriums
 

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

dc.contributor.authorLigęza, Antoni
dc.contributor.authorNalepa, Grzegorz J.
dc.contributor.editorJantke, Klaus P.
dc.contributor.editorFähnrich, Klaus-Peter
dc.contributor.editorWittig, Wolfgang S.
dc.date.accessioned2019-08-27T08:15:09Z
dc.date.available2019-08-27T08:15:09Z
dc.date.issued2005
dc.description.abstractThe 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.en
dc.identifier.isbn3-88579-401-31
dc.identifier.pissn1617-5497
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/24903
dc.language.isoen
dc.publisherGesellschaft für Informatik e. V.
dc.relation.ispartofMarktplatz Internet: Von e-Learning bis e-Payment, 13. Leipziger Informatik-Tage (LIT 2005)
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-100
dc.titleVisual Design and On-line Verification of Tabular Rule-Based Systems with XTT*en
dc.typeText/Conference Paper
gi.citation.endPage312
gi.citation.publisherPlaceBonn
gi.citation.startPage303
gi.conference.date21.-23. September 2034
gi.conference.locationLeipzig
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
GI-Proceedings.72-30.pdf
Größe:
304.3 KB
Format:
Adobe Portable Document Format