5.12.5. Заключение
Итак, несмотря на то что программа GPS работает довольно медленно и порождает иногда большое число промежуточных целей, с ее помощью (используя идею выявления различий между исходным и конечным объектами и возможные способы уменьшения этих различий) можно решать многие нетривиальные задачи. Улучшив программу GPS за счет использования таблиц зависимостей и задания точного порядка различий, исследователи вернулись к этим идеям, сумев применить их в двух областях: в области формального интегрирования
(программа Saint Дж. Слэйгла, 1963) и в логике (Дж. Кинлэн, 1969).
Следует, однако, отметить, что множество задач, решаемых GPS, не очень представительно: все они более или менее однотипны и ни одна из них не является по-настоящему сложной. Если GPS решает задачу, то это обусловлено тем, что заранее известно, что она умеет обрабатывать данный тип задач, а также что в любом случае она может существенно сократить поисковое пространство.
Кроме того, оказывается, что метод различий может применяться только в том случае, если при решении не используется целостное «видение» задачи, т. е. этот метод «близорук»: он исходит из предположения, что к решению ведет некий непрерывный путь, что никогда не придется идти в обход и что задачу можо разбить на последовательность элементарных этапов, приблизительно равных по значимости. Безусловно, существует большой класс задач (в него, кстати, входят логические головоломки и формальные задачи), для которых эти условия не удовлетворяются. В гл. 6—8 мы рассмотрим многие из таких задач.
И наконец, следует отметить, что записать условие задачи в необходимом для GPS виде не так просто. Действительно, подобная запись условия “предугадывает” решение: в каждом случае мы должны задать системе множество подходящих различий, таблицу зависимостей, а также дополнительную информацию. Кроме того, для описания некоторых ситуаций с помощью операторов мы должны быть достаточно “изобретательными” (например, в задачах о семи мостах через Преголю и о продолжении последовательностей букв). Однако вот уже более 25 лет замысел этой программы не перестает восхищать.
