Rule base inspection using algorithmic approach for data-access oriented knowledge-based systems

The authors describe an effective rule-base inspection method that checks rule-base consistency and completeness by using an algorithmic approach. A knowledge base in this method is represented by a finite state diagram called a context transition diagram. Through this diagram, some errors and anomalies of the rule base can be clearly illustrated and identified. The characteristics of states representing such errors and anomalies in the state diagram are investigated, and the algorithms for effectively identifying those defects are introduced