Эвристическая система Eurisko: от математики к искусственному интеллекту.
Eurisko
Эвристическая система Eurisko на Lisp от Дугласа Лената. Автоматическое открытие знаний, самомодификация правил, предшественник Cyc. История и принципы.
Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Система обнаружений, основанная на Lisp, разработанная Дугласом Ленатом.
Lisp based discovery system written by Douglas Lenat
Eurisko (др.-греч. «Я открываю») — это система обнаружений, разработанная Дугласом Ленатом на RLL 1, языке представления, который сам написан на языке программирования Lisp. Являясь продолжением программы «Автоматизированный математик», она состоит из эвристик, то есть практических правил, включая эвристики, описывающие, как использовать и изменять собственные эвристики. Ленат был разочарован ограниченностью «Автоматизированного математика» одним предметным доменом и поэтому разработал Eurisko; его разочарование сложностью кодирования предметных знаний для Eurisko привело к последующей разработке Ленатом Cyc. Ленат планировал в конечном итоге объединить базу знаний Cyc с механизмом обнаружений Eurisko.
Eurisko (Gr., I discover) is a discovery system written by Douglas Lenat in RLL 1, a representation language itself written in the Lisp programming language. A sequel to Automated Mathematician, it consists of heuristics, i. e. rules of thumb, including heuristics describing how to use and change its own heuristics. Lenat was frustrated by Automated Mathematician's constraint to a single domain and so developed Eurisko; his frustration with the effort of encoding domain knowledge for Eurisko led to Lenat's subsequent development of Cyc. Lenat envisioned ultimately coupling the Cyc knowledgebase with the Eurisko discovery engine.
История
Разработка началась в Карнеги-Меллоне в 1976 году и продолжилась в Стэнфордском университете в 1978 году, когда Ленат вернулся к преподаванию. "Первые пять лет ничего путного не выходило", – сказал Ленат. Но когда реализация была переведена на представление, основанное на языке фреймов, который он назвал RLL (Representation Language Language), создание и модификация эвристик значительно упростились. Затем Eurisko был применен в ряде областей с неожиданным успехом, включая проектирование микросхем VLSI. Ленат и Eurisko получили известность, представив победный флот (большое количество стационарных, слабобронированных кораблей с множеством небольшого оружия). Организаторы турнира объявили, что если Eurisko выиграет еще один чемпионат, то соревнования будут отменены; Ленат снял Eurisko с участия в игре. Победы в Traveller TCS привлекли внимание DARPA, которая впоследствии финансировала значительную часть его работы. Ленат был известен тем, что хранил свой исходный код в секрете при жизни. В 2023 году стало известно, что исходный код как Eurisko, так и предыдущей системы Automated Mathematician был обнаружен в общедоступных архивах кода. В следующем году был продемонстрирован код Eurisko, работающий в среде Medley Interlisp.
Development commenced at Carnegie Mellon in 1976 and continued at Stanford University in 1978 when Lenat returned to teach. "For the first five years, nothing good came out of it", Lenat said. But when the implementation was changed to a frame language based representation he called RLL (Representation Language Language), heuristic creation and modification became much simpler. Eurisko was then applied to a number of domains with surprising success, including VLSI chip design. Lenat and Eurisko gained notoriety by submitting the winning fleet (a large number of stationary, lightly armored ships with many small weapons) Tournament officials announced that if Eurisko won another championship the competition would be abolished; Lenat retired Eurisko from the game. The Traveller TCS wins brought Lenat to the attention of DARPA, which has funded much of his subsequent work. Lenat was known for keeping his source code confidential during his lifetime. In 2023, it was reported that source code for both Eurisko and the previous Automated Mathematician system had been found in public code archives. The following year, Eurisko code was shown running under Medley Interlisp.
В популярной культуре
В первом сезоне сериала "Секретные материалы" в эпизоде "Призрак в машине" Eurisko – это название вымышленной компании, ответственной за "монстра недели" в этом эпизоде, программное обеспечение для управления инфраструктурой, известное как "Центральная операционная система" или "COS". COS (описанный в эпизоде как "адаптивная сеть") демонстрирует способность к обучению, когда его создатель прибывает в штаб-квартиру Eurisko и с удивлением обнаруживает, что COS наделил себя способностью говорить. Создатель вынужден разработать вирус для уничтожения COS после того, как COS совершает серию убийств, по-видимому, в попытке предотвратить собственное уничтожение. Ленат упоминается, а Eurisko обсуждается в конце лекции Ричарда Фейнмана по компьютерной эвристике в рамках серии семинаров "Идиосинкратическое мышление". Ленат и Eurisko упоминаются в романе Джеймса Роллинса "Крестовик" 2019 года, посвященном искусственному интеллекту и общему искусственному интеллекту.
In the first season The X Files episode "Ghost in the Machine", Eurisko is the name of a fictional software company responsible for the episode's "monster of the week", facilities management software known as "Central Operating System", or "COS". COS (described in the episode as an "adaptive network") is shown to be capable of learning when its designer arrives at Eurisko headquarters and is surprised to find that COS has given itself the ability to speak. The designer is forced to create a virus to destroy COS after COS commits a series of murders in an apparent effort to prevent its own destruction. Lenat is mentioned and Eurisko is discussed at the end of Richard Feynman's Computer Heuristics Lecture as part of the Idiosyncratic Thinking Workshop Series. Lenat and Eurisko are mentioned in the 2019 James Rollins novel Crucible that deals with artificial intelligence and artificial general intelligence.