An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System

  • Motoi Suwa
  • A. Carlisle Scott
  • Edward H. Shortliffe

Abstract

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 ONCOIN's rule 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.
Published
1982-12-15
How to Cite
Suwa, M., Scott, A. C., & Shortliffe, E. H. (1982). An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System. AI Magazine, 3(4), 16. https://doi.org/10.1609/aimag.v3i4.377
Section
Articles