The Truth, the Whole Truth, and Nothing But the Truth

Joao P. Martins

Abstract


Truth maintenance is a collection of techniques for doing belief revision. A truth maintenance system's task is to maintain a set of beliefs in such a way that they are not known to be contradictory and no belief is kept without a reason. Truth maintenance systems were introduced in the late seventies by Jon Doyle and in the last five years there has been an explosion of interest in this kind of systems. In this paper we present an annotated bibliography to the literature of truth maintenance systems, grouping the works referenced according to several classifications.

Full Text:

PDF


DOI: http://dx.doi.org/10.1609/aimag.v11i4.866

Copyright © 2014, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.