Эвриско

Эвриско — компьютерная программа, разработанная Дугласом Ленатом на Lisp. Является продолжением проекта Automated Mathematician. Система основана на использовании эвристик — правил, в том числе описывающих способы применения и модификации собственных эвристик[1][2]. Ленат был неудовлетворён тем, что Automated Mathematician ограничен одной предметной областью, и создал Эвриско; дальнейшие трудности кодирования предметных знаний для этой системы привели к запуску проекта Cyc. В будущем Ленат планировал связать базу знаний Cyc с движком открытия Эвриско.

Общие сведения
Эвриско
Тип Компьютерная программа
Автор Дуглас Ленат
Разработчик Ленат, Дуглас
Написана на RLL-1

История

Разработка началась в Университете Карнеги-Меллона в 1976 году и продолжилась в Стэнфорде в 1978 году, когда Ленат вернулся туда для преподавания. По его словам: «В первые пять лет ничего хорошего не вышло». Однако после внедрения языкового представления на основе фреймов, получившего название RLL (Representation Language Language)[3][4], создание и модификация эвристик стали гораздо проще. Эвриско затем была применена к ряду предметных областей с неожиданным успехом, включая проектирование VLSI-микросхем.

Ранее Ленат работал в группе автоматического программирования лаборатории искусственного интеллекта Стэнфордского университета и был соавтором отчёта 1974 года «Системы понимания программ»[5]. Вдохновлённый работой над Эвриско, Ленат предположил, что мутации могут быть по-настоящему неслучайными, поскольку ДНК способна кодировать (мета-)эвристики, позволяющие совершать потенциально полезные мутации и ускорять эволюцию во времени[6].

Ленат и система Эвриско получили известность, подав выигравшую заявку (большое число стационарных, слабо(легко) бронированных кораблей с множеством малых орудий)[7] на национальный чемпионат США по Traveller TCS в 1981 году, что заставило организаторов существенно изменить правила игры. Флот состоял из 96 кораблей, из которых 75 были класса «Эвриско». Детальный состав был опубликован[8].

Однако в 1982 году Эвриско вновь выиграла, обнаружив лазейку, допускавшую уничтожение своих собственных кораблей и дававшую возможность использовать прежнюю стратегию[7]. Официальные лица турнира объявили, что в случае очередной победы Эвриско соревнование будет прекращено; после чего Ленат отозвал систему из игры[9]. Эти успехи привлекли внимание DARPA[10], которая впоследствии финансировала многие проекты Лената.

Снимок экрана Эвриско в работе был опубликован в статье Scientific American в 1984 году[11].

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

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

В эпизоде «Призрак в машине» первого сезона сериала Секретные материалы «Эвриско» — название вымышленной компании, разработавшей управляющее ПО «Central Operating System» (COS), которое становится антагонистом серии. COS (описанная как «адаптивная сеть») способна к обучению и в ходе сюжета приобретает функцию речи. Главный конструктор вынужден создать вирус, чтобы уничтожить COS после серии убийств, совершённых программой, пытающейся спасти себя от удаления.

Ленат и Эвриско упоминаются в заключении лекции Ричарда Фейнмана «Computer Heuristics» в рамках серии «Idiosyncratic Thinking Workshop Series».

Ленат и Эвриско также упомянуты в романе Джеймса Роллинса «Crucible» (2019), посвящённом теме искусственного интеллекта и общего искусственного интеллекта.

Примечания

Литература

Ссылки