日々の流転

λ. 知識発見法

Rudolf Carnap の Confirmation ?

今期はProgolではなくAleph (A Learning Engine for Proposing Hypotheses)というシステムを使うそうだ。

聞くところによるとAlephはProgolよりも速いらしい。Cで書かれたProgolよりもPrologで書かれたAlephの方が速いと言うのは何かムカつく(苦笑　Windows版のYap-5.1.1で実行したら「YAP OOOPS: likely bug in YAP, segmentation violation.」で落ちる。Linux版のYapだと問題なく実行出来た。SWI-Prolog は5.2.6 だとエラーで、5.6.12 だと問題なく実行できた。

簡単なサンプルを実行してみたがなかなか面白い。調子に乗ってリストのinterleaveを学習させようとしたが、正負の事例の与え方がまずいのか、パラメータの指定がまずいのか、すごく時間がかかり結果が出てこない。後で、色々試してみよう。

λ. 古川研:Abduction勉強会

An Abductive Event Calculus Planner の 3.1 An Abductive Meta-Interpreter for the Event Calculus 。

メタインタプリタを部分評価する際に効率的な評価順に。結果としては幅優先の評価順のようになっている。

Close World Assumption と Clark's Completion。ここでは述語に関する情報が前もって完全に分かっているわけではないので、これらの条件は成り立っていない。そのため、否定を単純なnegation-as-failureで解釈してしまってはまずい。そこで、失敗を確認したゴールを記録しておき、residueが変更されるごとにそれらが(依然として)失敗することを再チェックする。面白い。

λ. 今日の写真