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

• Knowledge representation
• Artificial intelligence

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

• Google Scholar on TMSs