КОММУНИКАЦИЯ И РЕЧЕВАЯ АКТИВНОСТЬ 13 страница

Рассмотрим в этой связи задачу угадывания игральной карты в опре­деленном наборе. Пусть прежде всего известно общее условие, согласно которому верна только одна из следующих трех посылок:

«В наборе есть король, или туз·, либо то и другое»

«В наборе есть дама, или туз, либо то и другое»

«В наборе есть валет, или десятка, либо то и другое». Спрашивается, есть ли в наборе туз. Как показывают эксперименты, 99% испытуемых дают на этот вопрос положительный ответ, хотя ответ дол­жен быть отрицательным. Очевидно, испытуемые легко строят менталь­ную модель первой посылки:

король —

— туз

король туз

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

По своим основаниям теория ментальных моделей довольно по-220 хожа на теорию глубинных семантических ролей — лингвистическую

модель понимания предложений, разработанную Чарльзом Филлмором (см. 7.3.2). В том и другом случае когнитивная активность описывается как некоторое организуемое нами и разворачивающееся перед нашим мысленным взором действие. Близки и критические замечания по отно­шению к этим двум концепциям: как и в случае теории глубинных се­мантических ролей, в теории Джонсон-Лэйрда слишком велика произ­вольность интерпретации. Эта теория до сих пор остается неполной, так что иногда трудно однозначно сказать, в чем конкретно состоят ее пред­сказания. Вводя в рассмотрение роль схематического пространственно­го знания и процессов его оперативного изменения, она во всех других отношениях, подобно формальным теориям силлогического вывода (Андерсон, 2002), связана с объяснением мыслительных процессов лишь в относительно абстрактных, искусственных условиях²⁸.

Требование «экологической валидности», сформулированное в 1940-е годы учеником Бюлера Эгоном Брунсвиком, остается актуальным для когнитивных исследований в данной области, так как лабораторные эксперименты на абстрактном материале не вскрывают подлинных воз­можностей мышления. Преодоление этого недостатка наметилось в ряде работ, подчеркивающих возможность специализации процессов умозак­лючения. Наряду со сферой пространственной ориентации и предмет­ных действий, затронутой в работах Джонсон-Лэйрда, одной из таких областей может быть область межличностного взаимодействия и комму­никации. В конечном счете любой психологический эксперимент, осо­бенно при изучении высших познавательных процессов, представляет собой ситуацию межличностного взаимодействия экспериментатора и испытуемого, в которой испытуемый пытается использовать для пони­мания инструкции (и ожидаемого от него поведения) принципы комму­никативной прагматики (см. 7.4.1).

8.2.3 Специализация и прагматика умозаключений

Главная дилемма исследований мышления состоит в понимании мысли­тельных операций либо как универсальных, применимых по отноше­нию к любому материалу средств, либо в их трактовке как специальных приемов решения задач, используемых лишь в специфических обстоя­тельствах и по отношению к конкретному материалу. Возникшая на волне функционализма (см. 1.2.3) философия прагматизма призывает удовлетворяться частным, но практически полезным решением. В этом

²⁸ Предпринятые в последнее время эксперименты с картированием мозговой актив­
ности свидетельствуют о том, что эффективность ментальных моделей в качестве сред­
ства решения задач на дедуктивные умозаключения определяется не столько процессами
визуализации, сколько опорой на амодальные пространственные схемы. Визуализация
сама по себе может затруднять нахождение решения (Knauff et al., 2003). 221

контексте можно рассматривать представление об эвристиках мышле­ния, равно как и о столь же нестрогих принципах коммуникативной прагматики. Проведенный выше анализ процессов умозаключений по­казал, что при использовании абстрактно-математической формы пред­ставления данных испытуемые допускают грубые ошибки в оценке воз­можностей тех или иных событий, например вероятности заболевания в зависимости от имеющихся диагностических данных. Как обстоит дело со следующим важным этапом мышления — проверкой возникаю­щих в результате умозаключений гипотез?

Имеющиеся результаты свидетельствуют о том, что подобно ин­дуктивным умозаключениям проверка гипотез сопровождается харак­терными ошибками. Как мы только что отмечали, испытуемые склонны проверять правильность условных утверждений с помощью подтвержда­ющих примеров, хотя использование опровергающих было бы более адекватным. Введенное в теорию ментальных моделей несколько лет на­зад «правило истинности» соответствует известной из социальной пси­хологии и исследований принятия решения особенности мыслительных процессов, называемой установкой на подтверждение {confirmation bias). Она заключается в том, что мы обычно активно ищем подтверждающие некоторое правило или гипотезу примеры и игнорируем опровергающие (см. 8.4.1). Отсюда, в частности, следует, что в случае задач, требующих работы с явно ошибочными, или контрфактическими, ситуациями, дол­жны наблюдаться систематические ошибки.

Наиболее известная демонстрация таких ошибок была предложена несколько десятилетий назад английским психологом Питером Уэйзе-ном — отсюда название задача выбора Уэйзена {Wason selection task). В ис­ходном варианте задачи (он показан на рис. 8.2А) испытуемому предъяв­ляют четыре карточки, на которых находятся символы: «Е», «К», «4» и «7». Испытуемому объясняют при этом, что каждая карточка имеет циф­ру на одной стороне и букву на другой. Ему далее сообщают гипотетичес­кое правило, согласно которому:

«Если карточка имеет на одной стороне гласную букву, то на другой

она обязательно должна иметь нечетную цифру».

Задача состоит в том, чтобы указать минимальное количество карточек, которые нужно перевернуть, чтобы проверить справедливость этого правила. Менее 20% всех испытуемых правильно указывает карточки с символом «Е» и «4». Подавляющее большинство выбирает карточки «Е» и «7». Выбор «7» при этом, разумеется, является ошибочным. В самом деле, логическая импликация «если..., то...» не является обратимой — проверяемое правило никак не связано с обратным по отношению к нему утверждением, что если на одной стороне карточки нечетная циф­ра, то на другой должна быть гласная буква. Решая эту задачу, испытуе­мые обычно упускают возможность проверить данные, опровергающие

гипотезу. 222

Рис. 8.2. Задача выбора Уэйзена в абстрактном (А) и конкретном (Б) вариантах.

Согласно распространенной интерпретации, возникающая ошибка отражает установку испытуемого на работу с элементами, явно упомяну­тыми в правиле. Подобная интерпретация может быть верной в случае приведенного абстрактного варианта задачи. Она, однако, не объясняет, почему при более конкретных условиях эта ошибка не наблюдается или, по крайней мере, не наблюдается в столь выраженной форме. Например, когда карточки содержали названия городов и средств транспорта — «Лондон», «Манчестер», «поезд», «машина», а проверяемым правилом было «Если мне нужно в Манчестер, я еду на поезде», большинство (бри­танских) испытуемых рассуждали совершенно правильно, сразу выбирая «Манчестер» и «машина». На рис. 8.2Б показан еще один пример конк­ретных условий, в которых необходимо проверить правильность подго­товки письма к отправлению: «Если письмо запечатано, то на обратной стороне должна быть почтовая марка». В последние годы в этой области исследований развернулась интенсивная дискуссия — возникает ли улучшение выбора за счет использования конкретного материала как та­кового или же критическое значение имеет что-то другое?

Многочисленные данные свидетельствуют о том, что при использо­вании конкретного материала, если он не опирается на специальные предметные знания, улучшения решения не происходит. Например, в варианте задачи, обыгрывающей ситуацию посылки почтовых отправле­ний («Если письмо запечатано, то на обратной стороне должна быть по­чтовая марка стоимостью не менее одного евро»), ошибки допускались скорее испытуемыми-американцами, имеющими отличную от европей­ской почтовую систему и поэтому не обладающими соответствующими знаниями. С другой стороны, вариант с городами и средствами транс­порта перестает облегчать решение, если названия английских городов

предъявляются американцам или русским. Точно так же русские испы­туемые не используют преимуществ конкретной формулировки, если им предлагаются карточки «Петербург», «Владивосток», «поезд», «самолет», но проверяемое правило задается в непространственной форме: «Если я думаю о Владивостоке, я вспоминаю самолет».

Интригующие (и, безусловно, требующие дополнительной эмпири­ческой проверки) результаты дают эксперименты, в которых проверяе­мое правило является абстрактным, но включает в явном виде отрица­ние следствия, например, в следующей форме: «Если на одной стороне есть буква Е, то на другой стороне нет цифры 4». При этом наблюдается обращение типичных результатов: улучшение решения задачи выбора в абстрактном варианте и ухудшение в конкретном! В самом предвари­тельном плане можно предположить, что обработка фрейма-отрицания «неверно, что...» выполняет роль своеобразного метаоператора ОТРИ­ЦАНИЯ, активирующего установку на поиск контрпримеров в абстракт­ном варианте задачи. В то же время в более конкретном варианте при­сутствие такого метаоператора может приводить к интерференции с глобальной метапроцедурой ПРЕДСТАВЛИВАНИЕ, ведь представить всегда несколько проще то, «что есть», а не то, «чего нет» (Величков-ский, 19866).

Особую область, в которой наблюдается заметное улучшение наших способностей решать задачу выбора Уэйзена, образуют контексты обяза­тельства, обещания или разрешения. Речь идет, очевидно, о так называе­мых речевых актах, изучаемых коммуникативной прагматикой (см. 7.1.2 и 7.4.1). Когда задача выбора сформулирована так, что позволяет предпо­ложить один из подобных контекстов социального взаимодействия меж­ду людьми, испытуемые неожиданно начинают значительно более кри­тически, а следовательно, и более эффективно проверять соответствие заданного правила действительности. Согласно предложенной К. Холи-уоком и П. Ченгом (Holyoak & Cheng, 1995) теории прагматических схем вывода, психологические механизмы умозаключений развиваются в кон­тексте целей наших социальных действий. Это в общем виде объясняет изменение эффективности вывода при сохранении его логической осно­вы. Интересно, что выраженное улучшение имеет место даже в достаточ­но абстрактном варианте задачи. Так, в модификации «Если некто соби­рается совершить действие А, то он должен сначала выполнить условие Р» задачу правильно решают 61% испытуемых, а вне подобного условно-прагматического контекста — только 19%.

Популярными становятся идеи похожего подхода, получившего громкое название эволюционной психологии. Основатели этого подхода, калифорнийские исследователи Лида Космидес и Джон Туби (Cosmides & Tooby, 1994) придерживаются радикальной версии концепции моду­лярной организации психики (см. 2.3.2). По их мнению, подлинные воз­можности интеллекта могут быть установлены только в некоторых узких

областях жизнедеятельности, а именно там, где они имеют значение для 224

выживания и социобиологической успешности. Важнейшей такой обла­стью является сфера отношений обмена и взаимных услуг, регулируемая фундаментальным принципом социального договора: «Если я делаю что-то для тебя, ты должен сделать нечто эквивалентное для меня». В подобных, типичных для социальной жизни Homo sapiens ситуациях наша интеллек­туальная активность направлена на отслеживание того, не имеем ли мы дело с человеком, пользующимся нашими ресурсами, но не дающим вза­мен ничего равноценного и, тем самым, нарушающим принцип соци­ального договора.

В чем все-таки причина возникающего в социальном контексте улучшения проверки правил путем поиска опровергающих примеров — может быть, просто в высокой степени знакомости подобных ситуа­ций? По мнению Космидес и Туби, мы используем для решения таких задач нечто вроде специализированного врожденного модуля обработ­ки социальной информации, называемого ими «алгоритмом обнаруже­ния обманщика». Высокая эффективность проверки правил, попадающих в категорию «социальный договор», была многократно показана в пос­ледние годы на сложном и незнакомом (с точки зрения имен участников и названий объектов обмена) испытуемым этнографическом материале. Упоминание эволюционного аспекта становления когнитивных процессов приобретает в новейших исследованиях мышления все более важное значение. Берлинский психолог Герд Гигеренцер, разделяющий взгляды «эволюционистов», нашел для этого подхода возможность серь­езного практического применения. В начале этого раздела мы упомина­ли трудности работы с вероятностями, особенно в случае необходимости использования теоремы Байеса. Самым известным примером допускае­мых при этом ошибок является рассмотренная выше задача маммогра­фии (см. 8.2.1). По мнению Гигеренцера, специфические трудности по­нимания условных вероятностей обусловлены тем, что вероятностный формат представления данных получил распространение лишь в послед­ние 150—200 лет и наше мышление не адаптировалось к нему. В контек­сте эволюционного развития тысячелетий значительно более привычна работа с конкретными случаями, или, как их называет Гигеренцер, есте­ственными частотами.

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

«Пусть имеется группа из 1000 женщин, 10 из которых больны раком груди. Применение диагностического теста, называемого маммографией, ведет к положительному результату у 8 из числа

больных и у 99 здоровых женщин. Как велика доля женщин с

раком груди среди всех женщин с положительной маммограм-мой?»

Такое описание задачи позволяет прежде всего легко, путем сложе­ния 8 и 99, найти общее количество женщин с положительной маммо-граммой. На втором и последнем этапе решения задачи нужно, конеч­но, еще попытаться разделить 8 на 107 (то есть 8 + 99), но практически всем сразу становится ясно, что эта величина меньше 8%, то есть никак не может быть близкой к 80%.

Аналогичное улучшение понимания наблюдается при переходе к естественным частотам и в случае некоторых других задач, решение ко­торых обычно сопровождается возникновением «когнитивных иллю­зий». Например, получаемые с помощью этого подхода данные показы­вают очевидным для каждого образом, что вероятность действительного заражения синдромом приобретенного иммунодефицита (СПИДа) при положительном исходе соответствующего диагностического теста ока­зывается равной примерно 50%, то есть остается серьезный шанс на от­сутствие заболевания. Этот вывод оказался неожиданным не только для обычных испытуемых, но и для тех медицинских работников, в прямые обязанности которых входило консультирование людей, обращающихся за помощью в связи с возможностью этого заболевания. Гигеренцер и его коллеги предлагают поэтому срочно ввести методы интерпретации и оценки диагностических ситуаций в терминах естественных частот в курсы обучения будущих врачей, а также юристов (Gigerenzer, 2001).

В дипломной работе, выполненной под нашим руководством Анкой Гош (Gösch, 2003), был предпринят сравнительный анализ решения за­дачи маммографии и описанной в начале данного раздела задачи с кол­пачками (Monty Hall Dilemma) в зависимости от нескольких различных вариантов их формулирования. Этот анализ выявил определенные раз­личия между этими задачами и одновременно их общее отличие от зада­чи выбора Уэйзена. Если в случае последней критический социальный контекст («поиск обманщика») улучшает решение, то для задачи с кол­пачками именно недоверие испытуемых к искренности экспериментато­ра (ожидание подвоха) служит одним из основных препятствий для рас­смотрения ситуации с точки зрения ее абстрактной математической структуры. Переход к частотам был эффективен только в случае задачи маммографии. Для задачи с колпачками критически важными оказались другие условия. Так, склонность испытуемых к рассмотрению математи­ческой структуры ситуации несколько возрастала, если эта задача фор­мулировалась, так сказать, «изнутри», из перспективы ее восприятия эк­спериментатором. Иными словами, подобно перцептивным иллюзиям, разные «когнитивные иллюзии», несомненно, имеют различные причи­ны. Переход к частотам и в особенности введение условий задачи в со­циальный контекст не являются универсальными средствами от всех возникающих при попытках применения логики или теории вероятнос­тей затруднений. 226

Таблица 8.2. Время реакции ответов (в сек) испытуемых на вопросы о возможных и не­обходимых вариантах поведения (по: Bell & Johnson-Laird, 1998)

Хотя взгляды представителей «эволюционной психологии» инте­ресны в теоретическом отношении и, сверх того, практически значимы, не все авторы считают ссылку на эволюционную адаптацию достаточ­ной для полноценного объяснения обнаруженных эффектов. Во-пер­вых, общей проблемой эволюционных объяснений является то, что они не могут быть экспериментально доказаны или опровергнуты. Во-вто­рых, судя по всему, иногда удается найти и более простые объяснения. Так, для Джонсон-Лэйрдa (Johnson-Laird, 1999) улучшение результатов, достигаемое в ряде задач с помощью формата естественных частот, объясняется тем, что в этом случае облегчается применение ментальных моделей. Теория ментальных моделей позволяет также более детально проанализировать механизмы, лежащие в основе прагматических схем, в частности, таких важных для произвольной регуляции поведения ин-тенционально-волевых установок, как МОГУ и ДОЛЖЕН (см. 8.1.3).

В самом деле, для конструирования представления о чем-то воз­можном — модальность «могу» — в принципе достаточно построения единственной подтверждающей модели. Иначе обстоит дело с модаль­ностями «должно» и «необходимо». Чтобы показать, что различные альтернативы, кроме одной, невозможны, должны быть построены (или, по крайней мере, обозначены) модели всех возможных ситуаций. В тер­минологии современной логики, речь идет о моделях множества «воз­можных миров». В. Белл и Ф. Джонсон-Лэйрд (Bell & Johnson-Laird, 1998) предположили поэтому, что в задачах на умозаключения положи­тельные ответы на вопросы о возможности некоторого положения дел в мире или формы поведения (поступка) должны даваться быстрее, чем отрицательные ответы. Напротив, в случае вопросов о необходимости («долженствовании») относительно более быстрыми должны быть отри­цательные ответы — ведь для опровержения необходимости достаточно одного примера, тогда как ее подтверждение связано с построением и проверкой целого ряда ментальных моделей.

Эти предсказания теории ментальных моделей подтверждаются эк­спериментально (см. табл. 8.2)²⁹. Интересно, что, согласно этой точке зрения, понимание и подтверждение возможного в целом оказывается

²⁹ Этот результат нетривиален еще и потому, что в хронометрических экспериментах отрицательные ответы требуют, как правило, больше времени, чем положительные.

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

Данные о специализации мышления позволяют иначе поставить вопрос о причинах когнитивных иллюзий. В частности, обнаруженные первоначально в абстрактных вариантах задачи выбора ошибки не обя­зательно свидетельствуют об алогичности мышления. Логические связ­ки имеют в естественном языке прагматический оттенок, отсутствую­щий в формальной логике. Когда импликация «Если А, то В» задана на условном материале, испытуемые могут ошибочно считать ее обрати­мой³⁰. Более того, из-за невозможности доказательства правильности индуктивных умозаключений практически приемлемым для них часто оказывается поиск именно подтверждающих примеров. Рассмотрим гипотетическое утверждение «Все лебеди — белые». Поиск контрприме­ров (для их обнаружения пришлось бы добраться до Австралии, где ле­беди — черные), быстро мог бы стать занятием, слишком дорогостоящим для решения повседневных задач. Поэтому такое утверждение разумно принять как первое приближение, хотя оно и сделано на основании ог­раниченного числа подтверждающих примеров.

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

³⁰ Импликация — не единственная логическая операция, аналоги которой в естествен­ном языке имеют несколько другое значение Примером может служить союз «или», ис­пользование которого, в отличие от логической дизъюнкции, означает не только то, что по крайней мере одна из возможностей имеет место, но и то, что говорящий не знает, какая именно Эта особенность связана с коммуникативной прагматикой (см 7 4 1) если бы говорящий знал, какая из возможностей реализуется в действительности, он бы так и сказал, придав своему высказыванию бульшую информативность ценой меньших уси­лий Следовательно, предполагая искренность коммуникативных намерений говоряще-228 го, необходимо допустить, что он этого просто не знает (Падучева, 1985)

контрпримеров подчеркивается в принципе фальсифицируемости Кар­ла Поппера (см. 1.4.2). Рефлексивная установка, связанная с учетом кон­фликтных интересов действующих лиц, часто помогает нам и при реше­нии практических задач, таких как покупка квартиры или автомобиля. Балансирование между безусловно возможным и безусловно невозмож­ным при принятии решений и есть настоящее мышление в действии.

8.3 Процессы решения задач

8.3.1 Решение малых мыслительных задач

Хотя первоначально представители информационного подхода, а затем и когнитивной психологии предполагали добиться быстрых успехов в области изучения и моделирования мышления, реальные достижения оказались весьма скромными. Общее обсуждение процессов решения задач с позиций когнитивной психологии было дано Дж. Грино (Greeno, 1973). Согласно его определению, в случае решения задач «речь идет о нахождении способов трансформации исходной ситуации (или задан­ных переменных) в желаемую ситуацию (или неизвестные перемен­ные)». Это понимание разделяют и другие авторы, в частности А. Нью-элл и Г. Саймон, монография которых «Решение задач человеком» (Newell & Simon, 1972) длительное время считалась наиболее авторитет­ным руководством в данной области. Конечно, это определение недоста­точно специфично, так что под ним могли бы подписаться представите­ли всех направлений, так или иначе связанных с изучением мышления. При более детальном рассмотрении работ Дж. Грино, А. Ньюэлла, Г. Сай­мона и их коллег вновь вырисовываются очертания вычислительного устройства и его программного обеспечения.

Анализируя процесс решения задачи, Грино выделяет пять после­
довательных стадий: 1) чтение текста задачи, 2) интерпретация понятий,
3) извлечение релевантной информации, 4) создание плана решения,
5) выполнение вычислительных операций. Эта модель становится более
содержательной, когда Дж. Грино детально рассматривает стадию извле­
чения релевантной информации, выделяя в зависимости от характера
этих процессов несколько типов задач: одни задачи требуют преимуще­
ственного извлечения правил оперирования (то есть процедурного зна­
ния), другие — хранящихся в памяти пропозиций (декларативного зна­
ния), третьи — дополнительной трансформации уже имеющихся
знаний (то есть применения метапроцедур). Значительная часть усилий
когнитивных психологов и специалистов по искусственному интеллек­
ту была направлена первоначально на создание компьютерных моделей
мыслительных процессов, типа глобальных когнитивных моделей, рас­
смотренных нами в начале этой главы. 229

Рис. 8.3. Ханойская башня: А. Исходное положение дисков; Б. Алгоритм решения зада­чи для случая трех дисков.

Особой популярностью при моделировании мышления длительное время пользовались достаточно однотипные задачи на перемещения: анаграммы, задача переливания жидкости, задачи перевозки ревнивых мужей и их жен, миссионеров и каннибалов, проблема монстров и т.д. На рис. 8.3 показан вариант одной из наиболее известных из числа та­ких задач, получившей название «Ханойская башня». Задача состоит в том, чтобы переместить фишки с левого на правый стержень. При этом каждый раз можно брать только одну фишку, а класть ее можно только на фишку больших размеров. При оптимальной стратегии эта задача ре­шается за 2" — 1 шагов, где л — число фишек. Детальный психологичес­кий анализ решения этой задачи проводился в последние десятилетия многими авторами, причем иногда ее используют и в целях нейропсихо-логической диагностики (в несколько упрощенных вариантах, извест­ных как «Лондонская башня» и «Торонтская башня»).

Возможности машинных программ также часто проверяются на за­дачах этого типа. Г. Саймон и Дж. Хайес (Simon & Hayes, 1976) проана­лизировали для тестирования своей программы протоколы контрольной группы — людей, процесс решения задачи которыми прослеживался с по­мощью классической методики рассуждения вслух Дункера. Проведен­ный анализ показал, что испытуемые беспокоились о правильном пони­мании условий, часто просили дать им дополнительные разъяснения и

проверяли допустимость тех или иных возможных шагов³¹. Надо сказать, что именно эти моменты в работе программы представлены не были. Эквивалентность результатов, очевидно, еще не означает совпадения процессов. В целом ориентированный на формальное моделирование подход привел к успехам главным образом в случае тех задач, где относи­тельно однозначно определены условия, а решение может быть достиг­нуто с помощью выполнения последовательных операций над дискрет­ными символами.

Было бы большой ошибкой, конечно, недооценивать потенциал символьного подхода. Все более быстрый алгоритмический перебор ва­риантов — основа эффективности компьютерных систем, позволившая им в последнее время более чем успешно соревноваться с человеком даже в таких традиционных областях интеллектуальных достижений, как шахматы (см. 8.3.3). Человек должен решать задачи иначе, опираясь на эвристические методы. Не случайно отклонение от механического перебора считается одним из критериев действительно разумного реше­ния. В популярной истории математики хорошо известен рассказ о юном Гауссе, нашедшем новое решение некоторой сравнительно лег­кой, но чрезвычайно скучной задачи. Согласно этой истории (или ле­генде), учитель, чтобы освободить себе какое-то время, дал школьникам задачу найти сумму всех чисел от 1 до 100. К его удивлению, уже через пару минут один из мальчиков — это был Карл Гаусс — сообщил, что за­дача решена. В отличие от прямого решения 1 + 2 + 3 и т.д. он выбрал непрямой путь, начав суммирование одновременно с двух концов ряда:

Не нашли, что искали? Воспользуйтесь поиском: