Полосухин Б.М. Феномен вечного бытия. Некоторые итоги размышлений по поводу алгоритмической модели сознания

Подождите немного. Документ загружается.

алгоритмам. Иными словами, алгоритмы были когда-то восприняты и

далее остаются неизменными или подвергаются незначительным

модификациям (стереотипное мышление). Крайнюю степень подобного

мышления показали Ильф и Петров на примере небезызвестной Элочки.

Творческое мышление предполагает наличие, по крайней мере, не менее

двух уровней, когда на первом уровне имеются "заготовки" (стереотипы),

из которых на втором уровне (опять-таки по стереотипным процедурам)

создаются новые процедуры, которые уже не будут казаться столь

стереотипными. Очевидно, что творческая сила интеллекта должна

находиться в прямой зависимости от глубины процедурных уровней.

Глубина творческой мысли - не прямой темный колодец, она - туннель,

созданный освещенными и находящимися напротив друг друга зеркалами.

Как бы там ни было, остановимся на тезисе, что мозг работает

"алгоритмически", и не будем отвлекаться на поиски алгоритмов его

работы, ограничившись представлением об их комбинаторной или

рекурсивной природе. Для нас в данном случае важны не конкретные

алгоритмы, а принципы их построения. Поэтому, оставаясь в рамках

методологии проблем искусственного интеллекта, мы тем не менее

отказались от попытки искать эти принципы в конкретных алгоритмах и

программах, моделирующих различные функции мозга, так как это было

бы связано с отказом от выбранной нами стратегии - не подходить

слишком близко к горе. Поэтому попробуем найти решение, двигаясь по

концептуальному пути, иными словами, опираясь на фундаментальные

результаты, полученные в теории алгоритмов. Но об этом в следующей

главе.

Глава 4

КЛЮЧ ОТ ПОТАЙНОЙ ДВЕРИ

Когда процесс окажется разделенным на час-

ти, изученным и понятым, похоже, что ин-

теллект исчезает.

П.Уинстон. Искусственный интеллект

Остановка "машина Тьюринга"

Предложенные в третьей главе информационные модели взаимо-

действия мозга, тела и внешней среды при описании различных стадий

эволюционного развития живой материи дают весьма укрупненную схему.

В них отражено наше стремление ответить на вопрос, куда и откуда

информация подается. Не менее (скорее всего - более) важная проблема -

как эта информация обрабатывается. Такая постановка вопроса, казалось

бы, обрекает нас на неминуемую неудачу в попытке получить ответ,

потому что целостного представления о переработке информации мозгом

пока не существует, многие алгоритмы работы мозга науке не известны,

особенно когда речь идет о сознательной деятельности человека.

Поэтому мы будем говорить не о конкретных алгоритмах переработки

информации мозгом, а только о принципах ее переработки. Что в данном

случае понимается под словом "принцип"? Специалистам, работающим в

области вычислительной техники и программирования (и не только им),

известны принципы обработки информации в современных ЭВМ:

разделение информации на программы и данные, командный принцип

выполнения операций, объединение команд в программы, возможность

интерпретации программ как данных (в ряде случаев наоборот) и т.д. Это

все принципы.

Можно не знать, как реализуется конкретный алгоритм, но, зная

принципы его выполнения, можно делать определенные выводы о работе,

например, ЭВМ, в том числе об ее структурной организации. Подобный

методологический подход (от принципа обработки информации к

некоторым принципам работы мозга) мы постараемся применить к поиску

ответа на поставленный выше вопрос.

Сразу же оговоримся, что знание упомянутых принципов работы

современных ЭВМ нам почти не поможет, так как, во-первых, они далеки

от принципов работы мозга, а во-вторых, они изначально сложны. В то же

время принято считать, что природа, строя сложное, всегда шла от

простого. В силу этого, а также с учетом упомянутого ранее тезиса об

алгоритмическом характере работы мозга нам представляется, что в

основу концептуального рассмотрения проблемы следует положить то, что

обозначается термином "алгоритм".

В настоящее время в математике существует несколько эквива-

лентных определений этого понятия: одно из них - машина Тьюринга [37].

В связи с этим нелишне напомнить, что в теории алгоритмов посту-

лирован следующий тезис: если проблема, связанная с переработкой

информации, имеет решение, то всегда может быть построена машина

Тьюринга, описывающая алгоритм ее решения.

Специалисты понимают, что вместо взятой для названной цели машины

Тьюринга можно попытаться использовать, например, аппарат нор-

мальных алгоритмов Маркова или методы теории рекурсивных функций (о

рекурсии ранее мы уже упоминали). Однако из-за большей наглядности

тьюринговой модели мы остановили свой выбор на ней.

Следует упомянуть и еще одно, может быть, даже более существенное

обстоятельство, определившее данный выбор. А.Тьюринг, разрабатывая

принципы работы машины, получившей впоследствии его имя, руко-

водствовался далеко не в последнюю очередь той методикой, которую

при решении задач применяют математики. Математик - прежде всего

человек, поэтому, решая задачи, он использует не только специальные

приемы и методы своей науки, но прежде всего способности и возмож-

ности своего разума. Таким образом, в идее машины Тьюринга уже изна-

чально заложены определенные качества, присущие думающему мозгу.

И наконец, как бы еще больше подтверждая наш выбор, сошлемся на

высказывание Дж.Вейценбаума: "В конце концов, поскольку все могут

научиться имитировать универсальную машину Тьюринга (об универ-

сальной машине Тьюринга речь впереди.- Б.П.), мы по определению сами

есть универсальные машины Тьюринга". Правда, Дж.Вейценбаум тут же

добавляет: "Это означает, что мы по крайней мере универсальные

машины Тьюринга" [38,с.1О9], указывая этим "по крайней мере" на то, мы

сложнее любой машины, в нас есть и еще "кое-что", чего нет в ней.

Далее мы увидим, что же может под этим "кое что" скрываться.

Машина Тьюринга, несмотря на то что имеется сооблазн увидеть в ней

определенное структурное образование, прежде всего и только - лишь

математическая модель процессов преобразования информации. Попытка

увидеть за ней структуру мозга заранее обречена на неудачу. Сошлемся

на следующий пример. Дифференциальное уравнение вида

является математической моделью колебательных процессов; в зави-

симости от физического смысла и значений коэффициентов a,b,c,f и

переменной х это уравнение описывает механические колебания фор-

тепьянной струны и невидимые электрические процессы в колебательном

контуре радио- или телеприемника и т.п. Физические и структурные

различия фортепьяно и телевизора очевидны, но суть процессов подобна,

что и подтверждает приведенное выше уравнение. Однако никому не

придет в голову на основе подобия уравнений говорить, что фортепьяно и

телевизор подобны. Правда, если два уравнения относятся к двум одина-

ковым физическим системам (например, телевизорам), то, анализируя эти

уравнения, уже можно кое-что сказать о структуре и электрических

свойствах тех колебательных контуров, процессы в которых описываются

этими уравнениями.

Аналогично с помощью машины Тьюринга можно описать, например,

процесс подсчета месячной зарплаты на калькуляторе (практически

делать это неразумно) и этот же процесс, когда он выполняется мозгом

(мы говорим о принципиальной воможности такого описания). В каждом

случае свои принципы кодирования информации, свои алгоритмы и т.д., и

поэтому делать вывод, что калькулятор и мозг подобны, значит идти

против здравого смысла. Это самое деликатное определение такого наме-

рения.

Ну а если сопоставить тьюрингову модель с функционирующим

мозгом? В лучшем случае можно сказать, что такая модель адекватно

описывает процесс переработки информации в мозге, причем только при

том допущении, что указанный процесс алгоритмичен. Но мы не можем

описать модель детально, так как нам не известны конкретные алгоритмы

работы мозга. Единственное, что мы можем постулировать с большей или

меньшей уверенностью, - это то, что тьюрингова модель есть мате-

матическая модель информационных процессов, протекающих в мозге. Не

мало ли? К сожалению, действительно, мало, но, как мы увидим в

дальнейшем, даже из этого, казалось бы, ограниченного подхода можно

будет сделать весьма далеко идущие выводы.

Далее будет показано, что существуют два типа тьюринговых моде-

лей - специализированная и универсальная. На основе различия этих

моделей (причем различия принципиально существенного) можно сделать

вполне закономерные выводы о различии процессов, протекающих в моде-

лируемых объектах. И наоборот, если какие-то модельные процессы

одинаковы, то есть основание думать, что и моделируемые явления про-

текают одинаково.

Более осторожно, конечно, следует подходить к вопросу о соотнесении

модельных процессов и структур моделируемых объектов. Тьюрингова

модель - слишком абстрактное понятие, чтобы ее можно было во всех

случаях напрямую связывать с реальными процессами, происходящими в

мозге, и тем более с его структурой. Однако если определенные струк-

туры морфологически подобны, а модельные процессы подобны или,

наоборот, различны, то имеется основание говорить о подобии или разли-

чии реальных процессов, идущих в мозге.

Теперь несколько замечаний для неспециалистов. Они могут выбрать

одну из трех линий поведения. Первая - собраться с духом и продолжать

внимательно и вдумчиво читать дальше. Вторая - читать понятное, не

пытаясь вникать в сложное. Третья - долистать главу до конца, где будут

даны выводы, и больше к ней не возвращаться. Выбравшие второй путь

после выводов могут вернуться, если захотят, и повторно просмотреть

сложные для них места.

Описание машины Тьюринга имеется в достаточно большом коли-

честве источников, в том числе относительно популярных, и можно было

бы сослаться на них. Однако, чтобы читателю неспециалисту была

понятна суть дальнейшего и чтобы не превращать для него чтение данной

книги в научное изыскание, посвятим несколько страниц описанию прин-

ципов работы этой машины.

Как она работает

Машина Тьюринга - это не машина в том значении, в котором обычнс

употребляется это слово. Это вычислительная модель или модель

преобразования информации, однако при описании структуры машины и

процесса ее функционирования используются некоторые технические

понятия, что и позволяет, видимо, употреблять термин "машина". Суще-

ственно отметить, что, во-первых, машина Тьюринга работает с алфа-

витным представлением информации, т.е. со словами или последова-

тельностями слов; во-вторых, доказано, что любая, самая произвольная

информация без потерь может быть закодирована в каком-либо алфавит-

ном представлении (языке).

Машину Тьюринга можно представить себе как некоторое устройство,

состоящее из следующих частей:

- бесконечной или полубесконечной (т.е. ограниченной с одной стороны)

ленты, разделенной на ячейки; в каждой такой ячейке может быть

записан один алфавитный символ (буква);

- читающе-записывающей головки ( скажем, наподобие магнито-

фонной );

- управляющего устройства, которое за один временной такт работы

машины осуществляет следующие операции: считывание из ячейки

ленты, напротив которой находится головка, одного символа, запись в

ячейку нового символа, перемещение головки на одну ячейку вправо или

влево и, наконец, изменение своего состояния.

Последовательность перечисленных операций задается структурой

управляющего устройства, причем под структурой понимается не какая-

то, скажем, электронная схема, а запись, определяющая способ функцио-

нирования машины. Часто одной из форм такой записи служит прямо-

угольная таблица, строки которой соответствуют символам алфавита, с

которым работает машина, а столбцы - состояниям управляющего уст-

ройства. В клетках таблицы записываются группы, состоящие из трех

символов (тройки): символа входного алфавита, символа направления дви-

жения головки и символа состояния. Схематичное изображение машины

Тьюринга, а также возможного варианта ее таблицы приведен на рис.7, 8.

На этих рисунках приняты следующие обозначения: Sj- символ,

считываемый с ленты, Sj- символ, записываемый на ленту; qo,qi,q2 (

обобщенном виде - qj,qj) - символы состояний машины; ! - состояние

останова машины; Q - обозначение памяти, хранящей эти состояния;

символы R,L,H обозначают направление движения головки соответ-

ственно вправо, влево, команду головке остаться неподвижной; Р -

условное обозначение устройства, управляющего движением головки;

наконец, в нашем конкретном примере 1 ,Х,+ - символы внешнего алфа-

вита, записываемые на ленте, при этом, как это часто принято делать при

описании работы машины Тьюринга, буквой А. обозначается "пустой

символ," указывающий на то, что в соответствующей ячейке ленты

ничего не записано.

Работу машины Тьюринга, используя, например, таблицу (см. рис.8)

можно описать следующим образом. Если в какой-то момент времени

управляющее устройство находилось в состоянии q

(вертикальный

столбец таблицы, обозначенный q

), а головка из ячейки, напротив кото-

рой она в этот момент находилась, считывает символ 1 (горизонтальный

столбец таблицы, обозначенный символом 1), то в эту ячейку запи-

сывается пустой символ X, т.е. стирается записанный там ранее символ,

головка перемещается на одну ячейку вправо, и управляющее устройство

переходит в состояние q

. Описанное действие считается одним тактом

работы машины.

Обычно, когда рассматривают функционирование машины Тьюринга,

считается, что в начальный момент времени на ленте записано некоторое

входное слово, состоящее из последовательности символов, головка стоит

в некотором стандартном положении, например напротив самого левого

символа входного слова, а управляющее устройство находится в началь-

ном состоянии, обозначенном , скажем, символом q

. Подобное начальное

положение часто называется термином "начальная конфигурация маши-

ны".

Если задача имеет решение, то после конечного числа тактов движение

головки прекращается (при этом она оказывается в некотором стан-

дартном положении), управляющее устройство переходит в определенное

заключительное состояние, а на ленте оказывается записанным некоторое

новое слово.

Начальное входное слово можно отождествить с исходными условиями

задачи, заключительное (выходное) - с результатом решения. При этом

заключительное слово может оказаться в той зоне ленты, где сначала

было входное слово, а может быть записано в новом месте ленты: все

зависит от конкретного вида таблицы машины.

Удобно рассматривать работу машины Тьюринга как последова-

тельность так называемых конфигураций. Отдельно взятая конфигура-

ция - это слово, записанное к данному моменту на ленте. Под буквой,

напротив которой расположена головка, подписывается символ состояния,

в котором находится машина. Пример первых трех соседних

конфигураций для машины, изображенной на рис.8 с исходным словом

показан на рис.9. Исходное слово в данном случае представляет собой

условие: сложить в унарной системе счисления 3 и 2. Если проследить все

конфигурации, возникающие при решении данной задачи, то заклю-

5. Полосухин Б.М. 65

чителыюй будет конфигурация

т.е. действительно получен результат 5, представленный также в унарной

форме.

Строго доказано, что если задача или проблема имеют решение, тс

всегда может быть построена машина Тьюринга (т.е. записана ее табли-

ца), которая за конечное число шагов переведет начальную конфигура-

цию (условия задачи) в конечную (результат решения). Использовать

машину Тьюринга в качестве практического вычислителя, конечно, не

имеет смысла, так как, во-первых, не всякую информацию удобно пере-

кодировать в алфавитную форму (хотя и возможно) и, во-вторых (что

является особенно существенным), сведение процесса вычислений к

слишком детальной последовательности элементарных шагов делает этот

процесс настолько медленным, что даже очень простые задачи на этой

модели будут решаться недопустимо долго, не говоря уж о сложных. В

связи с этим никогда, видимо, не возникала мысль о построении машины

Тьюринга для решения практических задач, но как теоретическая модель

она оказалась весьма удобной, важной и нужной.

Описанную нами модель машины Тьюринга можно назвать специа-

лизированной моделью, так как для каждой конкретной задачи должна

быть разработана своя конкретная таблица машины. Рассмотрев работу

специализированной машины Тьюринга, мы хотим обратить внимание на

одно немаловажное обстоятельство. Элементарной структурной единицей

такой машины является клетка таблицы, описывающей функцио-

нирование ее управляющего устройства. Информация, содержащаяся в

такой клетке, задает один такт работы машины, состоящий из следующих

действий: восприятия с ленты входного символа (стимул), изменения

состояния машины (эквивалент действия обратной связи), записи на ленту

нового символа (реакция). Подобный такт работы машины вполне может

быть сопоставлен с механизмом опережающего возбуждения: так

называемой схемой Т-О-Т-Е (проба-операция-проба-результат). Исходя из

данного соответствия каждый отдельный такт работы машины Тьюринга

можно считать своеобразной неделимой единицей, квантом переработки

информации биологической моделью.

Внутренний язык

Доказано, что для решения любой задачи, имеющей решение, может

быть построена так называемая универсальная машина Тьюринга, т.е.

такая машина, которая имеет единственную, строго фиксированную

таблицу, описывающую ее работу. Например, для универсальной машины

Тьюринга, оперирующей с двоичным алфавитом, таблицы (диаграммы)

работы ее управляющего устройства можно посмотреть в монографии

М.Минского "Вычисления и автоматы" [39].

Идея универсальной машины заключается в том, что начальная

конфигурация ее состоит не только из входного слова, упомянутого ранее,

но и еще из одного слова, которое можно назвать описанием произвольной

специализированной машины (рис.10). Такое описание есть не что иное,

как последовательная линейная запись двумерной таблицы. Действи-

тельно, таблицу, изображенную на рис.8, если разворачивать ее слева

направо и сверху вниз, можно представить, например, в виде последова-

тельности "пятерок" символов:

В дальнейшем подобную линейную запись таблицы машины Тьюринга

будем называть термином "собственное описание". Работу универсальной

модели можно описать (конечно, очень упрощенно) следующим образом.

Универсальная машина, находясь в начальной конфигурации, считыва-

ет первый символ входного слова (условия задачи), затем, согласно тому

состоянию, в котором должна быть моделируемая специализированная ма-

шина, находит в слове - записи алгоритма моделируемой машины - соот-

ветствующую "пятерку" и по записи остальных трех символов этой "пя-

терки" определяет новое состояние моделируемой специализированной ма-

шины, записываемый на ленту символ и направление движения головки

специализированной машины. Затем считывается следующий символ, на-

ходится следующая "пятерка" и так до получения заключительной кон-

фигурации.

Смысл этого краткого изложения можно раскрыть таким образом. Уни-

версальная машина как бы читает на ленте описание алгоритма работы

специализированной машины и по этому описанию делает то, что делала

бы специализированная машина, то есть работает по принципу интер-

претации (подражания). Сам принцип интерпретации заключается в после-

довательном выполнении раз и навсегда закрепленных правил (указаний).

Воспользуемся для пояснения достаточно простыми интерпретирующими

указаниями, взятыми нами с небольшими переделками из книги Б. А.Трах-

тенброта "Алгоритмы и вычислительные автоматы" [37,с.126].

Указание 1. Обозревайте на ленте ячейку (единственную), под которой

подписана буква. (Здесь и далее, в данной последовательности указаний,

подписанная под ячейкой буква обозначает символ состояния интер-

претируемой машины.)

Указание 2. Отыщите в таблице столбец, обозначенный той же бук-

вой, которая подписана под обозреваемой ячейкой.

Указание 3. В найденном столбце обозревайте тройку букв, которая,

расположена на пересечении со строкой, обозначенной такой же буквой,

какая вписана в обозреваемой ячейке.

Указание 4. Замените букву из обозреваемой ячейки первой буквой из

обозреваемой тройки.

Указание 5. Если в обозреваемой тройке вторым символом является

признак завершения вычислений, например знак "!", то остановитесь -

процесс закончен.

Указание 6. Если в обозреваемой тройке вторым символом является!

символ останова головки - буква Н, то замените букву, подписанную под

обозреваемой ячейкой, третьей буквой из обозреваемой тройки.

Указание 7. Если в обозреваемой ячейке вторым символом является

признак движения головки влево - буква L, то сотрите букву,

подписанную под обозреваемой ячейкой, и левее ее запишите третью

букву из обозреваемой тройки.

Указание 8. Если в обозреваемой тройке вторым символом является;

признак движения головки вправо - буква R, то сотрите букву,!;

подписанную под обозреваемой ячейкой, и правее ее запишите третью -

букву из обозреваемой тройки.

Указание 9. Если просмотр входного слова не закончен, переходите к

указанию 1, в противном случае заканчивайте процесс.

Если данную систему указаний закодировать по принятой системе

"пятерок", то полученная запись может рассматриваться как "собственное

описание" универсальной машины. Примечательно, что описание данного

алгоритма (т.е. последовательности указаний) не использует символы

внешнего алфавита интерпретируемой машины, и, следовательно, этот

алгоритм может быть записан на "внутреннем" языке универсальной

машины. Иными словами, чтение описания алгоритма работы специали-

зированной машины универсальной машиной идет стандартным образом,

как предписывает система указаний, и не зависит от конкретного вида

этого описания (при принятой системе кодирования информации). Этому

факту мы придаем исключительно большое значение.

Нетрудно заметить, что работа универсальной модели происходит еще

медленнее, чем соответствующей специализированной, но нас это обсто-

ятельство не должно волновать, так как речь идет не о практической

реализации какой-то структуры, будь она специализированной или

универсальной, а всего лишь о модели.

Естественно, что упомянутый несколько ранее квант переработки

информации биологической моделью (стимул, изменение состояния,

реакция), если последняя представлена универсальной машиной Тьюринга,

фактически перестает быть таковым, так как оказывается состоящим из

последовательности более элементарных шагов, обеспечивающих дейст-

вие механизма интерпретации. Но каждый такой новый элементарный

шаг вновь состоит из "тройки": чтение символа, изменение состояния,

запись нового символа. Иными словами, принцип работы универсальной

машины Тьюринга тот же, что и специализированной, хотя принцип

реализации алгоритма - качественно иной.

Мозг и машина Тьюринга

При рассмотрении машины Тьюринга в качестве алгоритмической

модели мозга животного или человека мы можем пока говорить лишь о

самых общих свойствах модели в самом общем виде. К таким общим

свойствам следует отнести: обучаемость модели, ее эволюцию,

пластичность и устойчивость модели, а также еще одно важное свойство,

о котором будет сказано ниже. Обратимся сначала к специализированной

модели, изображенной на рис. 11.

Специализированная модель оперирует следующим набором символов:

- входные символы ленты, то есть внешние символы (им мы поставим в

соответствие сигналы внешнего мира, поступающие в мозг через

множество соответствующих рецепторов; к таковым можно отнести

также определенную часть сигналов, вырабатываемых самим мозгом и по

цепям обратной связи передаваемых на вход и поэтому являющихся как

бы составной частью внешней среды);

- выходные сигналы ленты (с этими символами можно сопоставить

различные командные сигналы органам тела; какую-то часть элементов

памяти, созданных в онтогенезе, также можно отнести к выходной

информации, хотя при определенных условиях эти сигналы могут стать

входными, так как несмотря на то, что рассматриваемая группа символов

относится к внутренним проявлениям модели или моделируемого объекта,

по существу значительная их часть "адресована" внешнему миру);

- символы, составляющие описание функционирования таблицы управ-

ляющего устройства.

Рассмотрим эту последнюю группу более детально. Ее в свою очередь

можно разделить на три подгруппы.

Первая - подгруппа внешних символов, идентифицирующих строки

таблицы. Важно отметить, что когда речь идет о машине Тьюринга как

вычислительной машине, то эта подгруппа совпадает с ранее упомя-

нутыми входными символами ленты. Однако когда речь заходит об

алгоритмической модели мозга, то о совпадении говорить не приходится,

только - о соответствии. Например, к "внешним символам ленты" мы

могли бы, допустим, отнести образ, запечатленный на сетчатке глаза.

Соответствующий ему внешний символ из подгруппы символов,

идентифицирующих строки таблицы, это, видимо, эталон данного образа,

хранящийся в памяти (на самом деле зрительный образ сам состоит из

множества элементарных символов, но в качестве поясняющего примера

упомянутое сравнение вполне допустимо). Хотя рассматриваемая подгруп-

па символов сопоставлена нами с внешними сигналами, она в действи-