AI Memo 473, Massachusetts Institute of Technology, May 1978. A three valued truth maintenance system . AI Memo 473, Massachusetts Institute of Technology, May 1978. A problem is provided in the form of some initial assertions and a goal. A central controller selects what goal to work on next.
Rules fire only once in the same context.
It stores facts and their logical dependencies in a constraint network. Dependencies are represented with clauses in conjunctive form. Also, facts can have multiple logical support. A three valued truth maintenance system . Artificial Intelligence Memo 473, Department of Computer Science, Massachusettes Institute of Technology, May 1978.