Truth maintenance systems and their application for verifying Expert System Knowledge Bases
- Neli P. Zlatareva
- … show all 1 hide
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.Get Access
Truth maintenance systems (TMSs) were introduced more than ten years ago, but recently there is an explosion of interest in them and their possible applications in different areas. In this paper we discuss truth maintenance from three perspectives:
· Truth maintenance as a data base management facility, which was in fact the original intention of the TMS.
· Truth maintenance as an inference facility, which provides a way to extend the role of the TMS in solving problems.
· Truth maintenance as a verification facility, which illustrates a new and promising application of TMSs in the area of expert systems design.
This paper is not intended to provide a complete survey on TMSs, rather it aims to present the basic ideas and functionality of TMS, and to show how different kinds of TMS can be used as a meta-environment for testing Expert System Knowledge Bases, represented as sets of production rules, for anomalies.
The paper is addressed to two groups of readers: those who are looking for an introductory survey on TMSs, and those who are interested in non-conventional techniques for Expert System Knowledge Base verification.
- Brewka, G. (1990) On minimal change: A critique of the architecture of non-monotonic TMS. Technical report. GMD, Bonn
- Brown, A. and Shoham, Y. (1989). New results on semantical nonmonotonic reasoning. In Proc. Second Int. Workshop on Non-monotonic Reasoning, pp. 19–26. Springer-Verlag.
- Buchanan, B. G., Shortliffe, E. H. Human engineering of medical expert systems. In: Buchanan, B. G., Shortliffe, E. H. eds. (1984) Rule-Based Expert Systems: the MYCIN Experiments of the Stanford Heuristic Programming Project. Addison-Wesley, Reading MA, pp. 599-612
- Kleer, J. (1986) An assumption-based TMS. Artificial Intelligence (Netherlands) 28: pp. 127-162
- Kleer, J. (1986) Problem solving with the ATMS. Artificial Intelligence (Netherlands) 28: pp. 197-224
- de Kleer, J. and Forbus, K. (1990). Truth Maintenance systems. AAAI. Tutorial on TMS presented at AAAI'90.
- Doyle, J. (1979) A truth maintenance system. Artificial Intelligence (Netherlands) 12: pp. 231-272
- Elkan, C. (1990) A rational reconstruction of nonmonotonic truth maintenance systems. Artificial Intelligence (Netherlands) 43: pp. 219-234
- Genesereth, M. and Nilsson, N. (1987). Logical Foundations of Artificial Intelligence. Morgan Kaufmann Pub.
- Ginsberg, A. (1987). A new approach to checking knowledge bases for inconsistency and redundancy. In Proc. 3rd Annual Expert Systems in Government Conference, pp. 102–111.
- Ginsberg, A. (1988). Knowledge-base reduction: A new approach to checking knowledge bases for inconsistency and redundancy. In Proc. 7th National Conference on Artificial Intelligence (AAAI 88), Vol. 2, pp. 585–589.
- Ginsberg, A., Williamson, K. (1989) Checking quasi-first-order-logic rule-based systems for inconsistency and redundancy. AT & T Bell Laboratories, Holmdel, NJ
- Goodwin, J. (1987). A Theory and System for Non-monotonic Reasoning. Ph.D. Thesis, Linkoping University, Sweden.
- Junker, U. and Konolige, K. (1990). Computing the extensions of autoepistemic and default theories with a truth maintenance system. In Proc. 8th National Conference on Artificial Intelligence (AAAI '90), pp. 278–283. Morgan Kaufmann Pub.
- Martins, J. (1990). The truth, the whole truth, and nothing but the truth. AI Magazine, Special Issue: 7–25.
- Martins, J., Shapiro, S. (1988) A model for belief revision. Artificial Intelligence (Netherlands) 35: pp. 25-79
- McAllester, D. (1980). An outlook on truth maintenance. Technical report, AI Laboratory, Massachusetts Institute of Technology.
- Nebel, B. (1989). A knowledge level analysis of belief revision. In Proc. First International Conference on Principles of Knowledge Representation and Reasoning, pp. 301–311. Morgan Kaufmann Pub.
- Nguyen, T. A., Perkins, W. A., Laffey, T. J., and Pecora, D. (1985). Checking an expert systems knowledge base for consistency and completeness. In Proc. 9th International Joint Conference on Artificial Intelligence (IJCAI 85), Vol. 1, pp. 375–378. AAAI.
- Petrie, C. (1987). Revised dependency-directed backtracking for default reasoning. In Proc. 6th National Conference on Artificial Intelligence (AAAII '87), pp. 167–172. Morgan Kaufmann Pub.
- Popchev, I., Zlatareva, N., and Mircheva, M. (1990). A truth maintenance theory: An alternative approach. In Proc. 9th European Conference on AI (ECAI '90), pp. 509–514. Pitman Pub.
- Rao, A. and Foo, N. (1989). Formal theories of belief revision. In Proc. First International Conference on Principles of Knowledge Representation and Reasoning, pp. 369–380. Morgan Kaufmann Pub.
- Reinfrank, M. (1989). Fundamentals and Logical Foundations of Truth Maintenance. Ph.D. Thesis, Linkoping University, Sweden.
- Reinfrank, M. and Dressler, O. (1988). Rules and justifications, a uniform approach to reason maintenance and nonmonotonic inference. In Proc. International Conference on Fifth Generation Computer Systems '88.
- Reinfrank, M., Dressler, O., and Brewka, G. (1989). On the relationship between truth maintenance and autoepistemic logic. In Proc. 11th International Joint Conference on Artificial Intelligence (IJCAI '89), pp. 1206–1212. Morgan Kaufmann Pub.
- Zlatareva, N. (1990) Considerations on representing and handling human common-sense knowledge. Technische Hochschule Darmstadt, Germany
- Zlatareva, N. (1991a). Distributed verification: A new formal approach for verifying knowledge-based systems. In Proc. World Congress on Expert Systems, pp. 1021–1029. Pergamon Press.
- Zlatareva, N. (1991) Truth maintenance and verification of expert system knowledge bases. Technical report, CENPARMI. Concordia University, Montreal, Canada
- Truth maintenance systems and their application for verifying Expert System Knowledge Bases
Artificial Intelligence Review
Volume 6, Issue 1 , pp 67-110
- Cover Date
- Print ISSN
- Online ISSN
- Kluwer Academic Publishers
- Additional Links
- Knowledge-based Systems
- Verification of Rule-based Systems
- Nonmonotonic Reasoning
- Belief Revision
- Expert Systems Design
- Industry Sectors
- Author Affiliations
- 1. Centre for Pattern Recognition and Machine Intelligence, Department of Computer Science, Concordia University, 1455 De Maisonneuve Blvd. West, H3G 1M8, Montréal, Canada