人工知能基礎論
Foundations of Artificial Intelligence
講義内容
一階述語論理の基礎，分解証明法，非単調論理，帰納推論など，人工知能の基
礎となる論理的な推論法について説明する。
- 宣言的な知識の表現
- 一階述語論理
- 融合法（Resolution Principle）といくつかの戦略
- 非単調論理
- 帰納推論
- その他の進んだトピック（メタ知識，フレーム問題等）
教科書
- M. R. Genesereth, N. J. Nilsson 共著 古川康一 監訳：人工知能基礎論，
オーム社，1993．5800円．ISBN: 4-274-12908-X
または，原書
- Michael R. Genesereth, Nils J. Nilsson: Logical Foundations of Artificial Intelligence, Morgan Kaufmann Publishers, 1987. ISBN: 0-934613-31-1
参考書
前提とする知識(必ずしも先修条件ではない)
特になし