Marcus Aurelius [Book]

今のところすべての問題をすぐに修正します

Reason Maintenance[1][2] は、明示的に格納された推論された情報を効率的に処理するための知識表現アプローチです。理由の維持は、打ち負かすことができる基本事実と派生事実を区別します。そのため、基本的な形で、すべての事実が等しく重要であると仮定する信念の修正とは異なります。 Reason Maintenance は、もともと問題解決ツールを実装するための手法として開発されました [2]。 [3] 2 つのコンポーネント (推論システムと理由維持システム) は、インターフェースを介して相互に通信します。推論者は、理由維持システムを使用して、その推論と推論の正当化 (「理由」) を記録します。推論者は、現在有効な基本事実 (仮定) である理由維持システムにも通知します。理由保守システムは、この情報を使用して、格納された派生ファクトの真の値を計算し、矛盾が派生した場合は一貫性を復元します。

真実維持システム (TMS) は、信念とその依存関係の両方を表すための知識表現方法であり、依存関係を操作および維持する「真実維持アルゴリズム」と呼ばれるアルゴリズムです。真実の維持という名前は、これらのシステムが一貫性を回復する能力によるものです。