逆方向連鎖は、人工知能の分野のエキスパート システムやルール エンジンで一般的に使用される推論方法です。これは、目標指向に基づいて推論する方法であり、目標または結論から開始し、既知の事実または前提に遡って目標を達成する方法を決定します。

バックリンクでは、システムはまず達成する必要のある目標を決定し、次にそれらの目標から逆算して、それらの目標につながるルールと事実を見つけます。このプロセスは、既知の事実またはルールに到達するか、目標を達成できないと判断されるまで続きます。

バックリンクの性質:

• いわゆるトップダウンアプローチです。
• 後方連鎖は先行件の推論ルールに基づいています。
• バックリンクでは、問題の真実を証明するために、目標が 1 つ以上のサブ目標に分割されます。
• 目標のリストによってどのルールが選択され、使用されるかが決まるため、これは目標駆動型アプローチと呼ばれます。
• 逆方向連鎖アルゴリズムは、ゲーム理論、自動化された定理証明ツール、推論エンジン、証明アシスタント、およびさまざまな人工知能アプリケーションで使用されます。
• 逆方向連鎖法では、主に深さ優先探索戦略を証明に使用します。