人工知能特論 |
Artificial Intelligence |
開講部 | 大学院理工学研究科 修士課程 |
開講学科 | 電気電子情報工学専攻 |
開講学年 | 1年次 |
開講時期 | 後期 |
単位数 | 2 |
単位区分 | 特修 |
系列区分 | 特論 |
講義区分 | 講義 |
教授 | 若木利子 |
1. | ガイダンス: 議論をするマルチエージェント (人間の議論とは? ) |
2. | 議論をするマルチエージェント (エージェントの知識ベースと知識表現,拡張論理プログラム) |
3. | 議論をするマルチエージェント(論証,攻撃関係,議論の枠組) |
4. | 議論をするマルチエージェント(Dungの議論の意味論,論証の正当化 / 却下の判定) |
5. | 議論をするマルチエージェント(議論の計算手続き: 不動点意味論と対話的証明論) |
6. | 常識推論と非単調推 (常識を用いた人間の思考の特徴,デフォルト論理に基づく常識推論) |
7. | 解集合プログラミング (解集合プログラムのクラスと解集合意味論, ASPソルバー) |
8. | 解集合プログラミング (解集合プログラムの例題,数独パズルへの応用,etc) |
9. | セマンティックWebとオントロジー (XMLとの関係,セマンティックWebのRDF/RDFS/OWL言語) |
10. | 記述論理とオントロジー (記述論理によるオントロジーの表現, セマンティックWebとの関係) |
11. | 文献購読 (ウェブサイエンス入門 etc) |
12. | 文献購読 (ウェブサイエンス入門 etc) |
13. | 文献購読 (ウェブサイエンス入門 etc) |
14. | 文献購読 (ウェブサイエンス入門 etc) |
15. | 文献購読 (ウェブサイエンス入門 etc) |