Truth maintenance system

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.

Many kinds of truth maintenance systems exist. Two major types are single-context and multi-context truth maintenance. In single context systems, consistency is maintained among all facts in memory (database). Multi-context systems allow consistency to be relevant to a subset of facts in memory (a context) according to the history of logical inference. This is achieved by tagging each fact or deduction with its logical history. Multi-agent truth maintenance systems perform truth maintenance across multiple memories, often located on different machines. de Kleer's ATMS (1986) was utilized in systems based upon KEE on the Lisp Machine. The first multi-agent TMS was created by Mason and Johnson. It was a multi-context system. Bridgeland and Huhns created the first single-context multi-agent system.

ee also

* Knowledge representation
* Artificial intelligence

References

* Bridgeland, D. M. & Huhns, M. N., Distributed Truth Maintenance. Proceedings of. AAAI–90: Eighth National Conference on Artificial Intelligence, 1990.

* J. de Kleer (1986). An assumption-based TMS. "Artificial Intelligence", 28:127-162.

* J. Doyle. A Truth Maintenance System. AI. Vol. 12. No 3, pp. 251-272. 1979.

* 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.

* Mason, C. and Johnson, R. DATMS: A Framework for Assumption Based Reasoning, in Distributed Artificial Intelligence, Vol. 2, Morgan Kaufman Publishers, Inc., 1989.

* D-A. McAllster. A three valued maintenance system. Massachusetts Institute Of technology, Artificial Intelligence Laboratory. AI Memo 473. 1978.

* 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. [http://www2.parc.com/spl/members/dekleer/Publications/Foundations%20of%20Assumption-Based%20Truth%20Maintenance%20Systems.pdf PDF]

External links

* [http://scholar.google.com/scholar?q=Truth+maintenance+system&ie=UTF-8&oe=UTF-8&hl=en&btnG=Search Google Scholar on TMSs]


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Federal Reserve System — FRB and FED redirect here. For other uses, see FRB (disambiguation) and FED (disambiguation). Federal Reserve System …   Wikipedia

  • Geographic information system — GIS redirects here. For other uses, see GIS (disambiguation). A geographic information system, geographical information science, or geospatial information studies is a system designed to capture, store, manipulate, analyze, manage, and present… …   Wikipedia

  • Android (operating system) — Android …   Wikipedia

  • Church Maintenance — • The proper support of church edifices and church institutions Catholic Encyclopedia. Kevin Knight. 2006. Church Maintenance     Church Maintenance      …   Catholic encyclopedia

  • Romanian educational system — According to the Law on Education adopted in 1995, the Romanian Educational System is regulated by the Ministry of Education and Research ( Ministerul Educaţiei şi Cercetării MEC ). Each level has its own form of organization and is subject to… …   Wikipedia

  • Belief revision — is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents.What… …   Wikipedia

  • Richard Stallman — Richard Matthew Stallman Richard Stallman at the University of Pittsburgh 2010 Born March 16, 1953 (1953 03 16) (age 58) New York City, New York …   Wikipedia

  • SNePS — is a knowledge representation, reasoning, and acting (KRRA) system developed and maintained by Stuart C. Shapiro and colleagues at the State University of New York at Buffalo. SNePS is simultaneously a logic based, frame based, and network based… …   Wikipedia

  • Lisp (programming language) — Infobox programming language name = Lisp paradigm = multi paradigm: functional, procedural, reflective generation = 3GL year = 1958 designer = John McCarthy developer = Steve Russell, Timothy P. Hart, and Mike Levin latest release version =… …   Wikipedia

  • TMS — may be an abbreviation for: Organizations*Tabb Middle School, a middle school in Yorktown, Virginia *Tamanend Middle School, a middle school in Pennsylvania *Temasek Secondary School, a secondary school in Bedok, Singapore *The Machine Stops, a… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”