Prolog でまったり
■ このスレッドは過去ログ倉庫に格納されています
0001人工無能
NGNGそんなPrologについてまったり話しましょう
0153デフォルトの名無しさん
NGNG本気で言ってる？
0154デフォルトの名無しさん
NGNG英語の構文解析のプログラムとかはprologでやると簡単かも……。
確かに、MP3のエンコードとかそういうのには、
あまり役に立たないかも知れませんね(笑)。
0155デフォルトの名無しさん
NGNG「関数型言語に」であって別に「MLに」ってわけじゃないと思うよ。
つか、「論理型に関数型を」な気がしないでもない。
0156ざっしょくもの
NGNGあ、Prologの冒険なつかしいすねー！持ってます！
高校時代、好奇心でPrologやってみたくて買ったです。
ただ、５インチFDを読める環境が無く、
実際にプログラム組みたくても組めなくてもんもんとした覚えです。
0157デフォルトの名無しさん
NGNG構文解析って、他の言語でやってもそれほど骨ではないです。
他の言語では地獄を見るようなものってあるかな？
0158デフォルトの名無しさん
NGNGJava上のPrologならいろいろある。
アプリに組み込み可能なPrologエンジンとしては、ilogが有名。
http://www.ilog.com/
用途は、経路探索とか縦型検索問題、その他。
0159デフォルトの名無しさん
NGNG0160デフォルトの名無しさん
NGNG0161デフォルトの名無しさん
NGNG0162デフォルトの名無しさん
NGNG0163デフォルトの名無しさん
NGNG0164デフォルトの名無しさん
NGNGArtificial Intelligence
Assignment I
Question 1
Given the following medical expert system devise queries for the
following:
1. A query which will list all the diseases in the medical
database without their symptoms.
2. A query which will pick out all the symptoms of flu.
3. A query which will pick out the diseases with a symptom headache.
/ * Medical Expert System */
symptom(cold,sneezing).
symptom(cold,headache).
symptom(cold,runny_nose).
symptom(flu,headache).
symptom(flu,shivery).
symptom(flu,temperature).
symptom(brain_tumour,headache).
/* END */
0165デフォルトの名無しさん
NGNGArtificial Intelligence
Assignment I
Question 2
Read the following passage, and express the information it contains
in a semantic net. Convert the net to a prolog database and use it
to test
(a) whether herbivores ever hunt and
(b) whether all herbivores are hunted.
In the animal world, carnivores such as lions and leopards hunt
and eat herbivores such as zebras and wildebeest.
Thus some animals are hunters and some are hunted, and generally
speaking, carnivores hunt herbivores. However, there are many
exceptions to this rule. Elephants, which are herbivores, are rarely
hunted because of their size. Nor are bears, which are not normally
meat eaters and therefore basically herbivores. Bears will
catch and eat other animals when the opportunity arises.
0166デフォルトの名無しさん
NGNGArtificial Intelligence
Assignment I
Question 3
Study the attached Prolog Murder Mystery and explain how the prolog
program works, paying particular attention to the rules.
Also briefly outline the importance of backtracking to this
particular problem.
0167デフォルトの名無しさん
NGNGbody_discovered_at(60,mansion).
/* Death caused by blugeoning */
cause_of_death(blugeoning).
/* Body temperature at 10:10 was 96.4F */
body_temp_at(70,96.4).
/* Specify suspects */
suspect(maid).
suspect(colonel).
suspect(vicar).
suspect(nigel).
suspect(cynthia).
/* Everybody's physical strength rating
1 = bed ridden, 10 = strong as an ox */
physical_strength(vicar,7).
physical_strength(colonel,4).
physical_strength(maid,2).
physical_strength(nigel,8).
physical_strength(cynthia,5).
/* Where everybody lives */
lives_at(celia, vicarage).
lives_at(ronald, vicarage).
lives_at(maid, mansion).
lives_at(colonel, mansion).
lives_at(nigel, cottage).
lives_at(cynthia, cottage).
0168デフォルトの名無しさん
NGNGtime_between(mansion,vicarage,12).
time_between(vicarage, mansion,12).
time_between(cottage,vicarage,18).
time_between(vicarage,cottage,18).
time_between(cottage,mansion, 24).
time_between(mansion, cottage, 24).
time_between(Anywhere, Anywhere, 0).
/* Everybody's whereabouts */
saw(vicar, celia, vicarage,0,20).
saw(vicar, nigel, vicarage, 52,52).
saw(nigel, cynthia, cottage,0,30).
saw(nigel,cynthia,cottage,90,99).
saw(colonel,vicar,vicarage,50,99).
saw(cynthia,nigel,cottage,90,99).
saw(vicar,colonel,vicarage,50,99).
saw(maid,colonel,mansion,0,35).
saw(nigel,vicar,vicarage,52,52).
saw(colonel,maid,mansion,0,35).
saw(celia,nigel,cottage,0,30).
/* Specify who's fingerprints where found */
finger_prints_found(celia).
finger_prints_found(colonel).
finger_prints_found(nigel).
finger_prints_found(cynthia).
/* This is the reasoning part, the 'inference engine' */
whodunnit(Person):-suspect(Person),
unexplained_fingerprints(Person),
not(has_alibi(Person)).
whodunnit(Person):-suspect(Person),
strong_enough(Person),not(has_alibi(Person)).
unexplained_fingerprints(Person):-
finger_prints_found(Person),
body_discovered_at(_,Scene_of_crime),
not(lives_at(Person,Scene_of_crime)).
0169デフォルトの名無しさん
NGNGbody_discovered_at(Latest,Scene_of_crime),
earliest_time_of_death(Earliest),
saw(_,Person,Somewhere,Early_time,Late_time),
time_between(Scene_of_crime, Somewhere, Travel_time),
Latest < Late_time + Travel_time,
Earliest > Early_time - Travel_time.
earliest_time_of_death(Time):-
body_temp_at(Time_temp_taken, Temp),
Time is Time_temp_taken - (98.4-Temp)*10.
strong_enough(Person):-cause_of_death(blugeoning),
physical_strength(Person,Rating),Rating >=4.
strong_enough(Person):-cause_of_death(shooting),
physical_strength(Person,Rating),Rating >=1.
strong_enough(Person):-cause_of_death(poisoning).
0170デフォルトの名無しさん
NGNGArtificial Intelligence
Assignment I
Question 4
Reasoning with uncertainty is an important issue with regard to
using symbolic systems to achieve AI. One such approach is to use
default logic. However another approach is to use Fuzzy logic.
Using the Internet, Books, Magazines, Journals explain in 2-3 typed
pages how fuzzy logic can be used in situations where there is
uncertainty. Give a brief explanation of the logic itself, how it
can be applied, one such area where it has been used, and any
possible future developments with the theory. Reference your work !!!!!!!!!!
0171デフォルトの名無しさん
NGNG0172デフォルトの名無しさん
NGNG0173とをりすがりでしてご回答はムリですが...
NGNG＃ソースコード乗せまくりで、いい感じ!
0174デフォルトの名無しさん
NGNGProlog って不思議な言語だねぇ。
ところで、Prolog って「ぷろろぐ」？ それとも「ぷろろーぐ」？
0175デフォルトの名無しさん
NGNGえ？荒らしじゃないの？
0176デフォルトの名無しさん
NGNGQuestion 1
1. ?- symptom(Disease,_).
てことか？もしこんなウォーミングアップ程度からわかんないなら、
キミ相当ヤバイ。正直、出直した方がいいだろ。
>>174
日本じゃプロログが主流と思われ。国際的にはたぶんプロローグ。
0177宿題助けて下さいな
NGNG'?-' とかははじめからある前提でお願いします。
こっちではプロローグです。
0178デフォルトの名無しさん
NGNG0179デフォルトの名無しさん
NGNG真性？
0181親切な人
NGNGヤフーオークションで、凄い人気商品、発見！！！
「高性能ビデオスタビライザー」↓
http://user.auctions.yahoo.co.jp/jp/user/NEO_UURONNTYA
ヤフーオークション内では、現在、このオークション
の話題で、持ちきりです。
0182デフォルトの名無しさん
NGNG文法をほとんどそのままDCGで書くとそれが
動いてくれるってのはイイ！くない？
0183[ ◆rJF0ZGiM
NGNG?-assert(ako(cold,diseasesaa)).
?-assert(ako(flu,diseasesaa)).
?-assert(ako(brain_tumour,diseasesaa)).
この3行を下の問題文にたして--
?-assert(symptom(cold,sneezing)).
?-assert(symptom(cold,headache)).
?-assert(symptom(cold,runny_nose)).
?-assert(symptom(flu,headache)).
?-assert(symptom(flu,shivery)).
?-assert(symptom(flu,temperature)).
?-assert(symptom(brain_tumour,headache)).
これでリストするっていうのはどうかな?
?-ako(X,diseases).
もっと簡単に出来るのある?
0184挑戦 ◆rJF0ZGiM
NGNG0185挑戦 ◆rJF0ZGiM
NGNGこれはこれで簡単。
?-symptom(flu,X).
Q1-3.
これもこの1行でいいんじゃないかな?
?-symptom(X,headache).
0186挑戦 ◆rJF0ZGiM
NGNG0187デフォルトの名無しさん
NGNGGuile みたいかんじで。
Scheme で Prolog みたいな動作をさせるためには、
どんな勉強すればいいかな?
とりあえず、バックトラッキングだけでもいいんだけど。
っていうか、SchemeもPrologもまだほとんど覚えてないんだけど。
0188デフォルトの名無しさん
NGNG「Prologの技芸」に目をつけていたんですが、品切れ中の模様です。
0189デフォルトの名無しさん
NGNG再帰。
深さ優先探索とか、幅優先探索とか調べて見なされ。
0190デフォルトの名無しさん
NGNG0191デフォルトの名無しさん
NGNG0192デフォルトの名無しさん
NGNG『機能論理プログラミング』という
Prologを使った機械学習とかそいういうのについて書いた本を
少し前に買ってちょっとだけ読んでみた。
難しくてまだ半分も理解してない。。。
0193デフォルトの名無しさん
NGNGごめん。
×『機能論理プログラミング』→○『帰納論理プログラミング』
でした。
0194デフォルトの名無しさん
NGNG制約論理プログラミングとかもあるらしいね。
方程式とか解けるのか？
0195デフォルトの名無しさん
NGNG探索木の枝を切るって事が分かれば難しくないよ。
簡単なメタインタープリタを書いてみると良く分かると思うよ。
0196デフォルトの名無しさん
NGNGを買ったけどよくわかりません。
とくにバックトラックを図で説明しているのですが、ああいうのはどうなんでしょうか。
カットにいたってはさっぱりわかりません。
0197デフォルトの名無しさん
NGNGttp://citeseer.nj.nec.com/cachedpage/225686/4
0198デフォルトの名無しさん
NGNGPrologのペトリネットはみたことあるけど。
0199デフォルトの名無しさん
NGNG短信があったと思うがどんなんだろう。
0200名無しさん＠お腹いっぱい。
NGNG0201デフォルトの名無しさん
NGNGつまり儲かるような仕事（研究）に使える言語なんでしょうか？
0202デフォルトの名無しさん
NGNGで、論理式はホーン形式に限られている。
もっと、一般の論理式の真偽を求めれるプログラムないのか。
量化子なんかもOkのやつがいいね。
タブロー法あたりをプログラム化したものないかな。
0203デフォルトの名無しさん
NGNG絶版だったりどうでもいい本だったりして困ってます。
定番な良書や、この本で開眼した、というような推薦書はありませんか？
0204デフォルトの名無しさん
NGNGhttp://homepage2.nifty.com/logic/
http://homepage2.nifty.com/logic/ai6.htm にあるように
イベントが発生するとき、ゴールが設定されるというのは面白い。
でも、文章からはイタサが漂う。
0205名無しさん＠お腹いっぱい。
NGNGﾜﾗﾀ
0206デフォルトの名無しさん
NGNGﾀﾜﾗ
0207デフォルトの名無しさん
NGNGWindowsの一部はPrologで書かれてるとかこないだ聞いた。
具体的にどこにどう使われてるかとかは知らんけど。聞いただけの話だから。
詳しい人いたら補足レスきぼんぬ。
0208デフォルトの名無しさん
NGNGまさか、Windows の一部は、Prolog と Epilog で
書かれているというオチではなかろうね。
0209デフォルトの名無しさん
NGNG言語のことじゃなくて、識別子のことね（Epilog
という一種の Prolog 言語があるから）。
0210デフォルトの名無しさん
NGNG「論理の木構造の深さ優先探索」て理解でいいんじゃなーい？
木の根の所にカニがいて、枝の先端にある柿をたびたいと思ってる。
カニは進行方向を見て歩けないし、カニにとって木は巨大な構造体だから、事前に最短経路を考えて辿ることはできない。
しょうがないから蟹知恵で、枝の分岐点の組み合わせをシラミ潰しに探索する(深さ優先探索)。
枝先端へ行って柿がなければ、一つ前の分岐に戻って(バックトラック)別の枝を試す。
カニは柿を食ったら別の作業をしたいが、その作業が失敗したからといって柿採りに戻りたくないからｶｯﾄ！
0211デフォルトの名無しさん
NGNG0212デフォルトの名無しさん
NGNG誰かユニフィケーションとバックトラックについて詳しく説明してください。
このままじゃレポートかけない・・・・・。
0213デフォルトの名無しさん
NGNGhttp://www.google.com/
0214厨房ですよ＠Prolog
NGNG調べる＝項の評価し、その結果を見ること。
バックトラック＝ゴールが見つかったのに、別のゴールが無いか調べること
0215デフォルトの名無しさん
NGNGわー、わかりやすいー。
柿を食った後の作業で失敗しても、
柿を食う前には戻らないちゅうことですね。
0216デフォルトの名無しさん
NGNG0217age
NGNG0218デフォルトの名無しさん
NGNG0219デフォルトの名無しさん
NGNGLisp、Schemeの専売特許じゃなかったんだ。
知らんかった〜。
0220デフォルトの名無しさん
NGNG学生時代にやってもう忘れたけど、マジカルバナナをするプログラムとか言うのを演習で提出した覚えがある。懐かしい・・・。
0221デフォルトの名無しさん
NGNGWindowsのＬｉｓｐで動くかな？
0222デフォルトの名無しさん
NGNGその後名前が裏茄子に変わったと、本に書いてあったよね。
UTILISPはかなり前にインターネット上で公開されてたと記憶。
中島秀之せんせーって、今も産総研で活躍されてるよね。
メールで聞いてみたら？
0223デフォルトの名無しさん
NGNGCommon Lisp 用に書き直されてないかいな。
マジに聞いてみようか。（なんと恐れ多い）
入門書の付録のPrologはCommon Lispに書き直されたもの
が存在するんだよね。
多重世界機構かぁ。
0224デフォルトの名無しさん
NGNG0225名無しさん＠お腹いっぱい。
NGNG0226デフォルトの名無しさん
NGNG0227デフォルトの名無しさん
NGNGhttp://www.swi-prolog.org/
0228デフォルトの名無しさん
NGNG0229デフォルトの名無しさん
NGNGPCH creation point
ってなんですか？
よろしくお願いします
0230デフォルトの名無しさん
NGNG0231デフォルトの名無しさん
NGNG五世代プロジェクトの
0232名無しさん＠ＸＥｍａｃｓ
NGNG> KLCはどうですか。
> 五世代プロジェクトの
KL1 ね。で、UNIXen で動くその言語処理系が KLIC。
Prolog とはかなり趣を異にするけど、これはこれで結構面白い言語だ
わな。副作用なしで入出力が扱えたりするところとかね。
0233貼っとく
NGNGhttp://dir.goo.ne.jp/computers/00941/00979/00988/
0234デフォルトの名無しさん
NGNG0235デフォルトの名無しさん
NGNG0236デフォルトの名無しさん
NGNG実行ファイル(.EXE)は作成されないの？？
0237デフォルトの名無しさん
NGNGTurbo Prolog では作れたよ。
0238デフォルトの名無しさん
NGNGども。
0239デフォルトの名無しさん
NGNG0240okd
NGNG0241デフォルトの名無しさん
NGNGしかし、シフトJISコードの2バイト目に \ とかがあると
モロ化けるので、フォントを設定するくらいではどうしようもないね。
0242デフォルトの名無しさん
NGNGここみんな必見だよ
プロログの動作原理
http://web.sfc.keio.ac.jp/~tozaki/LP/01/handout/prolog-dousa/
0243デフォルトの名無しさん
NGNG0244デフォルトの名無しさん
NGNG0246デフォルトの名無しさん
NGNG0247デフォルトの名無しさん
NGNG0248デフォルトの名無しさん
NGNG0249デフォルトの名無しさん
NGNG?- available(girl,X).
no.
0250デフォルトの名無しさん
NGNG>>247 微妙
>>248 本当
0251デフォルトの名無しさん
NGNG深夜に自作自演ですか？
0252デフォルトの名無しさん
NGNG■ このスレッドは過去ログ倉庫に格納されています