论文信息 - CHECKER: an efficient algorithm for knowledge base verification

CHECKER: an efficient algorithm for knowledge base verification

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.

Gautam Biswas | Xudong Yu | Gautam Biswas | X. Yu

[1] Edward H. Shortliffe,et al. Completeness and consistency in a rule-based expert system , 1984 .

[2] Gautam Biswas,et al. OASES (Operations Analysis Expert System): an application in fiberglass manufacturing , 1988 .

[3] Walton A. Perkins,et al. Checking an Expert Systems Knowledge Base for Consistency and Completeness , 1985, IJCAI.

[4] William Mettrey. An assessment of tools for building large KB systems , 1987 .

[5] Harold J. Steudel,et al. A Decision-Table-Based Processor for Checking Completeness and Consistency in Rule-Based Expert Systems , 1987, Int. J. Man Mach. Stud..

[6] William Mettrey,et al. An Assessment of Tools for Building Large Knowledge-Based Systems , 1987, AI Mag..

[7] Tin A. Nguyen,et al. Knowledge base verification , 1987 .

[8] David C. Wilkins,et al. On Debugging Rule Sets When Reasoning Under Uncertainty , 1986, AAAI.

[9] Frederick Hayes-Roth,et al. An investigation of tools for building expert systems , 1982 .

[10] Tom M. Mitchell,et al. Representation and Use of Explicit Justifications for Knowledge Base Refinements , 1985, IJCAI.

[11] Paul Harmon,et al. Expert systems: artificial intelligence in business , 1985 .

[12] Glenn Shafer,et al. A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[13] Gautam Biswas,et al. Using the Dempster-shafer scheme in a diagnostic expert system shell , 1988, Int. J. Approx. Reason..