Truth maintenance system
From Wikipedia, the free encyclopedia
A truth maintenance system, or TMS, is a knowledge representation method for representing both beliefs and their dependencies. The name truth maintenance is due to the ability of these systems to restore consistency.
[edit] See also
[edit] References
- J. Doyle. A Truth Maintenance System. AI. Vol. 12. No 3, pp. 251-272. 1979.
- D-A. McAllster. A three valued maintenance system. Massachusetts Institute Of technology, Artificial Intelligence Laboratory. AI Memo 473. 1978.
- J. de Kleer (1986). An assumption-based TMS. Artificial Intelligence, 28:127-162.
- U. Junker and K. Konolige (1990). Computing the extensions of autoepistemic and default logics with a truth maintenance system. In Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI'90), pages 278-283. The MIT Press.
- G. M. Provan (1988). A complexity analysis of assumption-based truth maintenance systems. In B. Smith and G. Kelleher, editors, Reason Maintenance Systems and their Applications, pages 98-113. Ellis Horwood, New York.
- G. M. Provan (1990). The computational complexity of multiple-context truth maintenance systems. In Proceedings of the Ninth European Conference on Artificial Intelligence (ECAI'90), pages 522-527.
- R. Reiter and J. de Kleer (1987). Foundations of assumption-based truth maintenance systems: Preliminary report. In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI'87), pages 183-188. PDF