Marcus Aurelius [Book]

將很快解決所有問題

原因維護[1][2] 是一種有效處理顯式存儲的推斷信息的知識表示方法。原因維護區分可以被擊敗的基本事實和派生事實。因此，它不同於信念修正，後者的基本形式是假設所有事實都同等重要。原因維護最初是作為一種實現問題解決者的技術而開發的。 [2]它包含多種共享共同架構的技術：[3] 兩個組件——推理器和推理維護系統——通過接口相互通信。推理者使用原因維護系統來記錄其推理和推理的（“原因”）理由。推理器還通知原因維護系統哪些是當前有效的基本事實（假設）。原因維護系統使用該信息來計算存儲的派生事實的真值，並在派生不一致時恢復一致性。

真相維護系統或 TMS 是一種用於表示信念及其依賴關係的知識表示方法，以及一種稱為“真相維護算法”的算法，用於操縱和維護依賴關係。真相維護這個名字是由於這些系統恢復一致性的能力。