Ai入門 in prolog

自己紹介
© 2016 Shun Ichikawa 1

Pictures from www.tcd.ie
名前市川駿
出身地埼玉県
大学アイルランド国立ダブリン大学トリニティ・カレッジ
学部 Computer Science & Business

Prolog！？

何それ！？
おいしいの？

プログラミング
言語です！

Prologとは
￭ 1972年に登場した老舗の非手続き型
プログラミング言語
￭ AIに特化した言語
￭ Prologでは論理的に物事を解釈するように
プログラムを書きます

そんな言語…

オワコン
じゃない！？

オワコンじゃない！！(,,ﾟДﾟ)
￭教育機関では論理学の教材として有名！
￭最近の有名な事例は・・・Pepper
http://k-tai.impress.co.jp/

Prologのプログラムを構成する要素
要素は３つ！
1. 事実｜物事の事実を宣言すること
2. 規則｜物事との関係に関しての規則を定義すること
3. 質問｜物事との関係について質問すること

事実とは
￭ “鈴木さんは東京に住んでいる”
というような事が事実
￭英語にすると「Suzuki lives in Tokyo.」
￭ live(suzuki, tokyo).

規則とは
￭複数の事実を用いて、一つの事実を表すこと
￭ Engineerとは、職業を示します。
- 田中さんはEngineerであるという事実は、
田中さんは人であるという事実も示します。
￭ engineer(X) :-human(X).

質問
￭ Prologに対して、質問を投げること
- Prologは質問に合致する事実があれば “yes”
なければ “no” と回答する。
￭ live(suzuki,tokyo).
- yes ←Prologの回答
※上記の結果を得るためにはlive(suzuki, tokyo)という事実を
あらかじめPrologに登録しておく必要があります。

皆さん！
ご存じですか。

ゼブラパズル

問題｜ゼブラパズル
￭家が３軒あります。その３軒の家はそれぞれ
赤・青・緑で塗られています。
そしてその住人は、それぞれ異なる国籍で、
それぞれ異なるペットを飼っています。
￭イギリス人は赤い家に住んでいます。
￭スペイン人は犬を飼っています。
￭日本人は、猫を飼っている人の右側に住んでいます。
￭猫を飼っている人は青色の家の左に住んでいます。
誰がシマウマを飼っているでしょう？

Prologで
解いてみた

￭３人の人が並んで住んでいるということ
- neighbor(L,R,[L,R|_])
neighbor(L,R,[_|Xs]) :- neighbor(L,R,Xs)
￭イギリス人は赤い家に住んでいる
- house(red,english,_)
￭スペイン人は犬を飼っている
- house(_,spanish,dog)

Ai入門 in prolog

More Related Content

Featured (20)

Ai入門 in prolog