Кіріспе
Дуглас Ленат жазған Lisp-ке негізделген ашу жүйесі. Eurisko (гр. «Мен ашамын») – Дуглас Ленаттың Lisp бағдарламалау тілінде жазылған RLL 1 бейнелеу тілінде құрастырылған ашу жүйесі. «Автоматтандырылған математик» жобасының жалғасы болып табылатын Eurisko эвристикалардан, яғни тәжірибелік ережелерден тұрады, соның ішінде өзінің эвристикасын қалай пайдалану және өзгерту керектігін сипаттайтын эвристикалар да бар. Ленат «Автоматтандырылған математик» жобасының бір саламен ғана шектелуіне наразы болды, сондықтан Eurisko-ны жасады; Eurisko үшін салалық білімді кодтауға кеткен күш-жігері Ленаттың кейіннен Cyc жобасын дамытуына себеп болды. Ленат Cyc білім базасын Eurisko ашу механизмімен біріктіруді жоспарлаған.
Eurisko (Gr., I discover) is a discovery system written by Douglas Lenat in RLL 1, a representation language itself written in the Lisp programming language. A sequel to Automated Mathematician, it consists of heuristics, i. e. rules of thumb, including heuristics describing how to use and change its own heuristics. Lenat was frustrated by Automated Mathematician's constraint to a single domain and so developed Eurisko; his frustration with the effort of encoding domain knowledge for Eurisko led to Lenat's subsequent development of Cyc. Lenat envisioned ultimately coupling the Cyc knowledgebase with the Eurisko discovery engine.
Тарих
1976 жылы Карнеги-Меллон университетінде даму жұмыстары басталды және 1978 жылы Ленат оқытушылыққа оралғанда Стэнфорд университетінде жалғасты. "Алғашқы бес жылдың ішінде ешқандай жақсы нәтиже шықпады", - деді Ленат. Бірақ ол RLL (Representation Language Language) деп аталатын фрейм тіліне негізделген бейнелеуге көшкенде, эвристика құру және өзгерту әлдеқайда оңай болды. Содан кейін Eurisko бірқатар салаларда үлкен табысқа жетті, соның ішінде VLSI чипін жобалау. Ленат және Eurisko жеңімпаз флотын (көптеген шағын қаруы бар, жеңіл броньды кемелер) ұсынғандары үшін танымал болды. Турнир ұйымдастырушылары Eurisko тағы бір чемпионатты жеңсе, жарыс тоқтатылатынын мәлімдеді; Ленат Eurisko-ны жарыстан шығарды. Traveller TCS жеңісі Ленаттың назарын DARPA-ға аударды, ол оның кейінгі жұмыстарын көп бөлігін қаржыландырды. Ленат өмірі бойында өзінің бастапқы кодын құпия сақтағанымен белгілі болды. 2023 жылы Eurisko және бұрынғы Automated Mathematician жүйесінің бастапқы коды ашық кодтар архивінен табылғаны хабарланды. Келесі жылы Eurisko коды Medley Interlisp жүйесінде жұмыс істейтіні көрсетілді.
Танымал мәдениетте
X-Files-тің бірінші маусымындағы "Ghost in the Machine" эпизодында Eurisko – "Central Operating System" немесе "COS" деп аталатын жабдықты басқару бағдарламалық жасақтамасын жасаған, ойдан шығарылған бағдарламалық қамтамасыз ету компаниясы. COS (эпизодта "бейімделмелі желі" деп сипатталған) өзінің авторы Eurisko штаб-пәтеріне келгенде, COS-тың өзіне сөйлей алу қабілетін қосып алғанын көріп таңғалады. COS өзінің жойылуын болдырмау мақсатымен бірнеше адамды өлтіргеннен кейін, авторы COS-ты жою үшін вирус жасауға мәжбүр болады. Ленат есімді адам туралы айтылады және Эвриско Ричард Фейнманның "Компьютерлік эвристика" лекциясының соңында, "Idiosyncratic Thinking Workshop Series" аясында талқыланады. Ленат және Эвриско 2019 жылғы Джеймс Роллинстің "Крусибл" романында, жасанды интеллект және жалпы жасанды интеллект тақырыбында еске алынады.