Truth maintenance system
Encyclopedia : T : TR : TRU : Truth maintenance system
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.
See also
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 maintenace systems: Preliminary report. In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI'87), pages 183-188. [PDF]
External links
From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.