質問: 命題定理証明 命題定理証明のための戦略としてどのようにBreadth First Searchを使うことができますか(私は明確な問題の定式化を見ることができません:それぞれの州で利用可能な行動とは何か? 私は網のどこでも説明を探していました。すべての文書にBFSが書かれていますが、どれもアルゴリズムを示していません。 ご協力ありがとうございました
回答: 状態は導出のリストです。状態から状態への遷移は、各前提が派生リストに結論として現れ、新しい派生でリストを拡張する推論ルールを適用する。 これらの状態と遷移によって、あなたが探している結論に達するまで通常のBFSを行うことができます。