BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TR-82-922
       ENTRY:: June 01, 1995
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: An approach to verifying completeness and consistency in a
               rule-based expert system
        TYPE:: Technical Report
      AUTHOR:: Suwa, Motoi
      AUTHOR:: Scott, A. Carlisle
      AUTHOR:: Shortliffe, Edward H.
        DATE:: June 1982
       PAGES:: 30
    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
               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.
       NOTES:: [Adminitrivia V1/Prg/19950601]
         END:: STAN//CS-TR-82-922