記号を対象とする機械知能の原理である論理，チューリング機械，探索について 講義する．さらに実世界との知能的な相互作用を実現するための基盤技術である コンピュータビジョン，物体操作について講義する．コンピュータの知能，ロボッ トの知能に関する基本的な概念を理解することを目標とする．

• 第　１週　　10/ 1　　知能機械の歴史計算　　機械　論理
• 第　２週　　10/ 8　　命題論理　　　　　　　命題　推論
• 第　３週　　10/15　　一階述語論理　　　　　述語　変項　量化
• 第　４週　　10/22　　コンピュータとチューリング機械　　チューリング機械　状態　入力記号　遷移規則
• 第　５週　　10/29　　コンピュータとチューリング機械　　アルゴリズム　停止問題　万能チューリング機械　
• 第　６週　　11/ 5　　探索と径路計画　　グラフ　木　最短径路問題
• 第　７週　　11/12　　探索と径路計画　　ダイクストラ法　分岐限定法
• 第　８週　　11/19　　移動ロボットの径路計画　　配位空間　人工ポテンシャル
• 第　９週　　11/26　　移動ロボットの径路計画　　確率的探索　
• 第１０週　　12/ 3　　コンピュータビジョン　　　デジタル画像　フィルタリング
• 第１１週　　12/ 8　　コンピュータビジョン　　　正規化相関法　マッチドフィルタ
• 第１２週　　12/10　　物体操作　　　　接触状態グラフ　フォーム／フォースクロージャ
• 第１３週　　12/17　　物体操作　　　　コンプライアンス　RCC
• 第１４週　　12/24　　物体操作　　　　柔軟指操作　ポテンシャル法
• 予備日　　　 1/ 7　　
• 第１５週　　（期末テスト）

• 2007期末試験　 2007小テスト1　 2007小テスト2