Talk:Truth maintenance system
From Wikipedia, the free encyclopedia
[edit] Stallman and Sussman
The following was in the Implementations section:
- In 1977, Richard Stallman and Gerald Jay Sussman, published a technique named "dependency directed backtracking". [1]
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)
