Особенно озадачивает вот что: роль логики на некоторых стадиях решения проблем оказывается минимальной. Сложные проблемы, часто решаются благодаря интуиции, неожиданному «озарению», догадке. Вы только что не знали, куда двигаться дальше, и вдруг вас «озарило», но это не был последовательный логичный процесс решения, о котором вы можете рассказать.
В исследованиях ИИ очень часто использовались головоломки и загадки. Они проще и более четко сформулированы, чем сложные проблемы реального мира. Причем для их решения также требуются логика, догадки и интуиция, без которых не обойтись при решении реальных проблем. Многие люди из Microsoft внимательно следят за исследованиями в сфере ИИ, и это помогает объяснить их уверенность в том, что все эти «глупые маленькие задачки» имеют отношение к реальному миру, которая, возможно, удивила некоторых читателей этой книги.
Пространство решений, плато неопределенности
Крестный отец современных исследований решения проблем — экономист и эрудит Герберт Саймон (1916-2001). Большая часть профессиональной карьеры Саймона, получившего в 1978 году нобелевскую премию по экономике, прошла в университете Карнеги Меллон, имеющем хорошие традиции исследований в области компьютеров и робототехники. Он был одним из многих экономистов, которые начали активно использовать в 1970-е компьютерные модели.
Саймон настолько увлекся компьютерами, что начал исследовать, как люди решают проблемы, именно для того, чтобы понять, каким образом можно запрограммировать компьютеры для решения сходных задач. В своей книге Human Problem Solving («Как люди решают проблемы»), опубликованной в 1972 году, Саймон вместе со своим коллегой Аланом Ньюэллом рассказал о результатах исследований, объектом которых были люди, решавшие математические и логические головоломки. В более поздней публикации, Scientific Discovery («Научное открытие», 1987 год), он попытался реконструировать на основе исторических данных ход рассуждений людей, сделавших важные научные открытия.
Саймон не обнаружил ничего особенно загадочного ни в решении скромных головоломок, ни в процессах, приведших к фундаментальным научным открытиям. Люди на основе своих догадок формулировали поддающиеся проверке гипотезы, делали несколько неверных ходов и в конце концов находили верный ответ. Никогда не случалось так, чтобы решение головоломки или научный прорыв оказывались результатом «чистого вдохновения».
Саймон и его коллеги предложили несколько популярных терминов, которые сейчас широко используются. Один из них — «пространство решений». Этот термин в его простейшей трактовке описывает все потенциальные решения проблемы. Когда компьютерная программа играет в шахматы, она ищет ход в пространстве решений. Она исследует все потенциальные ходы (и ответные ходы противника, и ответные ходы на ответные ходы противника… до разумного предела) для того, чтобы определить наиболее выгодное продолжение.