Eurisko とは

Eurisko(Gr。、私が発見)は、Douglas LenatがRLL-1で書いたプログラムであり、Lispプログラミング言語で書かれた表現言語そのものです。自動化された数学者の続編であり、それはヒューリスティック、すなわち、経験則を持ち、それ自身のヒューリスティックをどのように使用し、変更するかを記述するヒューリスティックスを含む。 Lenatは、自動化された数学者の単一の領域に対する制約とそのように開発されたEuriskoによって挫折しました。 Euriskoのドメイン知識をコード化する努力に対する彼の欲求不満は、LenatのCycのその後の(そして、2014年の、継続した)開発につながった。 Lenatは最終的にCycナレッジベースをEuriskoディスカバリーエンジンと結合することを構想しています。