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