記号を対象とする機械知能の原理である論理,チューリング機械,探索について 講義する.さらに実世界との知能的な相互作用を実現するための基盤技術である コンピュータビジョン,物体操作について講義する.コンピュータの知能,ロボッ トの知能に関する基本的な概念を理解することを目標とする.
| 第1週 | 9/29 | 知能機械の歴史 計算 機械 論理 | |
| 第2週 | 10/ 6 | 論理 命題論理 命題 | |
| 第3週 | 10/13 | 論理 論理演算 含意 | |
| 第4週 | 10/20 | 論理 一階述語論理 述語 変項 量化 | |
| 第5週 | 10/27 | チューリング機械 状態 入力記号 遷移規則 (小テスト) | |
| 第6週 | 11/ 3 | チューリング機械 アルゴリズム 停止問題 万能チューリング機械 | |
| 第7週 | 11/10 | 探索と径路計画 グラフ 木 最短径路問題 | |
| 第8週 | 11/17 | 探索と径路計画 ダイクストラ法 分岐限定法 | |
| 第9週 | 11/24 | 移動ロボットの径路計画 配位空間 人工ポテンシャル (小テスト) | |
| 第10週 | 12/ 1 | コンピュータビジョン デジタル画像 フィルタリング | |
| 第11週 | 12/ 8 | コンピュータビジョン 正規化相関法 マッチドフィルタ | |
| 第12週 | 12/13 | コンピュータビジョン ハフ変換 | |
| 第13週 | 12/15 | 物体操作 接触状態グラフ フォーム/フォースクロージャ | |
| 第14週 | 12/22 | 物体操作 コンプライアンス SCARA RCC | |
| 第15週 | 1/10 | 物体操作 柔軟指操作 ポテンシャル法 |