Prolog-Based Analysis of Tabular Rule-Based Systems with the XTT Approach

Grzegorz J. Nalepa, Antoni Ligeza

This paper presents a new approach to the issue of assuring rule-based systems (RBS) correctness. The principal idea is that verification should be performed on-line, incrementally, during system design. It allows for early detection and handling of knowledge base anomalies and inconsistencies by incorporating a formal Prolog-based analysis of RBS in the design phase. A formal concept of a design tool (XTT) for specifying attributive RBS with a visual editor is outlined.

Subjects: 1.7 Expert Systems; 11. Knowledge Representation

Submitted: Feb 13, 2006

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.