Коннекционистские модели привлекательны для промышленности и военных тем, что позволяют преодолеть прежние ограничения эффективности компьютерных систем. Но не меньший взрыв энтузиазма они вызвали и среди нейробиологов, многие из которых считают, что наконец получили модель, весьма сходную с мозгом или хотя бы с какими-то его отделами. В последние три года множество новых научных журналов публикует сообщения о моделях нейронных сетей, претендующих на объяснение различных аспектов работы мозга. Командиры и идеологи этой Армии Моделей беспрерывно кружат по всему свету, переезжая с одних авторитетных конференций и семинаров на другие и едва успевая заглянуть в собственные кабинеты и лаборатории, чтобы собрать новейшие данные и снова мчаться в аэропорт.
К ним начинают прислушиваться даже философы. Одной из книг, популярных среди нейробиологов, вообще-то не склонных к чтению философских трудов, стала недавно вышедшая "Нейрофилософия" Патриции Чёрчленд из Калифорнии [20]. Автор рассматривает традиционные философские проблемы сознания и сопоставляет их с данными современной нейробиологии, а затем приходит к выводу, что в ней властвует редукционизм. По мнению Чёрчленд, спасение - в коннекционистских идеях. Вслед за книгой она опубликовала в солиднейшем журнале "Science" пару статей в соавторстве с нейробиологом Терренсом Сейновским из Сан-Диего, где рассмотрены перспективы науки, которую они называют вычислительной нейробиологией [21]; теперь это название в свою очередь попадает в заголовки других книг и журналов. Тот факт, что философы, создатели моделей и нейробиологи начали прислушиваться друг к другу и что компьютерщики наконец-то стали с известным уважением относиться не только к искусственному, но и к природному мозгу, делает их анализы более обоснованными. Раньше энтузиасты искусственного интеллекта подходили к функции нервных клеток с предвзятым мнением и в результате очень скоро теряли всякое представление о реальных биологических явлениях, изучаемых нейробиологами. Однако восторженный прием, оказанный нейробиологами книге Чёрчленд, объясняется, на мой взгляд, тем, что она не оспаривает наши представления, а скорее демонстрирует довольно некритичное почтение к ним. В результате ее книга выглядит льстивым зеркалом, в котором нам дают увидеть себя в весьма привлекательном виде1. И дело не только в том, что в отражении мы не видим мелких дефектов своей кожи. Сама наша поза, по-редукционистски неудобная, выглядит позой голливудского героя. Тем не менее недостатки коннекционистской нейробиологии и порожденной ею философии очевидны и, я полагаю, в конце концов приведут к их краху по причинам, которые я постараюсь объяснить в дальнейшем.
Пока же вернемся ко второй из двух сестер в сказке Пейперта - "поддельной", или "холистической". При холистическом подходе не делалось попыток моделировать мозг - все внимание было сосредоточено на моделировании разума. Иными словами, разработчики старались понять те явления, которые они принимали за функции сознания, такие как "верование, слушание, наблюдение, ощущение, поиск, объяснение, требование, просьба..." (я привожу этот эклектичный, но очень характерный набор процессов из последней книги Минского "Общество разума" [22]). Затем они пытались моделировать логику этих процессов независимо от того, насколько создаваемые модели можно было уподобить настоящему мозгу. Важно было лишь то, чтобы модели "работали". Иными словами, они должны были давать на выходе такой результат, какой, по мнению разработчиков, давал бы человеческий мозг, если бы он выполнял те функции, которые они хотели воспроизвести в своих моделях.
И все же многие неиробиологи чувствуют себя не очень уютно, читая у Чёрчленд о редукционизме. Это обнаружилось пару лет назад на одной из конференций в Швейцарии, так любимых нейробиологами, где была возможность покататься на горных лыжах. Участники проводили в первой половине дня научные заседания, а до того и после того занимались делом, т. е. выходили на склон и вечером оставались там, пока не стемнеет или пока не иссякнут силы. Такое времяпровождение, вероятно, лучше всего попадает под хорошо известное определение "досуг после теоретизирования". Темой конференции были "взаимоотношения между нейроанатомией и психологией", а открывать дискуссию должна была Чёрчленд. Она взошла на редукционистскую кафедру и стала проповедовать грядущее сведение психологии к нейроанатомии, ожидая, по-видимому, лишь легкой критики со стороны группы нейробиологов. К своему удивлению, она столкнулась с сильной оппозицией большинства присутствующих, особенно из лагеря нейроанатомов!
Чтобы лучше понять разницу между двумя подходами, представьте себе, например, человека, стреляющего в тире по движущимся металлическим уткам. Приверженец коннекционистских моделей с параллельной обработкой информации спросил бы: как должны быть связаны нейроны, чтобы подвижные изображения передавались через сетчатку глаза в надлежащие области мозга ("скрытые слои"), и как должны при этом изменяться их свойства, чтобы они могли "научиться" вызывать соответствующие моторные реакции? Сторонник холистического подхода поставил бы вопрос иначе: как можно построить такой сервомеханизм, который получал бы информацию о положении и движении уток и соответственно управлял движениями стрелка? Будут ли. выходные реакции такого механизма сходны с реакциями человека, решающего ту же задачу? И если не будут, то почему?
На протяжении почти всей сорокалетней истории искусственного интеллекта преобладал второй из этих подходов. Однако, развивая его, разработчики совсем перестали думать о том, как работает настоящий мыслящий мозг. Вместо этого они сосредоточили внимание на решении проблем, связанных с конструированием силиконовых элементов компьютера и с разработкой математической логики. Это могло приводить к созданию более сложных и эффективных машин, но не имело никакого отношения к биологическим системам, которые вначале предполагалось моделировать. Общее мнение сторонников такого подхода откровенно выразила Маргарет Боден - философ из Суссекского университета - такими словами: "Чтобы быть мозговитым, мозги не нужны" [23].
Порочная метафора
К чему бы ни призывали разработчики моделей того или иного типа, я считаю, что оба подхода порочны в своей основе, если задача состоит в том, чтобы понять, как работают природный мозг и природный разум (или даже память). Отсюда и провал всех прежних предсказаний о возможных сроках создания искусственного интеллекта и появления компьютеров, подобных мозгу: наиболее оптимистичные последователи Винера в пятидесятых годах уверенно ожидали этого к концу шестидесятых, потом откладывали до семидесятых, восьмидесятых, а затем и на начало третьего тысячелетия. Но время шло, на смену персептронам приходили новые модели и программы и так же исчезали.
Недавно с критикой методологии и перспектив разработки искусственного интеллекта выступили три автора - философ, математик и иммунолог. Я кратко изложу их доводы, прежде чем перейду к моим собственным проблемам, связанным с вычислительной аналогией.
Первым идет философ Джон Сирл, который для аргументации своих взглядов ставит тест Тьюринга как бы с ног на голову. Представьте себе, что в закрытой комнате находится человек, который не знает китайского языка, но через машину получает вопросы, написанные по-китайски. В его распоряжении имеется код, позволяющий сопоставлять китайские иероглифы с другим набором текстов, содержащим ответы на задаваемые вопросы. Эти ответы можно передавать, опять-таки с помощью машины, за пределы комнаты. Находящимся снаружи наблюдателям будет ясно, что на заданные по-китайски вопросы поступают осмысленные ответы на том же языке; таким образом, тот, кто находится в комнате, выдержит тест Тьюринга. Но из этого никак не следует, что он понимал содержание посланий, поступавших в комнату и выходивших из нее, и отвечал на них сознательно и разумно: на самом деле он выполнял чисто автоматические операции. Именно это, говорит Сирл, делают компьютеры, и потому нет оснований считать их разумными и сознательными устройствами.
Второй автор - оксфордский математик Роджер Пенроуз, чья недавно вышедшая книга "Новый ум императора" содержит последовательную критику принципов коннещионизма [25]. Точка зрения Пенроуза по сути очень проста: для того чтобы эти принципы работали, в нейронной сети между клетками должны существовать достаточно стабильные, фиксированные отношения, которые могут изменяться лишь в ответ на специфические входные сигналы, после чего система должна реагировать детерминированным образом. По мнению Пенроуза, против этого говорят современные физические и математические представления. Квантовые механизмы, по его утверждению, обусловливают изначальную недепгерминированность нервных реакций; что касается математики, то ставшая весьма модной теория хаоса показывает, как недетерминированные системы могут тем не менее действовать вполне упорядоченным образом (например, случайное хаотическое движение молекул газа в сосуде приводит в целом к точной и предсказуемой зависимости между температурой, давлением и объемом, которую описывает простой газовый закон Бойля).