Без заголовка

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