一階述語論理の基礎，演繹推論，帰納推論など，人工知能の基礎となる論理的な推論法について説明する。 　１.宣言的な知識の表現 　２.一階述語論理 　３.一階述語論理のための証明法 　４.帰納推論と帰納学習 　５.その他の話題 (知識表現，非単調推論等)

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

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

(必ずしも 先修条件ではない) 特になし

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