CHECKER: an efficient algorithm for knowledge base verification

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.