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. © Springer-Verlag Berlin Heidelberg 2011.
CITATION STYLE
Nalepa, G. J., Bobek, S., Ligȩza, A., & Kaczor, K. (2011). HalVA-Rule analysis framework for XTT2 rules. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6826 LNCS, pp. 337–344). https://doi.org/10.1007/978-3-642-22546-8_27
Mendeley helps you to discover research relevant for your work.