Loading article…
理由維持[ 1 ] [ 2 ]は、明示的に格納された推論情報を効率的に処理するための知識表現アプローチです。理由維持は、覆される可能性のある基本事実と派生事実を区別します。そのため、基本形式ではすべての事実が等しく重要であると仮定する信念改訂とは異なります。理由維持は、もともと問題解決器を実装するための技術として開発されました。[ 2 ]共通のアーキテクチャを共有するさまざまな技術を包含しています。[ 3 ] 2つのコンポーネント、推論器と理由維持システムがインターフェースを介して相互に通信します。推論器は、推論とその推論の正当化（「理由」）を記録するために理由維持システムを使用します。推論器はまた、現在有効な基本事実（仮定）がどれであるかを理由維持システムに通知します。理由維持システムは、この情報を使用して格納された派生事実の真偽値を計算し、矛盾が導出された場合は一貫性を回復します。
真理維持システム（TMS ）とは、信念とその依存関係の両方を表現するための知識表現方法であり、依存関係を操作・維持する「真理維持アルゴリズム」と呼ばれるアルゴリズムのことである。真理維持という名称は、これらのシステムが一貫性を回復できる能力に由来する。
真理維持システム（TMS）は、知識ベース（KB）内の古い信念知識と現在の信念知識との整合性を、改訂を通じて維持します。現在の信念記述がKB内の知識と矛盾する場合、KBは新しい知識で更新されます。同じデータが再び信念として扱われる場合があり、その場合はKB内の以前の知識が必要になります。以前のデータが存在しない場合でも、新しい推論のために必要となる可能性があります。しかし、以前の知識がKB内に存在する場合は、同じ知識を再度追跡する必要はありません。TMSを使用することで、このような再追跡を回避できます。TMSは、依存関係レコードを使用して矛盾するデータを追跡します。このレコードは、撤回と追加を反映しており、推論エンジン（IE）が現在の信念セットを認識できるようにします。
少なくとも1つの有効な根拠を持つ各記述は、現在の信念セットの一部となる。矛盾が発見された場合、矛盾の原因となっている記述が特定され、記録が適切に更新される。このプロセスは、依存関係に基づくバックトラッキングと呼ばれる。
TMSアルゴリズムは、レコードを依存関係ネットワークの形式で保持します。ネットワーク内の各ノードは、知識ベース（KB）のエントリ（前提、前件、推論ルールなど）を表します。ネットワークの各アークは、そのノードが導出された推論ステップを表します。
前提とは、真であると仮定される根本的な信念のことです。前提には正当化は必要ありません。前提の集合は、他のすべてのノードの正当化が導き出される基礎となります。
ノードの正当化には2種類あります。それらは以下のとおりです。
真理維持システムには多くの種類が存在する。主な種類は、単一コンテキスト真理維持と複数コンテキスト真理維持の 2 つである。単一コンテキストシステムでは、メモリ (KB) 内のすべての事実間で一貫性が維持され、古典論理に見られる一貫性の概念に関連する。複数コンテキストシステムは、論理推論の履歴に従って、一貫性がメモリ内の事実のサブセット(コンテキスト)に関連することを許可することで、パラ一貫性をサポートする。これは、各事実または推論にその論理履歴をタグ付けすることによって実現される。マルチエージェント真理維持システムは、多くの場合異なるマシン上に配置された複数のメモリにわたって真理維持を実行する。de Kleer の仮定ベースの真理維持システム (ATMS、1986 年) は、Lisp マシン上のKEEに基づくシステムで利用された。最初のマルチエージェント TMS は、Mason と Johnson によって作成された。これはマルチコンテキストシステムであった。Bridgeland と Huhns は、最初の単一コンテキストマルチエージェントシステムを作成