76022 Machine Inference
76022 推論機構特論
(Machine Inference)
- 開講学期：平成27年度後学期
- 授業時間: 水曜日5〜8時限
- 単位数： 2-0-0
- 担当教官：
井上 克巳
- 講義の目的：
論理推論の基礎として，命題論理の充足可能性判定(SAT)，
導出原理に基づく定理証明，論理プログラミング，非単調推論，
状態変化を伴う推論，帰納推論とアブダクションなどについて解説し，
こうした推論技術の人工知能における役割について学ぶ。
- 授業の概要
- 人工知能概説
- 知識表現
- 命題論理
- 述語論理
- 健全性・完全性
- モデル論
- 充足可能性判定 (SAT)
- 導出原理と単一化
- 論理プログラミング
- 非単調推論
- 行動に関する推論・プランニング
- アブダクション
- 帰納論理プログラミング
- 人工知能における発展的話題
- 到達目標：
各回の講義で関連技術の調査が課され、最後にまとめてレポートを提出する。
調査結果についてプレゼンテーションを行い、インタラクティブに授業を進める。
成績はレポートおよびプレゼンテーションの結果を総合的に評価する。
- 教科書：
レクチャーノートを使用する。
- 参考書：
適宜紹介する。
Maintained by Katsumi Inoue