命題定理証明

命題定理証明のための戦略としてどのようにBreadth First Searchを使うことができますか(私は明確な問題の定式化を見ることができません:それぞれの州で利用可能な行動とは何か?

私は網のどこでも説明を探していました。すべての文書にBFSが書かれていますが、どれもアルゴリズムを示していません。

ご協力ありがとうございました

2
あなたが達成しようとしていることについてもう少し詳しく説明できますか? 「命題定理証明」は非常に巨大な領域であり、あなたはほとんどゼロの詳細を与えています。
追加された 著者 Gian,

1 答え

状態は導出のリストです。状態から状態への遷移は、各前提が派生リストに結論として現れ、新しい派生でリストを拡張する推論ルールを適用する。

これらの状態と遷移によって、あなたが探している結論に達するまで通常のBFSを行うことができます。

1
追加された
返信いただきありがとうございます。具体的な例やチュートリアルへのリンクはありますか?
追加された 著者 saadtaame,
フォワードチェイニング!!!接続は何ですか?
追加された 著者 saadtaame,
よかった!ありがとう:)
追加された 著者 saadtaame,
「前方連鎖」を検索します。
追加された 著者 namin,
仮定にルールを適用する:-)
追加された 著者 namin,