ILP is Inductive Logic Programming
■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん
NGNG0002デフォルトの名無しさん
NGNGhttp://www.dumbo.ai.kyutech.ac.jp/hirata/research/research.html
http://iaws-20.ia.noda.sut.ac.jp/~ohwada/machine/ILP.htm
0003デフォルトの名無しさん
NGNG0004デフォルトの名無しさん
NGNGこれの計算量ってどの程度？
0005デフォルトの名無しさん
NGNG0006デフォルトの名無しさん
NGNG0007デフォルトの名無しさん
NGNG0008デフォルトの名無しさん
NGNG0009デフォルトの名無しさん
NGNG確立されて１０年程度か？
0010デフォルトの名無しさん
NGNG0011デフォルトの名無しさん
NGNG0012デフォルトの名無しさん
NGNG0013デフォルトの名無しさん
NGNG0014デフォルトの名無しさん
NGNGhttp://science.2ch.net/computer/
0015デフォルトの名無しさん
NGNGhttp://pc3.2ch.net/jisaku/
0016デフォルトの名無しさん
NGNG君の相手をしたくないだけ。
あと、自作自演も不可。
0017デフォルトの名無しさん
NGNG001816
NGNG0019デフォルトの名無しさん
NGNGその条件だと、国内に二桁居るかどうか、じゃないかな
002017
NGNGむー、そうすると、プログラム板的には、クールなILPシステムor
ILPフレームワークの実装について、とかになるんかな？
そうすると、まずはPrologの処理系の話と変わらなくなるのか...
0021デフォルトの名無しさん
NGNG0022デフォルトの名無しさん
NGNG0023デフォルトの名無しさん
NGNGどうしてこの板にスレたててみてみたのぉー？
0024デフォルトの名無しさん
NGNG0025デフォルトの名無しさん
NGNG002617
NGNGhttp://kyoritsu-pub.topica.ne.jp/shinkan/shin0105_07.html
これ？
0027デフォルトの名無しさん
NGNG0028デフォルトの名無しさん
NGNGクールなILPシステムorILPフレームワークの実装
クールなILPシステムorILPフレームワークの実装
クールなILPシステムorILPフレームワークの実装
クールなILPシステムorILPフレームワークの実装
クールなILPシステムorILPフレームワークの実装
クールなILPシステムorILPフレームワークの実装
クールなILPシステムorILPフレームワークの実装
クールなILPシステムorILPフレームワークの実装
クールなILPシステムorILPフレームワークの実装
クールなILPシステムorILPフレームワークの実装
クールなILPシステムorILPフレームワークの実装
クールなILPシステムorILPフレームワークの実装
クールなILPシステムorILPフレームワークの実装
クールなILPシステムorILPフレームワークの実装
0029デフォルトの名無しさん
NGNGゼミで輪講した。良い枕だった。
0030デフォルトの名無しさん
NGNG0031デフォルトの名無しさん
NGNGだけはわかったよ
0032デフォルトの名無しさん
NGNG>>1は理解してるの？なんでこんなスレ立てたの？
わかんない。わけわかんない。
0033デフォルトの名無しさん
NGNG0034デフォルトの名無しさん
NGNG昨日論理って、ニューラルネットみたく、ルールの自動生成とかできるんだっけ？
＃かなり前に本屋で青本ﾊﾟﾗﾊﾟﾗして書棚に戻しただけだけど:-P
0035デフォルトの名無しさん
NGNG0036デフォルトの名無しさん
NGNG003717
NGNGprologの世界（節論理）で、帰納的推論を行おうというのがILPなので...
34>>
ILPでは、背景知識と学習例から、学習例を説明するようなルール（の集合）を生成すること
を目的にしてるはず。
背景知識＋ルール（の集合）が、学習例を説明するような、prologのプログラムになってる。
0038デフォルトの名無しさん
NGNG責任取れ。
0039デフォルトの名無しさん
NGNG0040デフォルトの名無しさん
NGNG0041197
NGNGprogolは背景知識とかの記述がprologと同じだけで、
内部のロジックはCとかだった気がする。
0042あえてあげ
NGNG何で20年前にそれ出てなかったか謎。
つか、あの世界は論理学の時間の流れでうごいてーる世界なのーか？
＃淵さん今何やてーるの
004317
NGNGProgolの、ルールを生成するロジックは、評価関数を持った探索なんで、論理プログラミングの
きれい（？）な世界とは程遠いかも。
得られた結果のルールの集合が、形式上論理プログラミングのプログラムになってるってことが
言いたかったのでした。
42>>
論理プログラミング研究が華やかだったころは、実際にこの枠組みで帰納学習を
行う検証環境がなかったんじゃない。（あと人工知能実現！とか夢を見すぎてた？）
ILPは枠組みは論理プログラミングだけど、やってることは帰納学習なので、
その世界の人が創始者じゃないかな。(Muggleton? Shapiro?)
でも、推論自体の意味を語る段になると70年代のLPな人たちが沢山参加してきた、
ってことなのでは？（日本はそのせいか、理論的な研究が中心な気がする。）
0044デフォルトの名無しさん
NGNGprolog作った人は
append作るのに５年かかったらしいよ。
それくらい難しいのでは？
0045デフォルトの名無しさん
NGNG0046デフォルトの名無しさん
NGNG0047デフォルトの名無しさん
NGNG0048デフォルトの名無しさん
NGNG0049デフォルトの名無しさん
NGNG0050デフォルトの名無しさん
NGNGprogolだよ。
0051デフォルトの名無しさん
NGNG0052デフォルトの名無しさん
NGNG非公開になった？
0053デフォルトの名無しさん
NGNGえーと、どこだったっけな。
それにしても、ILPに興味ある人って全然いないねｗ
今は結構ビジネスの世界で使われてるんだけど。
コーダーさんが多いのかな。
0054デフォルトの名無しさん
NGNG> 今は結構ビジネスの世界で使われてるんだけど。
たとえばどんな用途でですか? 研究では15年くらい前から主にヨーロッパで人
気があったのは知ってるんですが、アメリカでは rule-based classifier や
SVMとかの方が人気があるような気がします(研究では、ということですが)。
0055デフォルトの名無しさん
NGNG15年前？
ILPは1990年代にできたからなぁ。
progolができたのは1996年じゃなかったっけ？
たしかに、ILPは流行ってないよね。
昔はルールベースアプローチ＝人工知能
だったけど、
今はそれに統計的手法が加わっただけであって、
ルールベースがダメだったってわけじゃないよ。
0056デフォルトの名無しさん
NGNG> ILPは1990年代にできたからなぁ。
もうちょっと早いでしょう。MuggletonとBuntineのCIGOLが1988年。GOLEMや
FOILでさえ1990年ですから。ProgolだけがILPと思ってるんならちょっと…
> 今はそれに統計的手法が加わっただけであって、
> ルールベースがダメだったってわけじゃないよ。
それじゃどうして決定木がSVMにとってかわられたか説明できませんね。
0057デフォルトの名無しさん
NGNG残念ながら、SVMと決定木は計算量も極端に違えば
学習結果から得られる事実も大きく違うよね。
むしろ何を元に置き換えられてるって言っているのかわからない。
普通、多次元（分類に関係ない次元がたくさんある）ならSVM
低次元なら分類木でしょ。
（低次元で分類木で扱えないなら、分類できないし）
>FOILでさえ1990年ですから。ProgolだけがILPと思ってるんならちょっと…
ILP=progolだと思っていないので安心を。
年代まで覚えてる程のマニアじゃないので。
なんかソースある？
0058デフォルトの名無しさん
NGNGILPの本を読んだら、アプリケーションの例が出てたんだけど
あれ以外で面白そうなアプリケーションの例ってないかな？
0059デフォルトの名無しさん
NGNG0060デフォルトの名無しさん
NGNG0061デフォルトの名無しさん
NGNG0062デフォルトの名無しさん
NGNG前提知識が多すぎて２ｃｈじゃ無理
0063デフォルトの名無しさん
NGNG0064デフォルトの名無しさん
NGNG人工知能とか勉強してる人向けなんでしょう。
Progolが主ですけど、
C4.5とかの決定木生成の説明も載ってる。
両方とも使ったことあるけど、
C4.5の方は曖昧でも、とりあえず結果出してくれる感じで、使うのも簡単。
Progolはアフォな私には、使うことさえむずい。
0065IP記録実験
NGNGhttp://qb.2ch.net/test/read.cgi/accuse/1042013605/
1 名前：ひろゆき ◆3SHRUNYAXA ＠どうやら管理人 ★ 投稿日：03/01/08 17:13 ID:???
そんなわけで、qbサーバでIPの記録実験をはじめましたー。
27 名前：心得をよく読みましょう 投稿日：03/01/08 17:20 ID:yL/kYdMc
SETTING.TXT管轄でないということは全鯖導入を視野に、か？
38 名前：ひろゆき ◆3SHRUNYAXA 投稿日：03/01/08 17:22 ID:rLfxQ17l
>>27
鋭いです。
73 名前：ひろゆき ◆3SHRUNYAXA 投稿日：03/01/08 17:27 ID:rLfxQ17l
＞ところで、IPが抜かれて何か今までと変わることってあるのでしょうか？
・今までより、サーバが重くなる。
・裁判所や警察からの照会があった場合にはIPを提出することがある。
0066デフォルトの名無しさん
NGNGﾜﾗﾀ｡｡｡漏れも昨日ヨドバシ逝ったんだよなー。
0067デフォルトの名無しさん
NGNG0068デフォルトの名無しさん
NGNGう〜ん、上手く伝えられてないかな？
世の中の大多数は君のような勇者でなく、ヘタレだと思うんだ
そのヘタレの持っている情報は今まで世の中に出ることはなかった、と
たとえ真実でもね
そのヘタレから情報を引き出し、共有することができたってのが
2ｃｈの功労だったと思うんだよね、おいちゃんは
これ以上はスレ汚しになりそうなので消えます
0069デフォルトの名無しさん
NGNG昔webは常時串だーとか思ってたけどお気に入り紛失して軽い串探すのに苦労してから串刺さなくなった
今考えれば深くないugサイト回るくらいなら(初心者の時潜ってたから、暇な時たまに行く)串なんて全然いらないしね
でも何処の企業は何々だーって軽く書いたつもりで一々訴えてくる企業が出てきたらやだなー
0070デフォルトの名無しさん
NGNG0071デフォルトの名無しさん
NGNG２ちゃんねるのお勧めな話題と
ネットでの面白い出来事を配送したいと思ってます。。。
===============================読者数： 138720人 発行日：2003/1/9
年末年始ボケがそろそろ収まり始めた今日このごろのひろゆきです。
そんなわけで、年末に予告したIP記録ですが実験を開始しています。
「２ちゃんねる20030107」
こんな感じで各掲示板の最下部に日付が入ってるんですが、
20030107以降になってるところはログ記録実験中ですー。
んじゃ！
────────────────────────Age2ch─
■この書き込みは、Age2chを使って配信されています。
────────────────────────────
Keep your thread alive !
http://pc3.2ch.net/test/read.cgi/software/1041952901/l50
────────────────────────────
0072デフォルトの名無しさん
NGNGトップ扱いなんて寒すぎ
0073デフォルトの名無しさん
NGNGいつも暴れてるキチガイが今日おとなしかったことｗ
0074デフォルトの名無しさん
NGNGいやぁ、正月に扁桃腺はれて、３９度の熱が出ちゃいましたよ。。
0075デフォルトの名無しさん
NGNGいやぁ、正月に扁桃腺はれて、３９度の熱が出ちゃいましたよ。。
0076デフォルトの名無しさん
NGNG0077デフォルトの名無しさん
NGNG立地条件は悪くないはずだしな。
検索ワードNO'1だし
0078デフォルトの名無しさん
NGNG0079デフォルトの名無しさん
NGNGこの爆撃は収まるか弱まるだろ。
というわけで、プロクシ規制してくれ。
0080デフォルトの名無しさん
NGNG0081デフォルトの名無しさん
NGNG0082デフォルトの名無しさん
NGNG0083デフォルトの名無しさん
NGNG0084デフォルトの名無しさん
NGNG0085デフォルトの名無しさん
NGNG意図的な嘘っぱちの流布とか 工作員とか。
実社会での言論テロ以外。（それは仕方ないし以前と同じことだし。）戦前とか色々あったし。
「企業の製品」についての、「評価」殺さないで持続する方法 他。
全部考えてある。
つーか、ストックしなくても「社会の理念・必要性」があれば
対策なんて一瞬で浮かぶでしょ。
少し細かく調整・討議してつめるのは又違う時に関係者・官僚・財界なりと公聴会出来るし。
びしびし！
0086デフォルトの名無しさん
NGNG「別に中傷するわけじゃないけど」といれて
こんなことがあったと書く とか？
0087デフォルトの名無しさん
NGNG0088デフォルトの名無しさん
NGNGその国の法律には従う必要あるが、匿名の許容度が日本よりゆるければ
今のシステムのままでももっと匿名度の高いものが出来るのでは？
いくらなんでも北鮮やイスラム圏じゃないから外国へ繋ぐのが違法だとは出来ないと思いますが。
0089デフォルトの名無しさん
NGNG0090デフォルトの名無しさん
NGNG0091デフォルトの名無しさん
NGNG誰もナマのカキコを見てないし
それについての議論もされていないことから
ネタだと思われる
0092デフォルトの名無しさん
NGNG何を考えていらっしゃるのやら。
0093デフォルトの名無しさん
NGNG0094デフォルトの名無しさん
NGNGそんな時代はありませんでしたが、何か？
0095デフォルトの名無しさん
NGNG0096デフォルトの名無しさん
NGNG0097デフォルトの名無しさん
NGNGアルゴリズム開発がまだまだだしなー。と同じスパンの話なら禿同でつが。
2は・・・・・・東でも南でも北でもない某を思い出すのでﾏｼﾞﾚｽできません（ｗ
割りきってはいるんだけどね。なんか「やって」ほしいのに、最近受け身なんだものな。
0098デフォルトの名無しさん
NGNG0099デフォルトの名無しさん
NGNG5秒ほど待てって…
そんなことしてたらテンプレに割り込みがｲﾊﾟｰｲ入っちゃう(´Д⊂ｸﾞｽﾝ
0100山崎渉
NGNG0101デフォルトの名無しさん
NGNG0102山崎渉
NGNG0103山崎渉
NGNG0104デフォルトの名無しさん
NGNG0105山崎渉
NGNG0106山崎渉
NGNGﾋﾟｭ.ｰ ( ＾＾ ） ＜これからも僕を応援して下さいね（＾＾）。
＝〔~∪￣￣〕
＝ ◎――◎ 山崎渉
0107デフォルトの名無しさん
NGNG0108デフォルトの名無しさん
NGNG0109山崎 渉
NGNG0110山崎 渉
NGNG│ ＾ ＾ │＜これからも僕を応援して下さいね（＾＾）。
⊂| |つ
（＿）（＿） 山崎パン
■ このスレッドは過去ログ倉庫に格納されています