Eurisko是Douglas Lenat在RLL-1中編寫的一個程式，RLL-1是一種使用Lisp程式語言編寫的代表性語言。 自動數學家的續集，它包括啟發式，即經驗法則，包括描述如何使用和改變自己的啟發式的啟發式方法。 Lenat對自動數學家對單一領域的約束以及Eurisko的發展感到沮喪; 他對Eurisko編碼領域知識的努力感到沮喪，導致Lenat隨後（並且在2014年繼續）開發Cyc。 Lenat構想最終將Cyc知識庫與Eurisko發現引擎相結合。
基本介紹
- 中文名：Eurisko語言
- 外文名：Eurisko language
歷史,介紹,
歷史
1976年開始在卡內基梅隆大學開展研究，1978年在Lenat重返教學時繼續在史丹福大學學習。 Lenat說：“頭五年，沒有什麼比這更好的了。”但是當實現改為基於框架語言的表示（他稱為RLL（表示語言語言））時，啟發式創建和修改就變得更加簡單了。然後，Eurisko被套用於許多領域，取得了驚人的成功，包括VLSI晶片設計。
Lenat和Eurisko通過在1981年向美國旅行者TCS全國冠軍提交獲勝的艦隊（大量固定的輕型裝甲船和許多小型武器）而獲得了惡名，這迫使遊戲規則發生了大規模的變化。然而，Eurisko在1982年再次獲勝，當時該計畫發現該規則允許該計畫銷毀自己的船隻，允許其繼續使用相同的策略。比賽官員宣布，如果Eurisko贏得另一個冠軍，那么比賽將被廢除; Lenat從比賽中退出了Eurisko。旅行者TCS的勝利使Lenat得到了DARPA的關注，後者為他後來的大部分工作提供了資金。
介紹
在第一季X檔案集“機器中的幽靈”中，Eurisko是一個虛構的軟體公司的名稱，負責該劇的“怪獸一周”，設施管理軟體被稱為“中央作業系統”，或“COS”。 COS（在劇集中描述為“自適應網路”）被證明能夠在其設計師到達Eurisko總部時學習，並且驚訝地發現COS已經給自己發言權。 在COS進行了一系列謀殺之後，設計師被迫創造了一種摧毀COS的病毒，以防止其自身的破壞。還提到了Lenat，並且在Richard Feynman的計算機啟發式講座結束時討論了Eurisko，作為特殊思維研討會系列的一部分。
