Возможности вычислительных машин и человеческий разум


         

и Саймон сформулировали свою задачу


Ньюэлл, Шоу и Саймон сформулировали свою задачу следующим образом: "Мы хотим понять, каким образом математик, например, может доказать теорему, даже если, приступая к доказательству, он не знает, каким образом собирается его найти или вообще найдет ли он его". Сообщив, сколько времени заняло у программы доказательство ряда теорем, они замечают: "Можно изобрести "автоматические" процедуры получения доказательств... но оказывается, что для их реализации требуется машинное время порядка тысяч лет [для доказательства какой-то конкретной теоремы]".
Трудно понять это заявление иначе, чем утверждение: их программа может оказаться полезной помимо того, что она поучительна (раскрывает, каким образом "математики доказывают теоремы"). Случилось так, что через год или два после появления работы Ньюэлла, Шоу и Саймона математик Хао Ван опубликовал одну "автоматическую процедуру", т. е. программу вычислительной машины, способную доказать все теоремы исчисления высказываний. Эта программа доказала теорему за 1/4с на вычислительной машине, которая сегодня считалась бы очень примитивной9; по оценке Ньюэлла, Шоу и Саймона для ее доказательства потребовалось бы машинного времени порядка тысяч лет.
Неопределенность линии, разделяющей имитационный режим и режим работы для получения результата, вполне оправданно мало заботит специалистов в области искусственного интеллекта. На ранней стадии крупного исследовательского проекта важно иметь достаточно ясное представление о том, что, в принципе, представляет собой область, в рамках которой следует ставить вопросы, или, иначе говоря, что представляет собой то, понимание чего в настоящее время отсутствует и пониманию чего должно способствовать планируемое исследование. Работа Вана принесла результат, углубивший наше понимание определенных аспектов математической логики. Цель работы, обнародованной Ньюэллом, Шоу и Саймоном, по их собственным словам, - "достижение понимания сложных процессов (эвристик), имеющих место при решении задач"10

Содержание  Назад  Вперед