HalVA - rule analysis framework for XTT2 rules

Authors:
Grzegorz J. Nalepa;Szymon Bobek;Antoni Ligęza;Krzysztof Kaczor
Affiliations:
AGH University of Science and Technology, Kraków, Poland;AGH University of Science and Technology, Kraków, Poland;AGH University of Science and Technology, Kraków, Poland;AGH University of Science and Technology, Kraków, Poland
Venue:
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Year:
2011

Citing 4
Cited 1

Verification and Validation of Knowledge-Based Systems

IEEE Transactions on Knowledge and Data Engineering
Development and Verification of Rule Based Systems -- A Survey of Developers

RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Architecture of the HeaRT hybrid rule engine

ICAISC'10 Proceedings of the 10th international conference on Artifical intelligence and soft computing: Part II
The HeKatE methodology. Hybrid engineering of intelligent systems

International Journal of Applied Mathematics and Computer Science - Computational Intelligence in Modern Control Systems

Enriching business processes with rules using the oryx BPMN editor

ICAISC'12 Proceedings of the 11th international conference on Artificial Intelligence and Soft Computing - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.