维护信念及其依据一致性的推理机制。
TMS 是家庭群辟谣员：源头消息一翻车，跟着转的结论全撤回。
用于专家系统和规划推理，知识变动时同步修正结论。
Nonmonotonic ReasoningTMS 让系统在新事实出现后撤回旧结论。
Knowledge RepresentationTMS 记录结论依赖哪些事实和规则。
Expert SystemTMS 帮专家系统在规则变化后更新判断。
Symbolic AITMS 是早期符号推理里的重要组件。