Анализ средств и целей: как решать задачу через подцели

Задача кажется трудной не всегда потому, что в ней слишком много шагов. Иногда непонятно, какой шаг вообще имеет смысл: между тем, что есть, и тем, что нужно получить, лежит препятствие. Анализ средств и целей предлагает начать не с перебора действий, а с этого разрыва. Нужно описать текущее состояние, целевое состояние, заметить различие и выбрать действие, которое способно его уменьшить. Если действие пока невозможно, оно превращается в новую, более узкую цель.

Эту схему развивали Аллен Ньюэлл, Джон Клиффорд Шоу и Герберт Саймон в программе General Problem Solver, или GPS. Она важна и для истории когнитивной революции, и для практики: учит не путать конечный результат со следующим действием. Разберём, как устроен метод, почему подцели одновременно помогают и создают риск зациклиться.

Что называют анализом средств и целей

В названии «цель» означает состояние, которое надо получить, а «средства» - доступные операции перехода. Анализ начинается с сопоставления двух описаний: текущего $S_0$ и желаемого $S_g$. Важно не просто сказать «хочу сдать экзамен» или «хочу перенести башню», а назвать наблюдаемую разницу: не освоены две темы; большой диск находится не на том стержне; прибор показывает неверное значение.

После этого выбирают оператор - разрешённое действие, которое уменьшает именно это различие. Оператор имеет предусловия. Например, чтобы положить большой диск на нужный стержень, на нём не должно быть меньших дисков, а сам большой диск должен быть свободен. Если предусловие не выполнено, оно становится подцелью. Такой ход отличает метод от беспорядочного метода проб и ошибок, о котором говорит опыт с проблемным ящиком Торндайка: поиск направляет описание структуры задачи.

Рассчитать для своей задачи

Цикл: различие, оператор, предусловие

Удобно записать процедуру в пять вопросов.

1. Каково текущее состояние? Фиксируем существенные свойства, а не весь мир.
2. Каким должно быть целевое состояние? Нужен критерий достижения, иначе нельзя остановиться.
3. Какое различие мешает? Его лучше назвать одним предложением.
4. Какой оператор уменьшает это различие? Например, «перенести диск», «проверить соединение», «выучить тему».
5. Выполнимы ли условия оператора? Если нет, формулируем ближайшую подцель и запускаем тот же цикл для неё.

Получается иерархия. Конечная цель не исчезает, но временно отступает: сначала решается условие, которое делает следующий шаг законным. В терминах GPS задача требует представления состояний, операторов, различий и связей между различием и подходящим оператором. Именно знание таких связей делает поиск не «общим» в бытовом смысле, а осмысленным.

GPS Ньюэлла и Саймона: модель, а не волшебная машина

GPS создавался как программа, моделирующая отдельные процессы решения задач. Она не обещала одинаково хорошо решать любую реальную проблему. В отчёте Ньюэлла, Шоу и Саймона цель могла быть сформулирована как преобразование одного выражения или состояния в другое; затем программа искала различие и применяла релевантный оператор. Если оператор требовал условия, программа порождала подзадачу.

Слово «general» здесь легко переоценить. GPS нуждалась в языке описания задачи, списке допустимых операторов и правилах их применимости. Она не выводила физические, математические или профессиональные знания из пустоты. В этом её урок совпадает с идеей ограниченной рациональности: разум действует при неполной информации и ограниченных вычислительных возможностях, поэтому использует структуру среды, а не рассматривает все варианты сразу.

Ханойская башня: подцель становится временной целью

В классической Ханойской башне есть три стержня и диски разного размера. За ход разрешено переносить один верхний диск; большой нельзя класть на меньший. Пусть три диска нужно перенести с левого стержня на правый. Прямое желание «перенести большой диск направо» сразу сталкивается с двумя различиями: на большом лежат меньшие диски, а целевой стержень нужно освободить.

Оператор «перенести большой диск» имеет предусловие: два малых диска должны оказаться на среднем стержне. Это и есть подцель. Для неё повторяется та же логика: сначала перенести самый маленький диск на правый, затем средний на средний, затем маленький на средний. После перемещения большого диска временная цель меняется: малую башню надо перенести с среднего стержня на правый.

Рассчитать для своей задачи

Для $n$ дисков минимальное число ходов равно $2^n - 1$. Формула показывает, что разбиение на подцели не отменяет роста сложности: оно делает план понятным, но не сокращает необходимое число допустимых переходов. Здесь метод связывает психологию решения задач с рекурсивным способом описания алгоритма, однако не требует от человека записывать код.

Почему разность состояний полезнее списка действий

Если начать с перечня всех возможных ходов, число ветвей быстро растёт. Сравнение текущего и целевого состояния помогает отсечь действия, которые не уменьшают важное различие. В задаче о подготовке к экзамену это может быть не «прочитать любую главу», а «уметь объяснить определение и решить два типа задач». Тогда оператором станет конкретная практика, а не неопределённое «заниматься больше».

Но мера различия зависит от представления. В шахматах можно сравнивать материал, безопасность короля или контроль центра; в диагностике - симптомы, версии и измерения. Неподходящее представление выдаст неподходящий оператор. Поэтому анализ средств и целей не заменяет предметные знания и не гарантирует оптимальный путь. Он организует поиск после того, как мы решили, что считать существенным.

Подцели могут помогать и мешать

Подцель хороша, когда она действительно открывает следующий оператор и имеет ясный критерий завершения. Плохая подцель слишком широка («стать экспертом»), не связана с препятствием или конфликтует с основной целью. Возможен и цикл: для действия A нужна подцель B, для B - условие C, а C снова требует A. В таких случаях полезно выписать дерево зависимостей, ограничить глубину поиска и вернуться к исходному описанию различия.

Не стоит также принимать каждую найденную подцель за обязательную. В открытых задачах бывает несколько операторов, один из которых дешевле или безопаснее. Здесь анализ средств и целей ближе к эвристике поиска, чем к гарантированному алгоритму. Соседняя статья об эвристиках мышления помогает увидеть разницу: правило может разумно направлять внимание, но его результат нужно проверять относительно условий задачи.

Где метод имеет границы

Метод особенно прозрачен в задачах с чёткими состояниями, правилами и операторами: головоломках, планировании процедур, отладке с известными тестами. Слабее он работает там, где цель расплывчата, ценности конфликтуют или неизвестно, какие действия вообще доступны. Вопрос «какую профессию выбрать» нельзя честно свести к одной разности состояний: сначала придётся обсуждать критерии самой цели.

Есть и вычислительная граница. Даже при хороших операторах пространство состояний может быть огромным, а поиск - дорогим. Поэтому реальный решающий часто использует внешние записи, примеры, консультации и остановочные правила. Анализ средств и целей объясняет порядок вопросов; он не даёт универсального списка средств. Для быстрых оценок полезно помнить и различие Системы 1 и Системы 2 у Канемана: автоматическая догадка может подсказать оператор, но проверка предусловий требует более медленного контроля.

Частые ошибки

• Начинать с действия, не назвав различие. Тогда шаги выглядят активными, но могут не приближать к цели.
• Подменять цель действием. «Открыть учебник» - средство; «решать задачи определённого типа без подсказки» - проверяемая цель.
• Забывать предусловия. Оператор нельзя считать доступным только потому, что он полезен в идеале.
• Строить бесконечную цепь подцелей. Если дерево не возвращается к выполнимому шагу, нужно менять представление или привлекать новые сведения.

FAQ

Это алгоритм или эвристика? Это стратегия организации поиска. При фиксированных состояниях и операторах её можно запрограммировать, но сама по себе она не гарантирует кратчайшее решение.

Чем подцель отличается от промежуточного шага? Подцель - состояние, которое требуется для выполнения выбранного оператора. Шаг - конкретное действие, переводящее из одного состояния в другое.

Можно ли применять метод к учебному плану? Да, если цель операционализирована: обозначены сроки, материал и критерий результата. При неопределённой цели сначала нужно уточнить критерии, а не дробить её механически.

Коротко

Анализ средств и целей сравнивает текущее и целевое состояния, находит различие и подбирает оператор, который его уменьшает. Невыполнимое предусловие превращается в подцель; так строится иерархия решения. GPS Ньюэлла, Шоу и Саймона сделала эту идею явной, а Ханойская башня показывает её силу и предел: подцели упорядочивают путь, но не отменяют ограничений и роста сложности.

Источники

• Newell, Shaw, Simon. Report on a General Problem-Solving Program, RAND, 1959
• Herbert A. Simon о поиске и анализе средств и целей, архив CMU
• Формализация правил Ханойской башни, Cornell University