2011 | OriginalPaper | Buchkapitel
Overview of Knowledge Formalization with XTT2 Rules
verfasst von : Grzegorz J. Nalepa, Antoni Ligęza, Krzysztof Kaczor
Erschienen in: Rule-Based Reasoning, Programming, and Applications
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
The paper discusses a new formalized knowledge representation for rule-based systems called XTT2. This hybrid knowledge representation combines decision diagrams with extended decision tables. A single decision table contains a set of rules of similar structure operating within a common context. The structure of XTT2 constitutes a hierarchical knowledge representation consisting of lower level knowledge components, where specification is provided by a set of rules working in the same context, and at the higher level, where the decision diagram defines the overall structure of the knowledge base. This model has a concise formalization which opens up possibility for rigorous design and verification. The focus of the paper is on the presentation of the formal aspects of the approach starting from an initial logical specification.