このパートの目的
記号論理的な考え方の把握
数理論理系を用いた世界知識の記述と推論について学ぶ
命題論理の体系
文と命題の関係を学び,命題による世界知識の表現の手法を学ぶ
意味論的アプローチ,モデル論的アプローチ
(真理値表,融合原理)
命題が正しいことをどのように証明するかを学ぶ
融合原理
機械的に証明する効率の良い手法について学ぶ
...Return
講義の詳細