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)