筑波大学システム情報工学研究科コンピュータサイエンス専攻科目一覧

知識システム特論

担当教員
電子メール
オフィスアワー
西原 清一 (にしはら せいいち)
nishihara☆cs.tsukuba.ac.jp
総B0906, 前もって電子メールまたはTEL(ext.5525)で予約してください

担当教員
電子メール
オフィスアワー
狩野 均 (かのう ひとし)
kanoh☆cs.tsukuba.ac.jp
3F928, 水15:00-17:00

科目番号
分野
授業形態
01CC602
知能情報工学
講義

学期
時限
教室
2学期
木曜日 4・5時限
3A210

授業概要 制約充足パラダイムを題材に、知識表現・組合せ探索の計算論的性質について述べる。また、知識を用いた問題解決システムの定式化と解法、ならびに人工生命の手法を用いた知識や形態の創発について述べる。

予備知識 情報学類の必修科目相当の予備知識を前提とする

授業内容
1. 制約充足パラダイムによる問題解決
知識表現としての制約とその適用

2. 制約充足問題の計算論的性質
組合せ探索のためのNP完全アルゴリズム

3. 遺伝的アルゴリズムの理論
遺伝的操作、スキーマ定理、騙し問題、評価規範

4. 遺伝的アルゴリズム(GA)の拡張
ハイブリッドGA、Messy GA、GAの応用例

5. 人工生命
L-systemとその応用、ニューラルネットワークの進化
セルオートマトンの進化


教科書 授業資料を配付する

参考書 [1] 石塚 満、知識の表現と高速推論、丸善、1996.
[2] メラニ−・ミッチェル、遺伝的アルゴリズムの方法、東京電機大学出版局、1997.
[3] David H. Ackley, Mchine for Genetic Hillclimbing, Kluwer Academic Publishers, 1987.
[4] Stephen Wolfram, A New Kind of Science, Wolfram Media Inc., 2002.

成績評価 演習・レポートにより評価する

ページ先頭へ