Artificial Intelligence Review

, Volume 6, Issue 1, pp 67–110

Truth maintenance systems and their application for verifying Expert System Knowledge Bases

  • Neli P. Zlatareva

DOI: 10.1007/BF00155580

Cite this article as:
Zlatareva, N.P. Artif Intell Rev (1992) 6: 67. doi:10.1007/BF00155580


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.

Key Words

Knowledge-based Systems Verification of Rule-based Systems Nonmonotonic Reasoning Belief Revision Expert Systems Design 

Copyright information

© Kluwer Academic Publishers 1992

Authors and Affiliations

  • Neli P. Zlatareva
    • 1
  1. 1.Centre for Pattern Recognition and Machine Intelligence, Department of Computer ScienceConcordia UniversityMontréalCanada

Personalised recommendations