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

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1982
Accession Number
ADA120806

Entities

People

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

Organizations

  • Stanford University

Tags

Communities of Interest

  • C4I
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Acquisition
  • Artificial Intelligence
  • Attenuation
  • Blood Counts
  • California
  • Chemotherapy
  • Computer Science
  • Computers
  • Consistency
  • Debugging
  • Engineers
  • Expert Systems
  • Information Systems
  • Medical Personnel
  • Military Research
  • Rule Based Systems
  • Universities

Readers

  • Artificial Intelligence
  • Oncology