知識情報処理実習

口頭試問をする可能性があるので必ず自分で解くこと。完答できない場合は、どこまでやってどこがわからなかったかを書いて提出してもよい。(2020/07/11)

修正要求をもらっている人は修正版をできるだけ早く提出してください。 r3 以後のすべての課題について、7/15 までに提出されたものについては採点して修正要求を出します。それ以後に提出されたものは採点のみとします。また、r11 は採点のみとします。 (2020/07/05)

r3 以降の演習問題は成績評価対象です。また，r2 以降の演習問題の解答例は掲示しません。 r2 は成績評価対象ではありませんが，TAから修正要求を出してもらいますので，修正要求があれば再提出してください。 r2 までを自分で解いて理解していないとついていけなくなるのでしっかり学習してください。また，今後すすんで学習したい人のために早めに課題と説明を掲示する予定です． (2020/05/13)

5/13 授業の zoom のアクセス先は本日 LUNA からお知らせメールで送信したものです。前回のものと異なっていますので注意してください。 (2020/05/11)

4/29, 5/6 は休講です。第2回「再帰プログラム」のライブ講義は5/13に実施します。課題や解説はそれまでにアップロードしますので以下の項目からリンクを辿ってください。 ~~zoom のアクセス先は前回メールで送ったものと同じですが、~~ 5/11頃にも再送します。（LUNAにもはりつけておきますが、基本的に本講義ではLUNAは使用しません。） (2020/05/06)

How to install SWI-Prolog (2020/04/07)

動作確認の際のQ&A (2020/04/17)

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

レポート投稿システム

講義目的
手続き型言語とは異なる論理プログラミングを学ぶことで，プログラム言語に対する視野を広げ，論理的な考え方，アルゴリズムの作り方を身につける．
到達目標
単一化，リスト処理，再帰プログラミング，バックトラックと枝刈りについて十分理解し，これらを使った Prolog プログラムが記述できること．
各回ごとの授業内容
1. はじめに -- 2020年度講義ガイド(2020/04/17修正), Prolog とは？ , プログラムの意味と基本的な動かし方，レポート提出等について (2020/04/22修正)，練習， r0の解答例 (2020/04/23修正) ， r0の解説， r0の解説補足動画 (2020/05/06追加)
2. データベースと検索 -- 課題と説明， r1の解答例
3. 再帰プログラム -- 課題と説明， sum の実行過程の補足(2020/05/13修正)， r2練習問題の解答例
4. リスト処理(1) -- 課題と説明，リスト処理基本述語の実行過程， r3練習問題の解答例
5. リスト処理(2) -- 課題と説明， r4練習問題の解答例
6. リスト処理(3) -- 課題と説明， r5練習問題の解答例
7. 項の処理(1) -- 課題と説明， r6練習問題の解答例
8. 項の処理(2) -- 課題と説明， r7練習問題の解答例
9. 全解収集と枝刈り -- 課題と説明， r8練習問題の解答例
10. 再帰型と繰り返し型 -- 課題と説明， r9練習問題の解答例
11. AIプログラミング(1) 課題と説明 , r10練習問題の解答例
12. AIプログラミング(2) 課題と説明 , r11練習問題の解答例
教科書( 早めに各自入手すること．)

授業方法

参考書

「知識処理論」萩野達也著，産業図書，1996年．
「PROLOG入門」後藤滋樹著，サイエンス社，1984年．
「Prologの技芸」 L.Sterling and E.Shapiro著, 松田利夫訳，共立出版，1988年．
「AIプログラミング」I.Bratko 著，安部憲広訳，近代科学社，1996年．
「論理による問題の解法 - Prolog入門 -」 R.Kowalski 著，浦昭二監修，山田眞一他訳，培風館，1987年．

成績評価方法・基準
すべてのレポート提出。レポートの内容で評価。
学生による授業評価の方法

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

履修にあたっての注意

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

Last Updated on July 13, 2020.
Kazuko TAKAHASHI