Георгий Далидович - Заметки об искусственном интеллекте

Реализм Тьюринга не мог разрешить скрытого конфликта, а энтузиазм и переоценка возможностей только отодвигали его развязку. Принятие и познание мира во всей его прекрасной и страшной реальности, символизированное яблоком познания из библейского мифа, было неизбежно. Но об этом в следующей статье цикла — "Яблоко Тьюринга".

Яблоко Тьюринга

У машин нет проблем. Я хотел бы быть машиной, а вы нет?

(Энди Уорхол — Андрей Вархола)

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

Противоречивые чувства, возникающие при чтении работ Тьюринга, отражают трудноразрешимый внутренний конфликт. С одной стороны, детальное понимание картины мира — от квантовой теории и принципа относительности до психологии и неврологии, объединенных аппаратом математики и логики, — казалось бы, может дать ответ на любой поставленный вопрос, но именно Тьюринг доказал, что не существует универсального метода или алгоритма, способного решить любую задачу. Свойственное ему философское представление о мире лишено некоторого объединяющего центра. Истина, кажется, совсем рядом, но она недостижима. Несмотря на широту охвата и энциклопедические познания во всех областях науки, остаются пробелы — "невычисляемые функции", неразрешимые задачи, требующие привлечения загадочных черных ящиков, "оракулов Тьюринга". Главная задача — моделирование сознания — оказывается принципиально выполнимой, но это сознание не является личностью, что признает и сам Тьюринг. Чем наполнить эти "черные ящики"? Тьюринг не мог этого понять. Его мир и индивидуальные особенности мышления не позволяли этого. Он сам был, как "Всемирная Машина" с отключенным "оракулом". Вархола ошибался. У машин есть проблемы. Можно ли назвать эту особенность "непродуктивностью" и связать ее с гомосексуальностью Тьюринга? Это могло бы быть броским заголовком, но это было бы не верно. Несомненно, что именно многогранное и нестандартное мышление Тьюринга было продуктивным, но не хватало чего-то неуловимого. Он продвинулся в понимании мира гораздо дальше многих. Может быть, слишком далеко, чтоб это оставалось безопасным для него самого.

Вот как это было.

Это несправедливо. У спортсмена, и то — три попытки. Но жизнь даже в благополучной и консервативной Англии похожа скорее не на бег с препятствиями, а на королевский крокет с фламинго, так хорошо описанный другим английским математиком.

Человек хочет жить по ясным и понятным принципам. Наверное, поэтому игра на познаваемом поле с регламентированными законами, несмотря на напряжение интеллекта, для многих является отдыхом. Для кого-то — шахматы, для кого-то — формальная наука или иные абстрактные занятия. Даже прикладное программирование или HTML-кодирование позитивно влияют на психику потому, что это игра по явно определенным правилам. Если все сделать так, как надо, то планируемый результат неизбежен. Если же что-то не сработало — значит, допущена ошибка, но ее можно исправить. Секретов нет. Все изложено в спецификации. Однако жизнь — по большому счету устроена не так.

Но именно жизнь, во всех ее проявлениях, и не воспринималась Тьюрингом. Он был вне ее условностей, которые просто игнорировал, ввиду их нелогичности. Тьюринг не избегал общества, он был вместе со всеми, но не одним из всех. Он мог поставить выпивку для товарищей по спортклубу, в котором он даже являлся членом оргкомитета, но его интересы были вовне. Его друзья ничего не знали о его работе, да и о нем самом. Часто его научные интересы оказывались не понятыми даже коллегами, что, впрочем, не мешало ему продолжать начатое. Так, в конце войны Тьюринг был приглашен в Национальную физическую лабораторию в Лондоне для участия в создании первой английской вычислительной машины. Однако его проект "автоматического вычислительного устройства" (Automatic Computing Engine — ACE), законченный в 1946 году, был признан излишне самонадеянным и не получил одобрения. По сути, эта разработка содержала первое подробное описание компьютера в современном понимании этого слова.

Тьюринг возвращается в Кембридж в 1947 году и продолжает самостоятельные исследования, которые затрагивают не только вычислительную математику, но и психологию и неврологию. Работа, написанная в этот период, не понятая и не опубликованная при жизни Тьюринга, содержит в себе основные положения теории того, что сейчас называется "нейристорными сетями". Впервые было выдвинуто предположение о том, что сложные искусственные системы могут самоорганизовываться для изучения окружающей среды.

Не встречая поддержки у руководства Национальной физической лаборатории, раздраженный задержками и проволочками, Тьюринг увольняется оттуда. Появившееся свободное время он заполняет занятиями спортом в Валтонском (Walton) клубе, выигрывает забеги на 3 и 10 миль, а в популярном Всеанглийском марафоне в 1947 году он занимает престижное пятое место. Он объяснял свои напряженные тренировки необходимостью снять стресс, вызванный работой. В 1948 году его результат в кроссе оказывается лучше, чем у спортсмена, который вскоре стал серебряным призером на Олимпийских играх.

Но перерыв в работе длится недолго. Уже в 1948 году Тьюринг по приглашению своего бывшего преподавателя, профессора Ньюмена (Newman), начинает работу в Университете Манчестера в качестве лектора и директора проекта по созданию MADAM (Manchester Automatic Digital Machine). Он занимается разработкой программного обеспечения и архитектуры новой машины. Этот проект оказался плодотворным и привел к созданию одного из первых работоспособных компьютеров. По мере того, как конкретные программистские задачи оказываются решенными, он возвращается к более общим вопросам математики — в частности, к давнему вопросу о вычисляемых функциях и числах.

Кажется, теперь жизнь приходит в определенное русло. Он пользуется значительной независимостью на работе, имеет время для самостоятельных исследований, его проекты реализуются. Тьюринг покупает дом в десяти милях от Манчестера, в маленьком городке Вилмслоу (Wilmslow) в Чешире. Это расстояние он обычно пробегал по пути в университет.

В опубликованной в 1950 году в философском журнале Mind статье "Компьютерные технологии и разум" (Computing machinery and intelligence) он впервые предлагает описание "теста Тьюринга", о котором более подробно говорилось в предыдущих статьях цикла. Тогда же он предсказал, что к 2000 году развитие технологии позволит "дурачить" среднего оператора в течение примерно 5 минут. Это был уже реалистичный взгляд: "Мы можем видеть только небольшой отрезок предстоящего пути, но мы видим, как много еще предстоит сделать". И, судя по премиям, выдаваемым за прохождение теста различным программам и разработчикам, этот прогноз вполне оправдался.

Интересно отметить, что темами для "допросов" при проведении теста часто являются такие специфические, как "романтическая беседа" или — еще более откровенно — "секс". Что, впрочем, продолжает традицию, начатую самим Тьюрингом, описавшим тест, в котором женщина и мужчина пытаются доказать оператору, что именно он (она) является женщиной. Хотя на этом этапе среди участников теста нет компьютера, Тьюринг показывает, что мышление не является единственной характеристикой человека, а имитировать мышление — значит, и быть мыслящим существом. Одновременно, становится очевидно, что есть и другие характеристические черты личности человека, в определении которых казаться не означает быть. Но главным утверждением является не вошедшее в короткую популярную статью утверждение о том, что все операции в процессе мыслительной деятельности должны быть представимы "вычисляемыми функциями". Очевидно, что есть и "невычисляемые", но они не имеют прямого отношения к "мыслительному процессу" в понимании Тьюринга.

В 1951 году к нему приходит признание научных заслуг — избрание в члены Лондонского королевского ученого общества, в основном за работу по Машине Тьюринга, написанную еще в 1936-м. Но настоящей причиной этого является именно практическая реализации заложенных ранее теоретических принципов. В Манчестере в 1951 году в результате развития проекта MADAM вводится в действие один из первых в мире полностью работоспособных компьютеров Ferranti Mark 1, и Тьюринг начинает первые вычислительные эксперименты по нелинейному моделированию формообразования у растений и раковин. Он вновь возвращается к своим маргариткам и наблюдениям за природой. Тьюринг пишет работу по вопросам морфогенеза — научному направлению, определяющему математические закономерности в развитии форм живых существ.