Truth Maintenance

General purpose truth maintenance systems have received considerable attention in the past few years. This paper discusses the functionality of truth maintenance systems and compares various existing algorithms. Applications and directions for future research are also discussed.

[1]  John McCarthy,et al.  A Basis for a Mathematical Theory of Computation , 1899 .

[2]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[3]  D. Knuth.  Estimating the efficiency of backtrack programs. , 1974 .

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

[5]  Alan K. Mackworth.  Consistency in Networks of Relations , 1977, Artif. Intell..

[6]  J. Gaschnig.  Performance measurement and analysis of certain search algorithms. , 1979 .

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

[8]  Robert M. Haralick,et al.  Increasing Tree Search Efficiency for Constraint Satisfaction Problems , 1979, Artif. Intell..

[9]  David A. McAllester.  An Outlook on Truth Maintenance. , 1980 .

[10]  Drew McDermott,et al.  Contexts and Data Dependencies: A Synthesis , 1983, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[11]  David S. Touretzky,et al.  The Mathematics of Inheritance Systems , 1984 .

[12]  Johan de Kleer,et al.  Choices Without Backtracking , 1984, AAAI.

[13]  Luís Moniz Pereira,et al.  Deduction Revision by Intelligent Backtracking , 1984, Implementations of Prolog.

[14]  John McCarthy,et al.  Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.

[15]  Eugene C. Freuder.  A sufficient condition for backtrack-bounded search , 1985, JACM.

[16]  Johan de Kleer,et al.  Problem Solving with the ATMS , 1986, Artif. Intell..

[17]  Johan de Kleer,et al.  Extending the ATMS , 1986, Artif. Intell..

[18]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[19]  Thomas C. Henderson,et al.  Arc and Path Consistency Revisited , 1986, Artif. Intell..

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

[21]  Rina Dechter,et al.  Network-Based Heuristics for Constraint-Satisfaction Problems , 1987, Artif. Intell..

[22]  Raymond Reiter,et al.  Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report , 1987, AAAI.

[23]  Kurt Konolige,et al.  On the Relation Between Default and Autoepistemic Logic , 1987, Artif. Intell..

[24]  V. Lifschitz,et al.  The Stable Model Semantics for Logic Programming , 1988, ICLP/SLP.

[25]  David A. McAllester.  Ontic: A Knowledge Representation System for Mathematics , 1989, CADE.

[26]  Michael Gelfond,et al.  Autoepistemic Logic and Formalization of Commonsense Reasoning: Preliminary Report , 1988, NMR.

[27]  Michael Gelford,et al.  Autoepistemic logic and formalization of commonsense reasoning: preliminary report , 1989 .

[28]  Brian C. Williams,et al.  Diagnosis with Behavioral Modes , 1989, IJCAI.

[29]  Johan de Kleer,et al.  A Comparison of ATMS and CSP Techniques , 1989, IJCAI.

[30]  Pascal Van Hentenryck.  Constraint satisfaction in logic programming , 1989, Logic programming.

[31]  Frank P. Coyle,et al.  Aaai '90 , 1990, IEEE Expert.

[32]  Ramin Zabih,et al.  Some Applications of Graph Bandwidth to Constraint Satisfaction Problems , 1990, AAAI.

[33]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[34]  A. Hasman,et al.  Probabilistic reasoning in intelligent systems: Networks of plausible inference , 1991 .

[35]  Robert Givan,et al.  Natural Language Syntax and First-Order Inference , 1992, Artificial Intelligence.