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

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

1. Nils J. Nilsson. Artificial Intelligence: A New Synthesis. Morgan Kaufmann Publishers, 1998. ISBN:1-55860-467-7 2. Stuart Russell and Peter Norvig. Artificial Intelligence: A Modern Approach. Prentice Hall, 1995. ISBN: 0-13-103805-2 〔邦訳〕古川康一監訳．エージェントアプローチ: 人工知能．共立出版．ISBN: 4-320-02878-3

（必ずしも先修条件ではない） 　　 特になし

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