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.
KeywordsExpert System Atomic Formula Inference Network Finite Domain Completeness Test
Unable to display preview. Download preview PDF.
- 1.Culbert, S.: Expert system verifications & validation. In: Proc. of First AAAI Workshop on V,V & Testing (August 1988)Google Scholar
- 2.Ligęza, A., Nalepa, G.J.: Proposal of a formal verification framework for the XTT2 rule bases. In: Tadeusiewicz, R., Ligęza, A., Mitkowski, W., Szymkat, M. (eds.) CMS 2009: Computer Methods and Systems: 7th Conference, Kraków, Poland, November 26-27, pp. 105–110. AGH University of Science and Technology, Cracow, Oprogramowanie Naukowo-Techniczne, Kraków (2009)Google Scholar