Checking an Expert Systems Knowledge Base for Consistency and Completeness

Nguyen, Tin A.; Perkins, Walton A.; Laffey, Thomas J.; Pecora, Deanne

Checking an Expert Systems Knowledge Base for Consistency and Completeness

Tin A. Nguyen, Walton A. Perkins, Thomas J. Laffey, Deanne Pecora

Download BibTeX Cite

Proceedings of the Ninth International Joint Conference on Artificial Intelligence. Expert Systems. Pages 375-377.

Abstract

In this paper we describe a program that verifies the consistency and completeness of expert system knowledge bases which utilize the Lockheed Expert System (LES) framework. The algorithms described here are not specific to LES and can be applied to most rule-based systems. The program, called CHECK, combines logical principles as well as specific information about the knowledge representation formalism of LES. The program checks for redundant rules, conflicting rules, subsumed rules, missing rules, circular rules, unreachable clauses, and deadend clauses. It also generates a dependency chart which shows the dependencies among the rules and between the rules and the goals. CHECK can help the knowledge engineer to detect many programming errors even before the knowledge base testing phase. It also helps detect gaps in the knowledge base which the knowledge engineer and the expert might have overlooked. A wide variety of knowledge bases have been analyzed using CHECK .

Tin A. Nguyen, Walton A. Perkins, Thomas J. Laffey, and Deanne Pecora. 1985. Checking an Expert Systems Knowledge Base for Consistency and Completeness. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85. IJCAI, 375–377. https://ijcai.org/proceedings/1985/70

@inproceedings{ijcai1985p70,
  title     = {Checking an Expert Systems Knowledge Base for Consistency and Completeness},
  author    = {Nguyen, Tin A. and Perkins, Walton A. and Laffey, Thomas J. and Pecora, Deanne},
  booktitle = {Proceedings of the Ninth International Joint Conference on
               Artificial Intelligence, {IJCAI-85}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Aravind Joshi},
  pages     = {375--377},
  year      = {1985},
  note      = {Expert Systems},
  url       = {https://ijcai.org/proceedings/1985/70},
}

TY  - CPAPER
TI  - Checking an Expert Systems Knowledge Base for Consistency and Completeness
AU  - Nguyen, Tin A.
AU  - Perkins, Walton A.
AU  - Laffey, Thomas J.
AU  - Pecora, Deanne
T2  - Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1985
SP  - 375
EP  - 377
UR  - https://ijcai.org/proceedings/1985/70
ER  -