目次:
定義-後方連鎖とはどういう意味ですか？
後方連鎖は、人工知能、自動定理証明、証明アシスタントで広く使用されている推論方法です。 後方連鎖の方法論は、目標から後退することとして説明できます。 多くのプログラミング言語は、推論エンジン内での後方チェーンをサポートしています。
後方連鎖は後方推論とも呼ばれます。
Techopediaは後方連鎖を説明します
バックワードチェーンは、選択的な線形確定節の解決を通じて、ロジックプログラミングで使用されます。 これは、干渉ルールと論理的含意を伴う推論の最も一般的に使用される方法の1つです。 後方チェーンは、目標のリストから逆方向に機能して、それらをサポートするデータがあるかどうかを判断します。 後方チェーンを使用する推論エンジンは、目的の目標に一致する結果を持つルールが見つかるまで、推論ルールを検索します。 このルールの前件が真であることがわからない場合、ルールは目標のリストに追加され、データを見つけて確認することができます。
