CMU Artificial Intelligence Repository
Truth Maintenance
areas/reasonng/tms/
bps/ BPS: Code from "Building Problem Solvers"
slg/ SLG: Goal-Oriented Deductive Query Processing and
Non-Monotonic Reasoning
tutorial/ Truth Maintenance Tutorial Code
This directory contains software and other materials about
Truth Maintenance.
References:
Matthew L. Ginsberg, "Readings in Nonmonotonic Reasoning",
Morgan Kaufmann, San Mateo, CA, 1987.
Reiter, Ray, "Nonmonotonic Reasoning", Annual Review of Computer
Science, 2:147-186, 1987. (Appears in Ginsberg.)
Doyle, J., "Truth Maintenance Systems", Artificial Intelligence,
12(3):231-272, 1979.
Reiter, Raymond and de Kleer, Johan, "Foundations of Assumption-Based
Truth Maintenance Systems: Preliminary Report", Proceedings of AAAI-87,
pages 183-188.
J.P. Martins, "The Truth, The Whole Truth And Nothing But the Truth:
An Indexed Bibliography to the Literature of TMS's", AI Magazine
(Special Issue), AAAI, 1990.
De Kleer, J., "An assumption-based TMS", Artificial Intelligence
28:127-162, 1986.
De Kleer, J., "Extending the ATMS", Artificial Intelligence
28:163-196, 1986.
De Kleer, J., "Problem Solving with the ATMS", Artificial Intelligence
28:197-224, 1986.
De Kleer, J., "A comparison of ATMS and CSP techniques", IJCAI 1989,
pages 290-296.
Kenneth D. Forbus and Johan de Kleer, "Building Problem Solvers",
MIT Press, Cambridge, MA 1994, 700 pages, $50. ISBN 0-262-06157-0.
[Good textbook.]
Proceedings of AAAI 1988.
Alex Kean and George Tsiknis, "Assumption based Reasoning and Clause
Management Systems", Computational Intelligence 8(1):1-24, 1992.
Alex Kean and George Tsiknis, "Clause Management Systems (CMS)",
Computational Intelligence 9(1):11-40, 1993.
Martins, Joao, & Shapiro, Stuart C., "A Model for Belief Revision,"
Artificial Intelligence 35:25-79 1988.
Martins & Reinfrank (eds), "Truth Maintenance Systems", published
by Springer Verlag in their 'Lecture Notes in Computer Science'
series, 1991.
Reinfrank, M., Dressler, O. and Brewka, G., On the Relation
Between Truth Maintenance and Autoepistemic Logic, IJCAI 1989.
Selman, B. and Levesque, H.J., "Abductive and Default Reasoning: A
Computational Core", Proceedings of AAAI-90.
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Keywords:
Reasoning!Truth Maintenance, Truth Maintenance
Last Web update on Mon Feb 13 10:27:58 1995
AI.Repository@cs.cmu.edu