Marcus Aurelius [Book]

将很快解决所有问题

原因维护[1][2] 是一种有效处理显式存储的推断信息的知识表示方法。原因维护区分可以被击败的基本事实和派生事实。因此，它不同于信念修正，后者的基本形式是假设所有事实都同等重要。原因维护最初是作为一种实现问题解决者的技术而开发的。 [2]它包含多种共享共同架构的技术：[3] 两个组件——推理器和推理维护系统——通过接口相互通信。推理者使用原因维护系统来记录其推理和推理的（“原因”）理由。推理器还通知原因维护系统哪些是当前有效的基本事实（假设）。原因维护系统使用该信息来计算存储的派生事实的真值，并在派生不一致时恢复一致性。

真相维护系统或 TMS 是一种用于表示信念及其依赖关系的知识表示方法，以及一种称为“真相维护算法”的算法，用于操纵和维护依赖关系。真相维护这个名字是由于这些系统恢复一致性的能力。