Испытание теории

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

Общие типы анализа отношения средств — целей, которые использует Общий решатель проблем, являются в то же время ме­тодами, отмечаемыми и в протоколах испытуемых. Мы изучили в деталях около 20 протоколов испытуемых, решавших логические проблемы. Фактически все поведение, описанное в этих протоко­лах, протекает в рамках анализа средств — целей. Три типа це­лей, рассмотренных нами, составляют три четверти всех целей испытуемых, а дополнительные типы целей, которые появляются в протоколах, тесно связаны с теми, которые мы описали. Три метода, выделенных нами, представляют подавляющее большин­ство методов, примененных к данным проблемам испытуемыми.

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

Мы не можем, конечно, на основе такого типа доказательств заключать, что ОРП дает адекватное объяснение всем типам поведения при решении задач. Наряду с содержащимися в нем ме­ханизмами могут быть включены и многие другие механизмы.

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

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

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