Talk:Truth maintenance system

From Wikipedia, the free encyclopedia

[edit] Stallman and Sussman

The following was in the Implementations section:

TMSs were introduced by Doyle in 1979, while Stallman and Sussman's paper is from 1977. What McAllester says in the linked paper is that TMSs can be useful for dependency directed backtracking. Paolo Liberatore (Talk) 15:34, 17 September 2005 (UTC)

[edit] CML2

The articles said: "CML2, a Linux kernel configuration system developed by Eric Raymond, uses a truth maintenance system. However, CML2 has not been included in the standard distribution, or any distribution, of the Linux kernel"

However, the only source for this statement is [2]. The page describing CML2 in some depth [3] does not mention truth maintenance systems at all. I think that Raymond meant that CML2 can restore the satisfaction of constraints when some variabiles change, not that CML2 is actually implementing the TMSs as intended by Doyle, de Kleer, and the other ones cited in the "References" section. I have therefore removed CML2 as an implementation (being the only item there, I also removed the section). - Liberatore(T) 17:39, 2 January 2006 (UTC)

[edit] What Happened to TMS's?

Does anyone know why nothing has been published on TMS's in the last 15-ish years? Has some other concept replaced them? —Preceding unsigned comment added by 74.130.15.62 (talk) 14:12, 31 October 2007 (UTC)