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

Крестный отец современных исследований решения проблем – экономист и эрудит Герберт Саймон (1916–2001). Большая часть профессиональной карьеры Саймона, получившего в 1978 году Нобелевскую премию по экономике, прошла в Университете Карнеги-Меллон, имеющем хорошие традиции исследований в области компьютеров и робототехники. Он был одним из многих экономистов, которые начали активно использовать в 1970-е компьютерные модели.

Саймон настолько увлекся компьютерами, что начал исследовать, как люди решают проблемы, именно для того, чтобы понять, каким образом можно запрограммировать компьютеры для решения сходных задач. В своей книге «Как люди решают проблемы» (Human Problem Solving), опубликованной в 1972 году, Саймон вместе со своим коллегой Аланом Ньюэллом рассказал о результатах исследований, объектом которых были люди, решавшие математические и логические головоломки. В более поздней публикации, «Научное открытие» (Scientific Discovery), 1987 год, он попытался реконструировать на основе исторических данных ход рассуждений людей, сделавших важные научные открытия.

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

Саймон и его коллеги предложили несколько популярных терминов, которые сейчас широко используются. Один из них – «пространство решений». Этот термин в его простейшей трактовке описывает все потенциальные решения проблемы. Когда компьютерная программа играет в шахматы, она ищет ход в пространстве решений. Она исследует все потенциальные ходы (и ответные ходы противника, и ответные ходы на ответные ходы противника… до разумного предела) для того, чтобы определить наиболее выгодное продолжение.

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