Эуриско - Eurisko

Eurisko ( греч. , Я открываю ) - это система открытий, написанная Дугласом Ленатом на RLL-1 , языке представлений, написанном на языке программирования Lisp . Являясь продолжением Automated Mathematician , он состоит из эвристик , то есть эмпирических правил, включая эвристики, описывающие, как использовать и изменять собственные эвристики. Ленат был разочарован ограничением Automated Mathematician одним доменом и поэтому разработал Eurisko; его разочарование усилиями по кодированию знаний предметной области для Eurisko привело к последующему (и, по состоянию на 2020 год, продолжающемуся) развитию Cyc . Ленат предполагает, что в конечном итоге база знаний Cyc будет соединена с механизмом открытий Eurisko.

История

Развитие началось в Карнеги-Меллон в 1976 году и продолжилось в Стэнфордском университете в 1978 году, когда Ленат вернулся преподавать. «Первые пять лет ничего хорошего из этого не вышло», - сказал Ленат. Но когда реализация была изменена на представление на основе языка фреймов, которое он назвал RLL ( язык представления ), создание и модификация эвристики стали намного проще. Затем Eurisko с удивительным успехом применялся в ряде областей , включая разработку микросхем СБИС .

Ленат и Эуриско получили известность, представив флот-победитель (большое количество стационарных легкобронированных кораблей с большим количеством стрелкового оружия) на национальный чемпионат Соединенных Штатов по Traveler TCS в 1981 году, что вызвало значительные изменения в правилах игры. Однако Eurisko снова выиграл в 1982 году, когда программа обнаружила, что правила разрешают программе уничтожать свои собственные корабли, что позволяет ей продолжать использовать почти ту же стратегию. Официальные лица турнира объявили, что если Eurisko выиграет еще один чемпионат, соревнование будет отменено; Ленат выбил Эуриско из игры. Победы Traveler TCS привлекли к Ленату внимание DARPA , которое профинансировало большую часть его последующей работы.

В популярной культуре

В первом сезоне сериала « Секретные материалы » « Призрак в машине » Эуриско - это название вымышленной компании-разработчика программного обеспечения, ответственной за « чудовище недели » в этом эпизоде, программное обеспечение для управления объектами, известное как «Центральная операционная система» или «Центральная операционная система». COS ". COS (описанная в эпизоде ​​как «адаптивная сеть») демонстрирует способность к обучению, когда ее разработчик прибывает в штаб-квартиру Eurisko и с удивлением обнаруживает, что COS дала себе возможность говорить. Разработчик вынужден создать вирус для уничтожения COS после того, как COS совершит серию убийств, явно пытаясь предотвратить собственное уничтожение.

Упоминается Ленат и обсуждается Эуриско в конце лекции Ричарда Фейнмана по компьютерной эвристике в рамках серии семинаров по идиосинкразическому мышлению.

Ленат и Эуриско упоминаются в романе Джеймса Роллинза Crucible 2019 года, который касается искусственного интеллекта и общего искусственного интеллекта .

Заметки

Рекомендации

• Понимание компьютеров: искусственный интеллект . Амстердам: Книги времени жизни . 1986. С. 81–84. ISBN 978-0-7054-0915-5.
• Ленат, Дуглас ; Браун, JS (1984). «Почему AM и EURISKO работают» (PDF) . Искусственный интеллект . 23 (3): 269–294. CiteSeerX  10.1.1.565.8830 . DOI : 10.1016 / 0004-3702 (84) 90016-X .
• Хаас, Кеннет В. (февраль 1990 г.). «Изобретения и исследования в открытиях» . Массачусетский технологический институт . Архивировано из оригинального (PDF) 22 января 2005 года . Проверено 13 декабря 2008 .