Обсуждение

Про эту Эвриску рассказывали замечательную байку (возможно, легенду): на начальном этапе самообучения она выяснила, что заранее введённые людьми правила работают лучше, чем придуманные ей самой (ну не умела ещё она придумывать хорошие правила). И она приняла решение для экономии перебора удалить из базы все правила, которые придумала она сама. К счастью, первым под косилку попало это самое правило.

... Был апрель, и в Париже, по берегам Сены, цвели каштаны ...

Очень похоже на правду. Я читал лет двадцать назад оригинальные статьи про Эвриску, и они на меня произвели неизгладимое впечатление. Это было очень, очень круто -- и я жду с тех пор, что Ленат накопит достаточно "здравого смысла" в своем CYC и начнет, наконец, развивать подходы Эвриски с использованием накопленной базы.

Рылся в истории развития planner-а, и наткнулся на проект созданной на его основе SOAR - системы моделирования процессов понимания. http://sourceforge.net/projects/soar . А потом на ее базе сделали еще более продвинутый HERBAL: http://acs.ist.psu.edu/projects/herbal/ С его помощью пытались научить SOAR познать саму себя :) Функциональное программирование лично мне нравится, потому что, подозрение, где-то оно добавляет если не мета-уровень, то его "половинку" как минимум. За счет рекурсии что-ли, не пойму... Ленат - это же который Cyc? Eurisko искал, но так и не нашел :) Но она сложновата, судя по всему, для изучения. Моя цель скромнее :) - попробовать (именно попробовать, потому как процесс нетривиален) написать мета-мета-программу (лисп - лисп - лого - кл.автоматы) и посмотреть, что станет в итоге с мозгами, а также попутно отрефлексировать процесс.

Я же, вроде, написал ссылку на статью Непейводы, где он прямо говорит про LISP (функциональное программирование) как мета по отношению к структурному (процедурному) программированию. Структурная программа -- это функция, а функциональная программа -- это вычисление над функциями. Да, Ленат -- это который CYC. Eurisko как собственно софт найти нельзя, ибо это где-то 1981-1983г.г.. По итогам Eurisko Дуглас в 1984 году занялся CYC. Зато CYC доступен в разных видах :)

zdrastvuite ya ne programist vashe mnenie razdelau nachot napisaniya i suchestvavaniya takix programm s ii . pramoi primer etava evrisko. no preakticheski eta vazmozhna. no po moemu apasna tozhe. k chemu mozhet privesti pragramma s ii ???