知識情報処理実習

How to install SWI-Prolog (2015/04/13)

***** プログラム例，演習の特徴などを知りたい人はこちらへ *****

• 講義目的
  論理型言語 Prolog を使ってプログラミングを行ない， 導出原理が実際にどのように適用されて問題が解決するかを体験する． 手続き型言語とは異なるプログラミング手法を学ぶことで， プログラム言語に対する視野を広げ， 論理的な考え方，アルゴリズムの作り方を身につける．

• 到達目標
  単一化，リスト処理，再帰プログラミング，バックトラックと枝刈りについて理解し， これらを使った Prolog プログラムが記述できること．

• 各回ごとの授業内容
  1. Prolog とは? -- プログラムの意味と基本的な動かし方，データベースと検索
  2. 再帰プログラム
  3. リスト処理(1)
  4. リスト処理(2)
  5. リスト処理(3)
  6. 項の処理(1)
  7. 項の処理(2)
  8. データベース操作
  9. 全解収集と枝刈り
  10. 理解度テスト, 解答例
  11. 再帰型と繰り返し型
  12. AIプログラミング(1)
  13. AIプログラミング(2)
  14. 理解度テスト(再)

• 教科書(第1回までに各自入手して持参すること．)

「Prologへの入門」 I.Bratko 著，安部憲広 訳，近代科学社，1990年．
• 授業方法

演習
• 参考書
1. 「知識処理論」 萩野 達也 著，産業図書，1996年．
2. 「PROLOG入門」 後藤 滋樹 著，サイエンス社，1984年．
3. 「Prologの技芸」 L.Sterling and E.Shapiro著, 松田利夫訳，共立出版，1988年．
4. 「AIプログラミング」I.Bratko 著，安部憲広 訳，近代科学社，1996年．
5. 「論理による問題の解法 - Prolog入門 -」 R.Kowalski 著，浦昭二 監修， 山田眞一 他 訳，培風館，1987年．
• 成績評価方法・基準
  授業中に実施する理解度テストに合格することを本科目の合格の必要条件とする． 評価は理解度テストおよび期末テスト50%, 演習問題レポート50%に加え， 遅刻欠席による減点をする．

• 学生による授業評価の方法

ネット利用
• 準備学習等についての具体的な指示および他の科目との関連

知識情報処理は必修． 数理論理学，形式言語とオートマトン，データ構造とアルゴリズムを履修していることが望ましい．
• 履修にあたっての注意

知識情報処理を履修することなく 本演習を履修するためには担当教員の許可が必要であり，許可のない者は本演習の履修を認めない． また，就活等による欠席の特別扱いはしない． 高橋研で領域実習・卒業研究をする者は本実習を履修することを推奨する．