Без заголовка
http://en.wikipedia.org/wiki/Eurisko
Вот мне интересно как вы его видите.
\\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.[1][2] 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 (and, as of 2008, continuing) development of Cyc. Lenat envisions ultimately coupling the Cyc knowledgebase with the Eurisko discovery engine.
Программа продемонстрировала,
что просто тупым эволюционно похожим перебором (когда побеждает успешная эвристика)
программа показала очень интересный, если не сказать больше, результат.
А все попытки "угадать заранее" и выписать domain knowledge -- провалились...