知識情報処理実習

2025年度講義ガイド

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

Prolog インストールおよび起動方法

• Windows版 (updated on 2025/03/31)
• Mac版 (updated on 2024/04/23)

理解度テストに案内のリンクをはりました．各自読んでおいてください． [2025/05/30]

TA Office Hour

• 荒木 聡一郎（巳波研）月曜3限 gfj42949@kwansei.ac.jp，4号館2F
• 山科 慶悟（作元研）水曜4限 ghe02018@kwansei.ac.jp，4号館2F

レポート提出システム

• 講義目的
  手続き型言語とは異なる論理プログラミングを学ぶことで， プログラム言語に対する視野を広げ， 論理的な考え方，アルゴリズムの作り方を身につける．

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

• 各回ごとの授業内容
  1. はじめに 4/11 -- データベースと検索:課題と説明 , Prolog の実行過程, 家族関係の記述と補足説明, 練習問題解答例.
  2. 再帰プログラム 4/18 -- 課題と説明 ， sum の実行過程の補足， r2練習問題解答例
  3. リスト処理(1) 4/25 課題と説明， list の実行過程， r3練習問題解答例.
  4. リスト処理(2) 5/2 課題と説明， r4練習問題解答例.
  5. リスト処理(3) 5/9 課題と説明， r5練習問題解答例.
  6. 項の処理(1) 5/16 課題と説明， r6練習問題解答例.
  7. 項の処理(2) 5/23 課題と説明， r7練習問題解答例.
  8. 構造をもつ要素のリスト 5/30 課題と説明， r8練習問題解答例.
  9. 全解探索と否定 6/6 課題と説明， r9練習問題解答例.
  10. 理解度テスト 理解度テスト 6/13
  11. 再帰型と繰り返し型 6/20
  12. AIプログラミング(1) 6/27
  13. AIプログラミング(2) 7/4
  14. 理解度テスト(再) 7/11

• 教科書( 早めに各自入手すること．)

「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年．
• 成績評価方法・基準 (予定)
  授業中に実施する理解度テストに合格することを本科目の合格の必要条件とする．

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

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

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


• 知識情報処理の内容を扱うため，この科目の履修を推奨する．
• 就活等による欠席については配慮しない．
• 高橋研で領域実習・卒業研究をする者は本実習を履修することを推奨する．