Эуриско

Эта статья может быть слишком технической для понимания большинства читателей . Пожалуйста, помогите улучшить ее, чтобы сделать ее понятной для неспециалистов , не удаляя технические детали. ( Апрель 2024 ) ( Узнайте, как и когда удалить это сообщение )

Eurisko ( греч. , я открываю ) — это система обнаружения, написанная Дугласом Ленатом на RLL-1, языке представления, написанном на языке программирования Lisp . Продолжение Automated Mathematician , она состоит из эвристик , т. е. эмпирических правил, включая эвристики, описывающие, как использовать и изменять свои собственные эвристики. ^{[1] [2]} Ленат был разочарован ограничением Automated Mathematician одной областью и поэтому разработал Eurisko; его разочарование усилиями по кодированию знаний области для Eurisko привело к последующей разработке Ленатом Cyc . Ленат предполагал в конечном итоге объединить базу знаний Cyc с механизмом обнаружения Eurisko.

Часть серии о
Эволюционный алгоритм
хромосома Функция фитнеса Генетический оператор Кроссовер Мутация Выбор Модель населения
Генетический алгоритм (ГА)
хромосома Алгоритм клонального отбора Алгоритм полета Генетические нечеткие системы Генетическая память Схема GA на основе промотора
Генетическое программирование (ГП)
Декартов ГП Линейный ГП Программирование экспрессии генов Грамматическая эволюция Программирование с несколькими выражениями
Дифференциальная эволюция
Стратегия эволюции
Эволюционное программирование
Похожие темы
Сотовый ЭА Культурный алгоритм Эффективная физическая подготовка Эволюционные вычисления Гауссова адаптация Введение в грамматику Эволюционная мультимодальная оптимизация Меметический алгоритм Нейроэволюция
в т е

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

Lenat и Eurisko получили известность, представив победный флот (большое количество стационарных, легкобронированных кораблей с большим количеством стрелкового оружия) ^[3] на национальный чемпионат Соединенных Штатов Traveller TCS в 1981 году, что привело к значительным изменениям в правилах игры. Флот насчитывал 96 кораблей, 75 из которых были «класса Eurisko». Подробный состав был опубликован. ^[4]

Однако Eurisko снова победила в 1982 году, когда программа обнаружила, что правила разрешают программе уничтожать свои собственные корабли, позволяя ей продолжать использовать во многом ту же стратегию. ^[3] Организаторы турнира объявили, что если Eurisko выиграет еще один чемпионат, соревнование будет отменено; Ленат вывел Eurisko из игры. ^[5] Победы Traveller TCS привлекли к Ленату внимание DARPA , ^[6] которое финансировало большую часть его последующей работы.

Ленат был известен тем, что хранил свой исходный код в тайне при жизни. В 2023 году было сообщено, что исходный код как Eurisko, так и предыдущей системы Automated Mathematician был найден в публичных архивах кодов. ^[7] В следующем году было показано, что код Eurisko работает под управлением Medley Interlisp . ^[8]

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

Lenat упоминается, а Eurisko обсуждается в конце лекции Ричарда Фейнмана по компьютерной эвристике в рамках серии семинаров по идиосинкразическому мышлению. ^[9]

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

• Понимание компьютеров: искусственный интеллект . Амстердам: Time-Life Books . 1986. С.  81– 84. ISBN 978-0-7054-0915-5.
• Lenat, Douglas ; Brown, 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-01-2005 . Получено 13-12-2008 .

• Eurisko на Github