人工知能基礎論
Foundations of Artificial Intelligence

---

講義内容

　一階述語論理の基礎，演繹推論，帰納推論など，人工知能の基礎となる論理的な推論法について説明する。

　１.宣言的な知識の表現
　２.一階述語論理
　３.一階述語論理のための証明法
　４.帰納推論と帰納学習
　５.その他の話題 (知識表現，非単調推論等)

教科書

なし（講義資料を配布する予定）

参考書

Nils J. Nilsson : Artificial Intelligence,A New Synthesis,Morgan Kaufmann
Publishers,1998.ISBN:1-55860-467-7

前提とする知識(必ずしも先修条件ではない)

特になし

成績評価方法及び基準

講義期間中に数回求めるレポート（50％）および最終レポート（50％）により行う。