论文信息 - HalVA - Rule Analysis Framework for XTT2 Rules

HalVA - Rule Analysis Framework for XTT2 Rules

Quality and reliability issues are important in development and exploration of rule-based systems. In the paper a formalized knowledge representation for rules called XTT2 is considered. It is a rule language based on an expressive attribute logic called ALSV(FD). A custom runtime and verification framework for XTT2 called HalVA is proposed. It allows for verification of certain formal properties of rules, including determinism, subsumption or completeness.

Grzegorz J. Nalepa | Krzysztof Kaczor | Antoni Ligeza | Szymon Bobek

[1] Jacek M. Zurada,et al. Artificial Intelligence and Soft Computing, 10th International Conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010, Part I , 2010, International Conference on Artificial Intelligence and Soft Computing.

[2] Wei-Tek Tsai,et al. Verification and Validation of Knowledge-Based Systems , 1999, IEEE Trans. Knowl. Data Eng..

[3] Valentin Zacharias. Development and Verification of Rule Based Systems - A Survey of Developers , 2008, RuleML.

[4] Grzegorz J. Nalepa,et al. The HeKatE methodology. Hybrid engineering of intelligent systems , 2010, Int. J. Appl. Math. Comput. Sci..

[5] Guido Governatori,et al. Rule Representation, Interchange and Reasoning on the Web , 2008, Lecture Notes in Computer Science.

[6] Grzegorz J. Nalepa. Architecture of the HeaRT Hybrid Rule Engine , 2010, ICAISC.