Эвриско
Эвриско — компьютерная программа, разработанная Дугласом Ленатом на 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), посвящённом теме искусственного интеллекта и общего искусственного интеллекта.
Примечания
Литература
- Understanding Computers: Artificial Intelligence : [англ.]. — Амстердам : Time-Life Books, 1986. — P. 81–84. — ISBN 978-0-7054-0915-5.
- Lenat, Douglas; Brown, J.S. (1984). “Why AM and EURISKO appear to work” (PDF). Artificial Intelligence [англ.]. 23 (3): 269—294. CiteSeerX 10.1.1.565.8830. DOI:10.1016/0004-3702(84)90016-X.
- Haase, Kenneth W Invention and exploration in discovery (англ.) (PDF). Massachusetts Institute of Technology (февраль 1990). Дата обращения: 13 декабря 2008. Архивировано 22 января 2005 года.