CHECKER: an efficient algorithm for knowledge base verification

Authors:
Xudong Yu;Gautam Biswas
Affiliations:
Department of Computer Science, Box 1688, Station B, Vanderbilt University, Nashville, TN;Department of Computer Science, Box 1688, Station B, Vanderbilt University, Nashville, TN
Venue:
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Year:
1990

Citing 5
Cited 0

Expert systems: artificial intelligence in business

Expert systems: artificial intelligence in business
Knowledge base verification

AI Magazine
A decision-table-used processor for checking completeness and consistency in rule-based expert systems

International Journal of Man-Machine Studies
An assessment of tools for building large KB systems

AI Magazine
OASES (Operations Analysis Expert System): an application in fiberglass manufacturing

International Journal of Expert Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

MIDST (Mixed Inferencing Dempster Shafer Tool) is a rule-based expert system shell that incorporates mixed-initiative reasoning and uncertain reasoning based on the Dempster Shafer evidence combination scheme. This paper discusses the CHECKER program, a subcomponent of MIDST, which makes use of the existing rule network structure to check the consistency and completeness of the MIDST knowledge base in a efficient manner.