A beginner's guide to belief revision and truth maintenance systems

This brief note is intended to familiarize the non-TMS audience with some of the basic ideas surrounding classic TMS's (truth maintenance systems), namely the justification-based TMS and the assumption-based TMS. Topics of further interest include the relation between non-monotonic logics and TMS's, efficiency and search issues, complexity concerns, as well as the variety of TMS systems that have surfaced in the past decade or so. These include probabilistic-based TMS systems, fuzzy TMS systems, tri-valued belief systems, and so on.

[1]  Rowland R. Johnson,et al.  DATMS: A Framework for Distributed Assumption Based Reasoning , 1989, Distributed Artificial Intelligence.

[2]  Mark Okrent.  The truth, the whole truth, and nothing but the truth , 1993 .

[3]  Brian C. Williams,et al.  Back to Backtracking: Controlling the ATMS , 1986, AAAI.

[4]  Pat Langley,et al.  Chemical Discovery as Belief Revision , 1986, Machine Learning.

[5]  Jon Doyle,et al.  The Ins and Outs of Reason Maintenance , 1983, IJCAI.

[6]  Stuart C. Shapiro,et al.  Reasoning in Multiple Belief Spaces , 1983, IJCAI.

[7]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[8]  R. Reiter,et al.  Nonmonotonic reasoning , 1988 .

[9]  Rowland R. Johnson,et al.  A seismic event analyzer for nuclear test ban treaty verification , 1988 .

[10]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[11]  Nuel D. Belnap,et al.  Entailment : the logic of relevance and necessity , 1975 .

[12]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[13]  João P. Martins,et al.  The Truth, the Whole Truth, and Nothing But the Truth , 1990, AI Mag..

[14]  Gerald Jay Sussman,et al.  The Conniver Reference Manual , 1972 .

[15]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[16]  Gerald J. Sussman,et al.  Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..

[17]  Jon Doyle,et al.  Truth Maintenance Systems for Problem Solving , 1977, IJCAI.

[18]  J. Dekleer.  An assumption-based TMS , 1986 .

[19]  Gregory M. Provan.  Efficiency Analysis of Multiple-Context TMSs in Scene Representation , 1987, AAAI.

[20]  McDermottDrew.  Nonmonotonic Logic II , 1982 .

[21]  David A. McAllester.  A Three Valued Truth Maintenance System. , 1978 .