Общий решатель проблем

Наша попытка объяснить процесс решения задач принимает форму программы вычислительной машины, которую мы называ­ем Общий решатель проблем (ОРП)

Проблема, приведенная выше, внутренне представляется в форме выражений, которые означают «преобразовать 1 в 2». Мы называем символические структуры, соответствующие логиче­ским выражениям, объектами; структуры, соответствующие проб­лемным задачам и аналогичным положениям, — целями. Про­грамма достигает целей путем применения к объектам операто­ров, превращая таким образом эти цели в новые объекты.

Программа включает действия по применению операторов к объектам. Она включает также процессы сравнения пар объектов; эти процессы создают (внутренне) символы, которые обоз­начают отличия между сравниваемыми объектами:

Действия ОРП группируются вокруг трех типов целей, и небольшого числа методов достижения целей этих типов.

1. Преобразование целей. Эти процессы имеют форму, которая уже была проиллюстрирована: преобразовать объект a в объ­ект b.

Метод 1. Сравнить a b c, для того чтобы найти различие d между ними; если нет различий, проблема решена. Создать цель: уменьшение различия d между a и b. Если действие успешно, ре­зультат будет преобразованием a в новый объект c. Теперь соз­дать новую цель преобразованием c в b. Достижение этой цели и будет решением первоначальной проблемы.

2. Цели, применения операторов. Эти операции имеют форму: применить оператор q к объекту a.

Метод 2. Определить, отвечает ли a условиям применения q? Если да, применить q; если нет, определить различие между а и

объектом, к которому q применим. Если это действие успешно, бу­дет создан новый объект а', который является модификацией a. Теперь попытаться приложить q к а'.

3. Цели уменьшения различий. Как мы видели, они имеют

форму: уменьшить различие d между объектами a и b.

Метод 3. Найти оператор q, соответственный данному разли­чию (значение соответствия — релевантности — будет позже объяснено). Создать цель применения q к а. Если операция успешна, то результат будет преобразованием а в новый объект с, который не будет сильно отличаться от Ь.

Таким образом, Общий решатель проблем представляет собой программу вычислительной машины, включающую общие процессы заключения относительно итогов (целей) и средств (операторов). Она является общей (general) в том смысле, что сама по себе программа не привязана к самой природе объектов, разли­чий и операторов, с которыми она имеет дело. Следовательно, ее возможности в решении задач могут быть перенесены с одного типа задач на другой, если он содержит информацию относитель­но типов объектов, различий и операторов, которые характеризу­ют и описывают конкретные условия задачи.