Эвриско
-
Обзор системы обнаружения Eurisko
- Eurisko — это система обнаружения, разработанная Дугласом Ленатом на языке программирования Lisp.
- Она представляет собой автоматизированную математику с эвристиками для использования и модификации собственных эвристик.
- Ленат разочаровался в ограниченности автоматизированной математики и разработал Cyc, который должен был объединить с Eurisko.
-
История разработки и применения
- Разработка Eurisko началась в 1976 году в Карнеги-Меллоне и продолжилась в Стэнфорде в 1978 году.
- Первые пять лет работы не принесли результатов, но после перехода на фреймовый язык RLL эвристическое создание и модификация упростились.
- Eurisko успешно использовалась в разработке микросхем СБИС и в тревеллинге TCS, где она выиграла несколько чемпионатов.
- В 1982 году программа обнаружила возможность уничтожать свои собственные корабли, что привело к ее исключению из соревнований.
- DARPA финансировала большую часть последующих работ Лената.
-
Культурное влияние и наследие
- В сериале «Секретные материалы» Eurisko упоминается как разработчик программного обеспечения, ответственного за создание «монстра недели» COS.
- В романе Джеймса Роллинза «Горнило» 2019 года также упоминается Eurisko и искусственный интеллект.
-
Доступность исходного кода
- В 2023 году исходный код Eurisko и автоматизированной математической системы был найден в открытых архивах.
- В следующем году был продемонстрирован работающий код Eurisko под управлением Medley Interlisp.
-
Рекомендации и внешние ссылки
- Ссылки на рекомендации и внешние ссылки доступны в статье.