A reasoning system that keeps beliefs and their reasons consistent.
TMS is the group chat fact-checker. If the first text was bogus, it yanks back every hot take built on it.
Expert systems and planning tools use it. When facts change, it fixes the conclusions too.
NMR
TMS lets a system take back old conclusions when new facts appear.
KR
TMS records the facts and rules behind each conclusion.
Expert System
TMS helps an Expert System update its judgment after rules change.
Symbolic AI
TMS was a key tool in early Symbolic AI.