Overview of Knowledge Formalization with XTT2 Rules

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.