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

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.