Prologでまったり Part5 [無断転載禁止]©2ch.net

**デフォルトの名無しさん** · 2017/03/24(金) 14:51:42.44

過去スレ
Prologでまったり Part4
http://pc12.2ch.net/test/read.cgi/tech/1235561034/
Prologでまったり Part3
http://pc11.2ch.net/test/read.cgi/tech/1193354806/
PrologでまったりPart 2
http://pc11.2ch.net/test/read.cgi/tech/1102664221/
Prolog でまったり
http://pc5.2ch.net/test/read.cgi/tech/976462999/

**デフォルトの名無しさん** · 2017/03/24(金) 20:35:29.83

すみません。最後のPartなしは、リンクが切れていました。
一番肝心のスレッドなのに残念ですね。

**デフォルトの名無しさん** · 2017/03/24(金) 20:39:51.26

人工知能がブームになりつつあり、Prologにとっては追い風と書いたところ、

ジャンプするには向かい風の方がよい

との答えをもらいました。

**デフォルトの名無しさん** · 2017/03/25(土) 00:52:32.52

>>2
ググったらみみずんにあった
http://mimizun.com/log/2ch/tech/976462999/

**デフォルトの名無しさん** · 2017/03/26(日) 18:33:47.40

Prologに型概念はないと言い切ってよいものだろうか。

**デフォルトの名無しさん** · 2017/03/30(木) 17:20:53.83

ふと、新聞に載ってる論理パズルを解くプログラムを書きたくなって
Debian に GNU Prolog をインストールして二十数年ぶりに Prolog を楽しんでるのだが、
まだ maplist が実装されていないバージョンだということに今気付いた。
2007 年にリリースされた 1.3.0 らしい。いや、特に困るわけでもないが。
fd_domain や fd_all_different は実装されてるからね。特に不足は無いよ。
不足があるなら自分で新しいのを入れればいいし。まあ、まったりいこう。

**デフォルトの名無しさん** · 2017/03/31(金) 08:17:08.38

>>888
その部分では関数型言語も手続型言語もオブジェクト指向が強調されたものでも記述はできるが、その記述の関係さ

7 · 2017/03/31(金) 08:22:24.23

すみません。論理Polog初心者スレと間違えて書き込んでしまいました

**デフォルトの名無しさん** · 2017/03/31(金) 19:43:34.32

>>5
型はないです。型という概念が使われることもない。外からどう見えようとも。

**デフォルトの名無しさん** · 2017/04/01(土) 12:04:38.01

>>9
本当は integer や float も atom という認識でよかったのではないか

**デフォルトの名無しさん** · 2017/04/02(日) 16:59:28.60

人工知能といっても今流行ってるDeepLearningの世界にPrologの出番なんて無いと思うんだけどどう関係すんの？

**デフォルトの名無しさん** · 2017/04/02(日) 18:34:31.57

>>11
DeepLearningを含む機械学習やニューラルネットワークによる認識は
人工知能のごく一部。知識プログラミングにこれがつながるのはそれこそ
進化論的に大変。人間の思考、判断、意志、統制は、シンボル操作がやはり
中心になる。この領域の中心付近に述語論理があり、そういう意味で、
Prologはこの人工知能の世界では今後もずっとに安泰の地位にいる。

**デフォルトの名無しさん** · 2017/04/02(日) 18:36:10.74

ずっと安泰の地位にいる。ですね。

**デフォルトの名無しさん** · 2017/04/02(日) 21:09:04.44

>>12
ごく一部といっても今流行ってるのは機会学習だけでそれ以外は良くも悪くも全く変わってないよね？
だからPrologにとって追い風も何も無いと思うんだが。

**デフォルトの名無しさん** · 2017/04/02(日) 21:27:14.79

>>12
Prologは記号処理に還元できる問題は得意だから今後も使われるだろう。
でも人間の曖昧な思考やそれに基づく自然言語は記号処理に還元できない。
そして自然言語処理でDeepLearningが次々と成果を出している。
FacebookのMemory Networksは述語論理抜きで質問に答える。
Prologはもう人工知能研究の中心ではないし今後もならないのでは?

ニューラル機械翻訳と記号幻想の死
http://rekken.g.hatena.ne.jp/murawaki/20161017/p1
Facebookの人工知能アルゴリズム「memory networks」について調べてみた
https://www.slideshare.net/metaps_JP/facebookmemory-networks-keo
NIP2015読み会「End-To-End Memory Networks」
http://www.slideshare.net/unnonouno/nip2015endtoend-memory-networks
>複数の文からなる事実から、質問に答えるタスクを、end-to-endで学習する手法を提案した
>単語の埋め込み、文のエンコード、各事実に対するattention、
>回答の生成までを単一のネットワークにする

**デフォルトの名無しさん** · 2017/04/02(日) 22:09:22.59

>>15
>でも人間の曖昧な思考やそれに基づく自然言語は記号処理に還元できない。
こう言い切る根拠がわからない

**デフォルトの名無しさん** · 2017/04/02(日) 23:31:47.53

>>16
数学の命題のように100%正しい命題なら記号処理に還元できる。
でも風が吹けば桶屋が儲かるのような確率的命題を扱うには
離散値ではなく連続値で推論する仕組みが要る。
ベイジアンネットワークやニューラルネットワークなら確率的命題を扱える。