Искусственный интеллект

Таким образом, была достигнута (выведена) цель (4.33). 4.1.3. Трудности процедуры поиска решения в среде чудовища Процедура поиска решения сравнительно простой задачи в среде чудовища потребовала 66 шагов. На каждом шаге применялось чаше всего какое-либо одно правило вывода. (Некоторые шаги, например, шаг 48 вывода формулы (4.100), были несколько укрупнены). Что можно заметить, анализируя эту процедуру? Несмотря на простоту задачи, число шагов кажется несоразмерно большим (66 шагов). Также кажется слишком большим количество новых истинных литералов, которые были выведены в процессе поиска решения (130 литералов).