Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/ruleml2011-europe/paper/57> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- 57 creator antoni-ligeza.
- 57 creator grzegorz-j-nalepa.
- 57 creator krzysztof-kaczor.
- 57 type InProceedings.
- 57 label "Overview of Knowledge Formalization with XTT2 Rules".
- 57 sameAs 57.
- 57 abstract "The paper discusses a new 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 decision diagram takes the form of a graph linking the tables in a kind of decision network. Hence, the overall structure of XTT2 constitutes a kind of hierarchical knowledge representation. At the lower level knowledge units specification is provided by a set of rules working in the same context and represented in a single table, 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 of rigorous design and verification. The focus of the paper is on the detailed presentation of the formal aspects of the approach starting at initial logical specification and ending with practical tools. ".
- 57 hasAuthorList authorList.
- 57 isPartOf proceedings.
- 57 keyword "formalization".
- 57 keyword "rules".
- 57 keyword "visual design".
- 57 title "Overview of Knowledge Formalization with XTT2 Rules".