記号論理の目的
構文と意味の厳密な定義
それにより世界をどのくらい記述できるか？
(知識Kの定義)
世界に関してどのくらい推論できるか?
(知りたいことを命題Pとし，KからPが論理的に推論できるか? entailment)
...Return
講義の詳細
...Return