OCenter

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

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

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

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