CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

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