An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System
Motoi Suwa, A. Carlisle Scott, Edward Hance Shortliffe · Defense Technical Information Center (DTIC) · 1982
We describe a program for verifying that a set of rules in an expert system comprehensively spans the knowledge of a specialized domain. The program has been devised and tested within the context of the ONCOCIN System, a rule-based consultant for clinical oncology. The stylized format of ONCOCIN's rules has allowed the automatic detection of a number of common errors as the knowledge base has been developed. This capability suggests a general mechanism for correcting many problems with knowledge base completeness and consistency before they can cause performance errors.