Truth maintenance systems: Meaning (information, definition, explanation, facts)

An Artificial Intelligence technique.

Implementations

• In 1977, Richard Stallman and Gerald Jay Sussman, published a technique named "dependency directed backtracking". [1]
• 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.