Возвращаемся к самоприменимости
Механизм передачи информации второго вида из управляющего устройства на ленту, т.е. передачи записи алгоритма работы машины (например, записи двумерной таблицы как линейной последовательности пятерок ) во входную зону ленты в качестве входного слова, мы определили как процесс самоприменимости.
Здесь возникает несколько вопросов. Первый из них - всегда ли машина может прочитать такую запись? Ответ будет положительным, если символы, из которых состоит эта запись (а это символы входного алфавита, символы состояний, символы, обозначающие направление движения головки, а также ряд разделительных символов), являются символами некоторого дополнительного входного алфавита. Второй вопрос: как машина прореагирует на такое своеобразное входное слово, являющееся собственным описанием? Мы уже знаем, что машина, если она самоприменима, перерабатывает эту запись и останавливается. Если остановка не наступает или наступает, но не в стандартном положении, то машина несамоприменима.
Вопрос о самоприменимости машин Тьюринга к настоящему времени не разработан достаточно глубоко. Поэтому преждевременно говорить, например, о теории самоприменимости как разделе теории алгоритмов, хотя, на наш взгляд, разработки в этом направлении были бы актуальны. Некоторых результатов, полученных в разработке этого вопроса, мы коснемся чуть позже.
Если машина самоприменима, во что она перерабатывает собственную запись? Нам представляется, что это один из трудноразрешимых вопросов, связанных с изучением самоприменимости, и в этом смысле он тесно смыкается со вторым вопросом в той его части, которая констатирует его недостаточную разработанность.
Здесь уместно привести одно высказывание М.Минского: ... что случится, если машине (универсальной. - Б.П.) сопоставить ее собственное описание? Можно ожидать, что в этом случае машина будет парализована , потому что она будет бесконечное число раз повторять интерпретирующие циклы и никогда не сможет произвести какого-либо вычисления. Сперва такие явления кажутся занимательными, потом они начинают раздражать, и, наконец, мы вынуждены сделать вывод, что они свидетельствуют о непреодолимых препятствиях на пути нашего исследования [40, с.143-144].
Вместо понятия самоприменимости, казалось бы, можно воспользоваться более распространенным термином - обратная связь: ведь по существу элементы такой связи в самоприменимой модели Тьюринга присутствуют. Практика анализа управляющих систем, как живых, так и искусственных, показывает, что наличие обратной связи в подобных системах, скорее правило, чем исключение, и поэтому связь процесса самоприменимости модели Тьюринга с циркуляцией информации в каналах обратной связи не должна казаться нелогичной.
Однако это не вполне обычная, так сказать, классическая обратная связь, при организации которой часть информации, перерабатываемой системой, передается с ее выхода на вход: здесь с выхода системы на вход подается не циркулирующая в системе информация, а информация, описывающая систему, если хотите - информация, составляющая образ системы; поэтому правильнее, видимо, говорить, что информация передается на вход не с выхода, а как бы изнутри системы. Теории подобной обратной связи пока не существует, но совершенно ясно, что такая обратная связь может привнести в систему новые качественные характеристики, отличные от традиционных, таких, как изменения устойчивости, чувствительности и т.д. Если воспользоваться философской терминологией, то, видимо, следует признать, что самоприменимость - это отражение моделью своей собственной структуры, образом которой является собственное описание. Для подобного самоотражения может быть употреблен и другой термин - рефлексия. Нелишне отметить, что математическим аналогом этого явления служит рекурсия, о которой мы упомянули в предыдущей главе.
Все в этом мире служит каким-то, часто неясным для нас, целям. Иначе говоря, нет или не было бесполезных вещей. Даже бубенчик на колпаке шута играл свою незатейливую, но обязательную роль. Мерка полезности, приложенная к формам самоприменимости, без особых вопрошающих взглядов с нашей стороны, указывает на ответ: самоприменимость и самоконтроль находятся в родственных отношениях.
Естественные биологические системы в отличие от искусственных кибернетических не имеют специально сконструированных встроенных устройств контроля, контрольные функции выполняет сама система. Отсюда следует, что если модель охвачена подобным типом обратной связи и оказывается при этом самоприменимой, то она подтверждает тождественность самой себе и, следовательно, правомерность реализации того алгоритма, на который она настроена. Поэтому вполне обосновано утверждение о том, что процесс самоприменимости (первичной рефлексии) - это процесс самоконтроля, возникший эволюционно и служащий целям большей устойчивости и более полной адаптации живого организма к меняющимся условиям существования. Если пластичность нужна как механизм приспособления к среде, то самоприменимость - это датчик, говорящий - нужны изменения. Но одновременно самоприменимость - это сторож, предостерегающий от излишнего увлечения перестройкой.
Может ли мозг, моделью которого является специализированная машина Тьюринга с перестраиваемой структурой и самоприменимостью, породить что-либо большее, чем модель пластичного мозга со свойством обучаемости и контролирующим механизмом? Ответ на данный вопрос следует искать в анализе языков, с которыми работает пластичная специализированная модель с самоприменимостью.
Мы можем указать на существование следующих языков:
- входной язык (язык внешней среды, язык стимулов);
- язык представления реакций;
- язык представления информации в памяти;
- язык описания управляющего устройства (язык для записи пятерок , из которых образована таблица ).
Этот последний (четвертый в данном списке) составлен из каких-то кодовых представлений символов входного языка (символов стимулов), символов выходного языка (символов реакций), а также символов состояний управляющего устройства и символов, обозначающих направление движения головки, которые по смыслу также можно отнести к группе символов состояний.
Если первые две составляющие четвертого языка, а также первые три из перечисленных языков можно считать внешними по отношению к модели, то последние три составляющие четвертого языка сугубо внутренние. Но это именно составляющие языка, а не сам язык. Поэтому нам представляется, что чего-то цельного, имеющего определенное завершенное качество, специализированная модель с самоприменимостью породить не может (кроме того, о чем было упомянуто выше). Нужно, однако, отметить следующее.
Процесс самоприменимости помимо своих основных контролирующих функций попутно предоставляет модели возможность знакомства с описанием своей собственной структуры, то есть позволяет ей как бы осознавать себя. Тем не менее, подлинного осознания собственной структуры в специализированной модели не получается, так как при самоприменимости такой модели на ее вход поступают символы смешанного алфавита, о чем было сказано выше, а в модели нет механизма их разделения на символы внешнего алфавита и собственные, внутренние символы.
Желая найти для самоприменимости специализированной какую-либо знакомую аналогию, можно, наверное, представить себе странное зеркало, в котором отражается не вся ваша фигура, а отдельные ее фрагменты, отсутствующие же заменяются находящимся позади нас фоном, а мы, глядя в зеркало, почему-то не можем понять - какие фрагменты отражения соответствуют нашему телу, а какие - фону.
Если сопоставить подобную модель с мозгом млекопитающих, то следует сказать, что у последних, видимо, присутствует элемент осознания себя, но он интегрирован с восприятием внешней среды. Поэтому животное не способно воспринимать себя отдельно от окружающего мира, иначе говоря, в мозге. Описываемом данной моделью, не может возникнуть подлинное сознание, ощущение я , личность. Именно поэтому нет смысла на ленте специализированной машины выделять отдельную зону для собственного описания, о чем было упомянуто выше. Этот факт дополнительно подтверждает недоразвитость канала обратной связи в модели на рис.5.
Теперь рассмотрим модель, описываемую универсальной машиной Тьюринга (рис.12). Универсальная модель работает с теми же группами символов, что были указаны ранее для специализированной модели; правда. Нужно иметь в виду. Что все символы этих групп являются теперь только символами ленты. Что же касается тех, которые образуют таблицу универсальной машины, то это сугубо внутренние символы; они могут, в крайнем случае, лишь соответствовать ленточным символам (например, символам состояний), в остальном же они имеют свою особую внутреннюю сущность, не обязательно отражающую сущность входных и выходных сигналов модели. В этой модели информацию, содержащуюся на ленте или поступающую на нее, можно разбить на следующие зоны:
- текущие данные, поступающие из внешней среды;
- множество алгоритмов работы модели;
- совокупность данных о внешней среде;
- совокупность данных о модели;
- собственное описание;
- данные о текущих реакциях.
Заметим, что между информацией в зонах совокупность данных о модели и собственное описание существует принципиальное различие: первая накапливается в онтогенезе модели, вторая суть структурное свойство и, в частности, обусловлена генетически. Кроме того, первая, как мы увидим, является осознанной информацией, вторая - это данные о структуре модели, которые осознанию непосредственно не подлежат. Управляющее устройство этой модели выполняет стандартные операции типа перезаписи слов, размещения признаков, локализации [40] и, возможно, еще ряд каких-то стандартных операций, обеспечивающих универсальность модели, т.е. ее работу по принципу интерпретации. На начальной стадии работы модели почти все зоны ленты практически пусты: один, среди немногих, там должен быть записан алгоритм перевода (трансляции) пар внешнее воздействие - выходная информация из формы данные в форму алгоритм (создание стереотипа). Принцип интерпретации данных как алгоритма (программы), а также алгоритмов как данных известен в практике современного программирования, и, видимо, эта находка является отражением реально существующих явлений.
Даже при неизменном алгоритме создания стереотипов (т.е. перекодировке данных в программы) количество последних в такой модели может быть сколь угодно большим. А если допустить возможность хотя бы ограниченного изменения этого неизменного алгоритма, стереотипы могут перестать казаться таковыми. Мы видим, что обучение в этой модели идет не по пути перестройки структуры, а посредством записи на ленту (если нужно, то и стирания) все новых и новых алгоритмов.
Таким образом, можно высказать предположение, что верхний уровень обучаемости универсальной тьюринговой модели не имеет теоретических пределов и ограничен только объемом памяти и временным фактором. Что касается эволюции универсальной модели, то она должна иметь тот же механизм, что и в специализированной модели, т.е. осуществляться с помощью медленных изменений записи алгоритма функционирования управляющего устройства. Однако так как принципы функционирования универсальной модели (по крайней мере, с точки зрения сегодняшнего уровня понимания этого вопроса) представляются оптимальными, то изменения должны касаться не структуры управляющего устройства, т.е. принципов работы, а, например, расширения возможностей алгоритма перекодировки, увеличения объема памяти и т.д. В отличие от специализированной модели, где перестраиваемость структуры была мерилом ее пластичности, в универсальной модели структура управляющего устройства не должна быть перестраиваемой, ибо перестраиваемость может легко привести к потере универсальности. Пластичность этой модели достигается за счет модификации информации на ленте. Поэтому назовем эту модель - ригидной универсальной .
Автору в настоящее время не известны работы, где бы проводились исследования по классификации универсальных тьюринговых машин или изучались вопросы о связи каких-то определенных структурных признаков со свойством универсальности. Однако можно с уверенностью сказать, что их количество (при выбранной системе кодирования информации) не столь велико. Поэтому в универсальной модели роль самоприменимости, если последняя существует, должна быть иной, а именно - не допустить в процессе мутагенеза , рекомбинаций и т.д. такую перестройку структуры управляющего устройства, при которой она может потерять свойство универсальности.
Следует отметить, что реализация самоприменимости в универсальной тьюринговой машине должна осуществляться не так, как в специализированной модели. Там было достаточно подать в качестве входного слова собственное описание и осуществить наблюдение: самоприменима - несамоприменима. Согласно исходному расположению информации на ленте универсальной машины для того, чтобы поставить ее в условия, при которых мог бы происходить процесс чтения собственного описания, информация на ленте должна быть записана так, как показано на рис.13.
Правая часть ленты - это запись таблицы универсальной машины U в виде пятерок ; эта часть интерпретируется управляющим устройством U как алгоритм. Левая часть ленты (в обычной ситуации здесь записывается входное слово, перерабатываемое алгоритмом, расположенном в правой части ленты) - также собственное описание, подлежащее обработке интерпретирующим алгоритмом. При таком расположении исходной информации и при тех принципах работы, которые заложены в интерпретирующем алгоритме, мы должны прийти к утверждению, что универсальная интерпретирующая машина Тьюринга несамоприменима.
Действительно, алгоритм, записанный на ленте справа (описание машины U), - это интерпретирующий алгоритм: все, что он умеет делать - это интерпретация слова, записанного на ленте слева, как алгоритма. Но слева, в самом деле, записан алгоритм (описание машины U), притом алгоритм интерпретирующий. Поэтому обработка левого слова фактически сводится к его интерпретации и, следовательно, выполнению как алгоритма. Это приведет к тому, что считывающая головка машины U будет перемещаться в зоны ленты, расположенные левее тех, которые изображены на рис.13. Если там ничего не записано, то головка будет двигаться влево неограниченно долго, что и приводит к заключению о несамоприменимости универсальной модели, если ее лента будет организована, как показано на рисунке.
Однако несамоприменимая интерпретирующая модель может быть сделана самоприменимой, если левее двух зон, указанных на рис.13, расположить еще две зоны, в одной из которых записать алгоритм некой специализированной машины, а в другой (самой левой) некоторое входное слово, обрабатываемое этим специализированным алгоритмом (см. рис.14). Мы не можем сообщить что-либо конкретное об этом алгоритме и слове, которое он обрабатывает, но если исходить из принципа самоконтролируемости системы, то это должен быть, как принять называть, тестирующий алгоритм, обрабатывающий некие тестирующие данные (входной тест). Если принцип самоконтроля проводить последовательно, то необходимо признать, что входное тестирующее слово должно совпадать с собственным описанием специализированной тестирующей машины. Таким образом, мы приходим к своеобразной двойной самоприменимости, складывающейся из самоприменимости универсальной интерпретирующей машины, самоприменимость которой в свою очередь возможна при условии самоприменимости некоторой специализированной тестирующей машины, встроенной в ленту машины интерпретирующей.
Ранее было отмечено, что самоприменимость универсальной тьюринговой модели реализуется на некотором внутреннем языке, что является следствием принципа интерпретации. Теперь этот вывод должен быть уточнен, так как приходится говорить о самоприменимости также и тестирующей машины. Принципы построения тестирующих программ для проверки работоспособности искусственных кибернетических систем, в частности ЭВМ, показывают, что эти тесты основаны на использовании внутренних функциональных и структурных свойств проверяемых устройств. Таким образом, введение тестирующей машины не нарушает наш вывод о том, что процесс самоприменимости универсальной тьюринговой модели целиком выполняется на ее внутреннем языке.
Если еще раз вернуться к зеркальной аналогии, которой мы воспользовались при описании самоприменимой специализированной модели, то самоприменимости универсальной модели соответствует обычное зеркало, в котором мы четко видим себя отделенным от окружающего фона.
Два процесса
Нетрудно догадаться, что коль скоро было сделано предположение о том, что в основе информационных процессов, протекающих в мозге животных, лежит специализированная тьюрингова модель, то естественно заключение о сопоставлении универсальной тьюринговой модели с мозгом человека. Такие сопоставления и будут делаться в ряде последующих разделов книги. Однако в данном разделе ради строгости изложения и нежелания дать повод читателю упрекнуть автора в предвзятости мы будем вести разговор только о моделях.
Если рассматривать упомянутые ранее процессы самоприменимости с точки зрения их контролирующих функций в специализированных и универсальных моделях, то нужно отметить следующее. Модель существует не изолированно, а находится в некоторой среде и подвергается со стороны этой среды, в частности, информационным воздействиям. Более жизнеспособной , естественно, оказывается такая модель, которая свои контролирующие функции реализует не от случая к случаю, а постоянно или - почти постоянно. Иными словами, процесс самоприменимости, поскольку он имеет длительность, должен быть периодическим.
Кроме процесса контроля в модели происходят и другие информационные процессы, и поэтому немаловажен вопрос и ответ на него - как осуществляется взаимодействие контроля с остальными процессами. По поводу периодичности (например, каково значение этого периода в разных типах моделей) сказать что-либо определенное в настоящее время не представляется возможным. Ясно одно, что величина этого периода обусловлена как параметрами модели (например, скоростью обработки информации), так и какими-то параметрами среды (например, частотой и интенсивностью внешних воздействий). Более определенные суждения, нам думается, можно сделать относительно взаимодействия процесса контроля (самоприменимости) и остальных информационных процессов, имеющих место в модели.
Рассмотрим сначала это взаимодействие на примере специализированной тьюринговой модели. Пусть в некоторый момент времени модель начинает преобразование слова, являющегося собственным описанием. Если она самоприменима, то за конечное число шагов произойдет обработка этого слова, и считывающая головка модели остановится в определенном стандартном положении относительно какой-то фиксированной позиции. Пусть эта позиция будет совпадать с левым символом входного слова, записанного на ленте и являющегося кодовым отображением информации, поступившей к этому времени в модель из внешней среды.
Согласно алгоритму, предписанному таблицей модели, последняя преобразует входное слово, запишет на ленте результирующее слово и вновь перейдет в режим самоприменимости. Затем начнется обработка следующего входного слова и т.д. Закономерен вопрос: что произойдет, если входное слово в соответствующую зону ленты не поступит? Очевидно, что модель не будет выполнять предписанный ей специализированный алгоритм, хотя процесс самоприменимости будет периодически выполняться. Таким образом, закономерен вывод: информационные процессы в специализированной тьюринговой модели (кроме процесса самоприменимости) активизируются внешней средой. Мы рассматривали одно-ленточную специализированную модель. В которой процессы самоконтроля и обработки внешней информации протекали последовательно. В многоленточной модели можно говорить о параллельном, т.е. одновременном их выполнении. Однако сделанный выше вывод о независимости процесса самоприменимости и процесса реализации специализированного алгоритма остается справедливым.
Обратимся теперь к универсальной модели. Уточнение, сделанное в предыдущем разделе, говорит, что универсальная модель будет самоприменима только тогда (при условии исправной работы механизма интерпретации), когда головка модели после чтения на ленте собственных описаний переместится в ту зону ленты, где записан какой-то специализированный алгоритм. В частном случае, как было отмечено ранее, это может быть некий тест. Напрашивается, вообще говоря, интригующий вывод. Поскольку на ленте универсальной модели записаны специализированные алгоритмы, то для их активизации не обязательно поступление на ленту входного слова непосредственно из внешней среды; алгоритмы могут активизироваться внутренним процессом самоприменимости. Иными словами, универсальная самоприменимая тьюрингова модель обладает свойством внутренней информационной активности. В то же время в этой модели не запрещена ситуация, когда какой-либо специализированный алгоритм, записанный на ленте, начнет свою реализацию с помощью интерпретирующего механизма после подачи входного слова, т.е. будет активизирован непосредственно внешним воздействием. Последняя ситуация, правда, станет возможной, если процесс самоприменимости не выполняется.
Таким образом, универсальная тьюрингова модель допускает два принципиально различных режима реализации алгоритмов, записанных на ленте. Если процесс самоприменимости не осуществляется, то алгоритмы активизируются внешними воздействиями. Если самоприменимость имеет место, то информационные процессы, соответствующие различным специализированным алгоритмам, обусловлены этой самоприменимостью. и опосредованы ею. При таком режиме работы модели идут совместно как бы два взаимоувязанных процесса: процесс самоприменимости и процесс преобразования информации; при этом первый процесс не может состояться без второго, а второй - вызван первым.
Дань трудному моменту
Итак, мы познакомились с двумя моделями машины Тьюринга - специализированной и универсальной - и убедились, что при той детализации рассмотрения, которой мы ограничились, все там просто, все на виду. Теперь самое время задать тревожный вопрос: а где же здесь сознание, где Я? Что их нет в модели, это понятно: на то она и модель; но, тем не менее, если выбранная нами модель адекватно описывает сущность процесса обработки информации мозгом, то она должна, по крайней мере, содержать элементы, которые в реальном мозге обусловливают протекание процессов, с которыми можно было бы связать появление сознания.
Если перевести приведенную ранее разбивку зон ленты универсальной модели с языка специальных терминов на общепринятый язык, то с перечисленными несколько ранее шестью зонами можно соотнести следующее:
- зрительную, слуховую, тактильную и прочую информацию, поступающую в мозг через органы чувств из внешнего мира (в том числе и своего собственного тела);
- данные, обеспечивающие протекание в мозге процессов, которым мы ставим в соответствие такие понятия, как мышление, думанье;
- информацию о том, что человек на данный момент знает о внешнем мире; его научные знания, мировоззрение, культура, социально-нравственные нормы и т.д. и т.п., т.е. все данные о внешнем мире, хранящиеся в памяти;
- аналогичную информацию, но только уже не о внешнем мире, а о себе, также хранящуюся в памяти;
- данные о текущих реакциях в модели, которым можно поставить в соответствие постоянно присутствующие в мозге человека проявления его жизнедеятельности (имеется в виду не деятельный или физиологический уровень, а скрытые от наблюдателя мозговые команды , являющиеся источником деятельности).
Читатель, конечно, заметил, что перечислено пять пунктов и отсутствует соответствие зоне собственного описания . Это не забывчивость автора, а дань трудному моменту. Трудность заключается в том, что, во-первых, собственное описание - это не то, что модель (или человек) знает о себе, ибо знание о себе может быть переменчивым, а собственное описание - это константа. На языке модели, мы это уже знаем, оно соответствует описанию таблицы (алгоритма) функционирования управляющего устройства. Возможно, в мозге ему соответствует неизвестная нам структура или функциональное образование. Во-вторых, наличие в модели, на ленте собственного описания само по себе еще ничего не означает. Оно никакими, скажем так, преимуществами перед другими зонами не обладает, кроме одного отличительного признака: оно записано на внутреннем языке, нигде, ни в чем не совпадающим с языком других зон ленты. Нам неизвестен пока какой-либо внутренний язык мозга, который мы могли бы сопоставить с внутренним языком модели.
Внимательный читатель заметил также, что среди отмеченных выше признаков и свойств функционирования человеческого мозга отсутствует такое понятие, как сознание. Можно возразить, что уже была указана зона информации, содержащая данные о самом себе и способная предположительно образовать качественно новую категорию, которую можно было бы сопоставить с понятием сознания. Однако это возражение парируется следующим образом. Информация о себе накапливается только через постижение внешнего мира, посредством общения с другими людьми. Знание о наших достоинствах или недостатках, способностях, наклонностях, словом, знание о том, что есть я , образуется на основе, одинаковой с образованием знания что есть он , ибо все мы находимся в одной природной среде, в одном социуме. Другое дело, что знание о себе может характеризоваться иногда большей полнотой, чем знание о других, но это тема из другой плоскости рассмотрения. Таким образом, природа появления в модели совокупности данных о модели та же, что и совокупности данных о внешней среде . Отсюда напрашивается вывод, что, так как нет качественного различия между процессами обработки информации в названных зонах, то, скорее всего, не следует ожидать появления нового качества при чтении информации из зоны совокупность данных о модели .
Время вернуть небольшой долг: во второй главе мы обещали подробнее рассмотреть синдром множественности личности . Мы, конечно, не можем объяснить его на языке психологии или физиологии. Однако объяснение в терминах универсальной тьюринговой модели выглядит достаточно простым. Упомянутая выше зона совокупность данных о модели в случае рассматриваемого синдрома фактически должна состоять из нескольких подзон, обмен информацией между которыми невозможен. Каждая такая подзона соответствует определенной личности .