logic - 命題定理の証明

Question

幅優先探索を命題定理証明の戦略としてどのように使用できますか (明確な問題の定式化がわかりません。各状態で使用可能なアクションは何か、状態とは何か)。

ネットのいたるところで説明を探していました。すべてのドキュメントで BFS について言及されていますが、アルゴリズムを提供しているものはありません。

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

Answer 1

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

これらの状態と遷移により、探している結論に到達するまで、通常の BFS を実行できます。