Математические страдания

Ишкушштвенный интеллект

Теория алгоритмов сродни марксизму-ленинизму: развитая теория, но что касается практики - то полное фиаско. Это только наивный юноша, "обдумывающий житье", считает, что теория алгоритмов научит его разрабатывать алгоритмы. Потратив лучшие годы своей жизни, он обнаруживает, что теория алгоритмов этим вообще не занимается. А занимается она рассортировкой задач на алгоритмически разрешимые и неразрешимые. А для этого напридумывала всяких частично-рекурсивных функций, машин Тьюринга и много подобных малополезных вещей.

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

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

А.Е.Соловьев, soloviev.nevod.ru, 1994 год