探索としての推論
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/04/25 13:56 UTC 版)
「Logic Theorist」の記事における「探索としての推論」の解説
Logic Theorist は探索木を探査する。その根は初期の仮説であり、それぞれの分枝は論理規則に基づいた演繹を表している。最終的にどこかの葉ノードがゴール、すなわちプログラムが証明しようとしている命題である。ゴールまでの枝の連なりが証明の流れとなっている。証明の個々の文は論理規則から演繹されたもので、それによって仮説から証明すべき命題へとたどり着く。
※この「探索としての推論」の解説は、「Logic Theorist」の解説の一部です。
「探索としての推論」を含む「Logic Theorist」の記事については、「Logic Theorist」の概要を参照ください。
ウィキペディア小見出し辞書の「探索としての推論」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 探索としての推論のページへのリンク
