知識情報処理実習

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

座席表 (updated on 2024/04/15)

Prolog インストールおよび起動方法 (Mac版） (updated on 2024/04/23)

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

TA Office Hour

• 野田 麦（石浦研）ilm01479@kwansei.ac.jp，4号館1F，火曜4限
• 荒木 聡一郎（巳波研）gfj42949@kwansei.ac.jp，4号館2F，火曜2限

レポート提出システム

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

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

• 各回ごとの授業内容
  1. はじめに 4/12 -- 2024年度講義ガイド, Prolog のインストール方法と動かし方[2024/04/15, updated] , データベースと検索:課題と説明 , Prolog の実行過程, 家族関係の記述と補足説明, 練習問題解答例
  2. 再帰プログラム 4/19 -- 課題と説明 [2024/04/19 17:46, updated]， sum の実行過程の補足， r2練習問題解答例
  3. リスト処理(1) 4/25 -- 課題と説明， list の実行過程， r3練習問題解答例
  4. リスト処理(2) 5/9 -- 課題と説明， r4練習問題解答例
  5. リスト処理(3) 5/17 -- 課題と説明， r5練習問題解答例
  6. 項の処理(1) 5/24 -- 課題と説明， 1階述語論理の文法， r6練習問題解答例
  7. 項の処理(2) 5/31 -- 課題と説明， r6,r7のヒント r7練習問題解答例
  8. 構造をもつ要素のリスト 6/7 -- 課題と説明， r8練習問題解答例
  9. 全解探索と否定 6/14 -- 課題と説明， r9練習問題解答例
  10. 理解度テスト
  11. 再帰型と繰り返し型 6/27 課題と説明， r10練習問題解答例
  12. AIプログラミング(1)
  13. AIプログラミング(2)
  14. 理解度テスト(再)，期末テスト

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

「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%に加え， 遅刻欠席による減点をする．

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

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

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


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