CHECKER: an efficient algorithm for knowledge base verification
Authors: 
Xudong Yu, Gautam BiswasAuthors Info & Claims
Pages 735 - 744
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.
References
[1]
D.A. Waterman and F. Hayes-Roth, "An Investigation of Tools for Building Expert Systems", from Building Expert Systems, F. Hayes-Rot}l, D.A. Waterman, and D.B. Lenat, eds., pp. 169-215, Addison-Weseley, Reading, MA, 1983.
[2]
P. Harmon and D. King, Expert Systems: Artificlal Intelligence in Business, John Wiley, New York, 1985.
[3]
W. Mettrey, "An Assessment of 'Tools for Building Large Knowledge-Based Systems", AI Magazine, vol. 8, pp. 81-89, 1987.
[4]
R. Davis, "TEIRESIAS: Applications of Meta Level Knowledge", from Knowledge-Based Systems in Artificial Intelligence, (by R. Davis and D.B. Lenat), pp. 229-484, McGraw Hill, New York, 1983.
[5]
Suwa, M., Scott, A. C., and Shortliffe, E. H., "Completeness and Consistency in a Rule-based System", Rule-Base Expert Systems, pp. 159-170, 1984.
[6]
Reid G. Smith, Howard A. Winston, Tom M. Mitchell and Bruce G. Buchanan, "Representation and Use of Explicit Justifications for Knowledge Base Refinement", Proceedings AAAI, 1987.
[7]
G. Bisw~s ~nd T.S. Anand, "Using the Dempster- Sharer Scheme in a Diagnostic Expert System Shell", Proceedings of the Third Workshop on Artificla} Intelligence, Seattle. $VA. pp. 98-105, 1987.
[8]
G. Biswas, W.J. Itagins. and X. Yu, "Updates to MIDST' An Expert System Shell for Mixed Initiative Reasoning", Technical Report. 88-15, Vanderbilt University, Nashville. TN. 1988.
[9]
Till A. N guyen, W. A. Perkins, T. J. Laffey and D. pecora. "Checking An Expert Systems Knowledge Base For Consistency And Completeness", Proceedings of the Ninth International Joint Conference on Ai, pp. 375-378, Los Angeles, CA., 1985.
[10]
Tin A. Nguyen. "Verifying Consistency of Production Systems", Proceedings of the Third Conference on Artificial Intelligence Applications, pp. 4-8, Washington D.C. 198 7.
[11]
Brian J. Cragun and Harold J. SteudeI, "A decisiontable-based processor for checking completeness and consistency in rule-based expert systems", International Journal of Man-Machine Studies, Vol. 26, pp. 633- 638, I987.
[12]
Tin A. Nguyen. Walton A. Perkins, Thomas J. Laffey and Deanne Pecora. "Knowledge Base Verification", AI Magazine, Vol 8 No. o, . ., pp. 69-74 1987
[13]
G. Shafer, A Mathematical Theory of Evidence, Princeton University Press, NJ, 1988.
[14]
G. Biswas and T.S. Anand, "An Expert System Shell for ML-zed-initiative Reasoning", Journal of the Indian Institute of Science. pp. 465 - 490, 1987.
[15]
G. Biswas, M. Oliff. and R. Abramczyk, "OASES' All Application in Fiberglass Manufacturing", Intl. Journal of Expert System. vol. 1, pp. 193-216, 1988.
[16]
G. Biswas, C.G.S.C. Kendall, R.L. Cannon, and J.C. Bezdek. "XX' Hydrocarbon Exploration using a Knowledge Based Approach", Tech. Report, Dept. of Computer Science, Univ. of South Carolina, Columbia, S.C., 1988.
[17]
David C. Wilkins and Bruce G. Buchanan, "On Debugging Rule Sets When Reasoning Under Uncertainty", Proceedings AAAI-86, pp. 448-454, Philadelphia, PA, 1986.
Index Terms
- CHECKER: an efficient algorithm for knowledge base verification
Recommendations
Knowledge Base Verification
We describe a computer program that implements an algorithm to verify the consistency and completeness of knowledge bases built for the Lockheed expert system (LES) shell. The algorithms described here are not specific to this particular shell and can be ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © 1990 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 June 1990
Check for updates
Qualifiers
- Article
Conference
IEA/AEI-90
Sponsor:
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 324Total Downloads
- Downloads (Last 12 months)47
- Downloads (Last 6 weeks)19
Reflects downloads up to 18 Feb 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in