Truth maintenance systems

An Artificial Intelligence technique.

Implementations

In 1977, Richard Stallman and Gerald Jay Sussman, published a technique named "dependency directed backtracking". [1] (http://citeseer.ist.psu.edu/mcallester90truth.html)
CML2, a Linux kernel configuration system developed by Eric Raymond, made use of a truth maintenance system. However, CML2 was never accepted by the Linux developers.

External Links

Citeseer reference (http://citeseer.ist.psu.edu/mcallester90truth.html)

This article is a stub. You can help Wikipedia by expanding it (http://www.mywiseowl.com/index.php?title=Truth_maintenance_systems&action=edit).

Retrieved from "http://www.mywiseowl.com/articles/Truth_maintenance_systems"

This page has been accessed 141 times. This page was last modified 22:09, 22 Sep 2004. All text is available under the terms of the GNU Free Documentation License (see Copyrights for details).