Как спроектировать Eurisko - PullRequest
3 голосов
/ 26 марта 2010

Программа Eurisko была разработана Дугласом Ленатом в конце 70-х и 80-х годов. Он якобы отлично разбирается в общих закономерностях и эвристике, а также в улучшении собственной работы. Естественно, Lenat никогда не выпускал исходный код и опубликовал очень мало информации о точных внутренних действиях программы. Итак, вместо официального объяснения, как может быть разработана такая программа, как Eurisko? Какие технологии с открытым исходным кодом, доступные сегодня, могут сделать реализацию более практичной?

Ответы [ 2 ]

3 голосов
/ 26 марта 2010

На самом деле, Ленат опубликовал изрядную сумму на Eurisko (мне это было очень интересно 20 лет назад). IIRC правильно, он опубликовал ряд статей в литературе по ИИ (вот ключевой: «Почему Еуриско, кажется, работает» http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.89.1269&rep=rep1&type=pdf

Евриско основан на своей докторской диссертации на тему AM («Математик») и которую вы можете получить через Стэнфорд.

Я бы сначала посмотрел на них: -}

Я не знаю об «открытом исходном коде», но я бы определенно подумал об использовании LISP (Lenat сделал) или Prolog (потому что он имеет хорошую поддержку символьных манипуляций), а Eurisko о символических вычислениях.

1 голос
/ 18 февраля 2018

Все это из прошлого чтения, с возможными неточностями из-за Сомжеимера. Насколько я помню, Eurisko вырос из постдока с Гербертом Саймоном, в котором было принято решение изолировать возможности вывода AM от возможностей лежащего в основе Lisp.

Таким образом, в статье https://pdfs.semanticscholar.org/4cc4/a5e1591a5a4e81f6ad52e05833b3e750f56e.pdf описан RLL, возможно, ранний DSL для написания программ обнаружения, послуживший платформой для написания Eurisko. Кажется, я помню, что читал, что Ленат сделал части кода Eurisko видимыми для Кена Хааса

http://www.kenhaase.com/aboutkh.html

кто работал над рациональной реконструкцией Евриско. Я считаю, что можно реконструировать Eurisko, если внимательно следить за всеми документами об этом, хотя, возможно, есть более новые идеи, которые могут привести к улучшениям.

В целом, я полагаю, что ключевые идеи - это те, которые касаются сложных адаптивных систем: обратная связь, затухание и процесс. Eurisko, как и AM, использовал механизм повестки дня для организации поведения агентов и использовал обратную связь для корректировки приоритетов пунктов повестки дня и распада (Eurisko).

У Еуриско было 4 повестки дня, каждая из которых играла в разных пространствах, но, что самое важное, разделяла одну базу знаний. Таким образом, обратная связь, полученная из одного места, может натолкнуть пункт повестки дня в другом месте выше порога «скуки», вернув эту повестку дня к жизни.

Под этим был цикл, впервые увиденный в AM: Найди что-нибудь сделать Сделай это Изучите то, что вы только что сделали Loop

Мне эти ключевые моменты кажутся глубокими и дают представление о выходе за пределы Евриско.

...