人工知能基礎論
Foundations of Artificial Intelligence
講義内容
一階述語論理の基礎，分解証明法，非単調論理，帰納推論など，人工知能の基礎となる論理的な推論法について説明する。
１. 宣言的な知識の表現
２. 一階述語論理
３. 融合法といくつかの戦略
４. 非単調論理
５. 帰納推論と仮説推論
６. その他の話題 (メタ知識，フレーム問題等)
教科書
なし
参考書
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
前提とする知識(必ずしも先修条件ではない)
特になし