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.

Full Text:

PDF


DOI: http://dx.doi.org/10.1609/aimag.v3i4.377

Copyright © 2014, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.