CC BY
88
УДК 004.387; 535.417
ЛОГИКА С ИСКЛЮЧЕНИЕМ НА АЛГЕБРЕ ФУРЬЕ-ДУАЛЬНЫХ ОПЕРАЦИЙ: НЕЙРОСЕТЕВОЙ МЕХАНИЗМ РЕДУЦИРОВАНИЯ КОГНИТИВНОГО
ДИССОНАНСА1
А.В. Павлов3
a Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики, Санкт-Петербург, Россия, [email protected]
В развитие подхода к реализации методом голографии Фурье немонотонных логик из класса нечетко-значимых показан механизм редуцирования когнитивного диссонанса. Когнитивный диссонанс возникает при восприятии новой информации, противоречащей ранее сложившейся субъективной картине мира, представленной в виде двойного каскада преобразования Фурье с голограммой Фурье-матрицы связей нейронных слоев репрезентации входной информации и заключения. Голограмма реализует монотонную логику по правилу вывода «Обобщенный Modus Ponens». Новая информация представлена голограммой исключения - матрицей связей слоев заключения и исключений, связанных преобразованием Фурье-операцией, задающей дуальность определяющих алгебру логики операций конъюнкции и дизъюнкции. Голограмма исключения формирует вывод, дуальный выводу по правилу «Обобщенный Modus Ponens». Показано, что обученная основному правилу и исключению система может быть представлена моделью двухслойной нейронной сети с разными матрицами связей для прямой и обратной итераций. Введена функция энергии сети, определяющая циклический характер динамики, и дан анализ диссипативного члена, обуславливающего конвергентность динамики. Показано влияние условий записи голограмм правила «Обобщенный Modus Ponens» и исключения на характер динамики и скорость схождения системы к устойчивому состоянию, характеризующемуся независимостью значения логического заключения от значений входных переменных. Такой тип динамики, ведущий к формированию толерантности, характерен для обыденной формы мышления, нацеленной на устойчивость внутренней картины мира. Для реализации научной формы мышления, ориентированной на адекватность внутренней картины мира реальности, необходим механизм, останавливающий релаксацию сети; этот механизм должен быть внешним по отношению к модели логики. Приведены результаты численного моделирования для условий обучения, адекватных условиям записи реальных голограмм Фурье.
Ключевые слова: информационные технологии, когнитивные механизмы, когнитивный диссонанс, голография, нейронные сети, диссипативный фактор.
LOGIC WITH EXCEPTION ON THE ALGEBRA OF FOURIER-DUAL OPERATIONS: NEURAL NET MECHANISM OF COGNITIVE DISSONANCE
REDUCING2 A. Pavlovb
b Saint Petersburg National Research University of Information Technologies, Mechanics and Optics, Saint Petersburg, Russia, [email protected]
A mechanism of cognitive dissonance reducing is demonstrated with approach for non-monotonic fuzzy-valued logics by Fourier-holography technique implementation developing. Cognitive dissonance occurs under perceiving of new information that contradicts to the existing subjective pattern of the outside world, represented by double Fourier-transform cascade with a hologram - neural layers interconnections matrix of inner information representation and logical conclusion. The hologram implements monotonic logic according to "General Modus Ponens" rule. New information is represented by a hologram of exclusion that implements interconnections of logical conclusion and exclusion for neural layers. The latter are linked by Fourier transform that determines duality of the algebra forming operations of conjunction and disjunction. Hologram of exclusion forms conclusion that is dual to the "General Modus Ponens" conclusion. It is shown, that trained for the main rule and exclusion system can be represented by two-layered neural network with separate interconnection matrixes for direct and inverse iterations. The network energy function is involved determining the cyclic dynamics character; dissipative factor causing convergence type of the dynamics is analyzed. Both "General Modus Ponens" and exclusion holograms recording conditions on the dynamics and convergence of the system are demonstrated. The system converges to a stable status, in which logical conclusion doesn't depend on the inner information. Such kind of dynamics, leading to tolerance forming, is typical for ordinary kind of thinking, aimed at inner pattern of outside world stability. For scientific kind of thinking, aimed at adequacy of the inner pattern of the world, a mechanism is needed to stop the net relaxation; the mechanism has to be external relative to the model of logic. Computer simulation results for the learning conditions adequate to real holograms recording are presented.
Keywords: information technologies, cognitive systems, cognitive dissonance, holography, neural networks, dissipative factor.
1 Работа выполнена при поддержке РФФИ, грант 12-01-00418-а, и НИР СПб НИУ ИТМО «Исследование эффектов нелинейной голографической записи информации и поиск возможностей реализации биологически мотивированных
механизмов креативного мышления».
2
The work was done with supporting from the Russian Foundation for Basic Research, grant 12-01-00418-а and SPb NRU ITMO S&R work «Research of nonlinear holographic information record effects and retrieval of implementation facilities for biologically motivated procedures of creative thinking»
Введение
Одно из актуальных направлений развития информационных технологий - реализация моделей и механизмов, обусловливающих проявление феноменов, отчасти аналогичных тем, что присущи биологическому мозгу [1]. В рамках когнитивного подхода к обработке информации на первый план выходят механизмы восприятия и включения новой информации в структуру существующего индивидуального знания [1] - когнитивные механизмы и их внешние проявления - когнитивные феномены.
Один из таких феноменов, когнитивный диссонанс (КД), проявляет конфликт между двумя когни-циями - уже наличествующим знанием, представленным в виде внутренней картины мира, и знанием новым, ей противоречащим [2]. С КД неразрывно связан защитный механизм его редуцирования, направленный на обеспечение субъективной непротиворечивости внутренней картины мира [3]. Можно выделить две парадигмы редуцирования КД, соответствующие двум когнитивным стилям - научному и обыденному [4]. Для первого, ориентированного на адекватность картины мира реальности, характерно повышение когнитивной активности для получения новой информации, позволяющей согласовать диссонирующие когниции их дополнением. В этом случае КД может формально рассматриваться как ошибка обучения, устранимая также методами обучения. Для обыденного когнитивного стиля характерен примат устойчивости картины мира, даже вопреки ее адекватности реальности, и КД относится уже более к психологической, чем формально-логической противоречивости [3]. Здесь только дообучение не даст эффекта в силу иных приоритетов носителя данного когнитивного стиля [4].
В качестве модели, описывающей механизм включения новой информации во внутреннюю картину мира, интерес представляют немонотонные логики, в которых заданное при начальном обучении значение логического заключения может меняться при восприятии новой информации [5]. Применительно к феномену КД актуален частный случай немонотонных логик - логики с исключением [6]. Но логика - не только абстрактная модель (алгебра), но в первую очередь - атрибут психической сферы [7]. Соответственно, чтобы претендовать на адекватность, алгебра логики должна моделировать феномены, присущие человеческой психике, в том числе феномен КД и его редуцирования в форме, характерной для обыденного когнитивного стиля.
В числе информационных технологий, соответствующих основным постулатам когнитивного подхода [1], интерес, среди прочих, представляет и голография - как в силу естественного параллелизма оптической обработки двумерных массивов информации, так и в силу ряда аналогий между свойствами голограмм и мозга [8, 9]. В работах [10-15] развит подход к реализации нечетко-значимых логик методом голографии Фурье. Этот подход объединяет формальную модель логико-лингвистического моделирования по Л. Заде [16] с биологически мотивированным методом представления информации паттернами внутренней репрезентации и их обработки [12, 17, 18]. В рамках подхода в [13] дана модель логики с исключением (ЛИ), а в [15] показана реализация на ЛИ феномена, аналогичного КД. В [15] остался открытым вопрос о внутреннем механизме и закономерностях редуцирования КД, их зависимости от свойств материального носителя интеллекта и условий его обучения.
В настоящей работе, в развитие [10-15], показан обусловленный диссипативным фактором имманентный данной модели механизм редуцирования КД, характерный для обыденного когнитивного стиля, и выявлены закономерности динамики в связи с условиями обучения и свойствами голографических регистрирующих сред.
Подход
Для удобства читателя, с учетом междисциплинарного характера работы, кратко изложим основные моменты развиваемого подхода и иллюстрируем формальные построения простым примером. Детали заинтересованный читатель найдет в [10-15].
В живых системах информация из внешнего мира воспринимается сенсорами, преобразуется сенсорами и сенсорными трактами, и на коре головного мозга активируются картины нейронной активности - паттерны внутренней репрезентации информации, которые и обрабатываются мозгом - биологической нейронной сетью [17, 18]. Применение голографии в искусственном интеллекте мотивировано аналогией между обработкой паттернов мозгом и изображений голограммой [4, 7-9]. В частности, 4f -схема голографии Фурье (на рис. 1, а, ограничена пунктиром) реализует двухслойную нейронную сеть (на рис. 1, б, ограничена пунктиром) с матрицей связей по модели внешнего произведения векторов, описывающих изображения. Запись голограммы Фурье реализует правило обучения Хебба. Метод наложенных голограмм позволяет связать набор пар векторов без использования статистических методов.
В работах [10, 11, 13] показано, что схема голографии Фурье порождает при обработке изображений алгебру Фурье-дуальных определяющих модель операций. Преобразование Фурье, удовлетворяющее аксиоматическому определению операции, задающей дуальность, обусловливает нечетко-значимость адекватной схеме логики как отображение в модели реального физического явления дифракции [13].
Задача объединения двух подходов - нейросетевого, основанного на обработке паттернов, и формально-алгебраического, основанного на представлении смысла значений лингвистических переменных 18 Научно-технический вестник информационных технологий, механики и оптики
10 Scientific and Technical Journal of Information Technologies, Mechanics and Optics
2014, №1 (89)
нечеткими числами и их обработке по правилам арифметики нечетких чисел [16] - решена в [12] в пространстве Фурье приравниванием спектров амплитуд нечетких чисел (абстрактная модель) и изображений как аналогов паттернов внутренней репрезентации. Этот подход позволил применить аппарат нечетких чисел к описанию обработки произвольных изображений и реализации вывода «Обобщенный Modus Ponens» на универсальной шкале. Применительно к логике в рамках развиваемого подхода формальной операции изменения моды нечеткого числа, описывающего изменение смысла значения лингвистической переменной в [16], соответствует физически реальная операция изменения спектра амплитуд изображения, представляющего значение лингвистической переменной. Поскольку в рамках голографической реализации [11] непосредственная оценка моды нечеткого числа невозможна, она проводится измерением радиуса его корреляции, совпадающего с радиусом корреляции описываемого нечетким числом изображения.
В алгебре логики [10, 11, 13] дизъюнкция реализуется сверткой. Поскольку при обработке изображений их свертка в общем случае - многомодальное распределение, т.е. не удовлетворяет критерию однозначности интерпретации, предъявляемому к логическому заключению, то оператор импликации определен через вычитание. Вычитание (абстрактное) в алгебре [10, 11, 13] реализуется операцией корреляции, результат которой формируется в +1-м порядке дифракции схемы голографии Фурье.
ЛИ обычно строится добавлением к монотонной логике по правилу вывода «Modus Ponens», оператора исключения «если не ...» [7]. Пример ЛИ из повседневной жизни: «Если яблоко большое, то оно хорошее, если не перекормлено нитратами».
Первая часть вывода - монотонная логика «Если яблоко большое, то оно хорошее» в [10-12] реализована 4f -схемой голографии Фурье (рис. 1, а, ограничена пунктиром). Связи слоев репрезентаций In и заключений С реализованы каскадом двойного преобразования Фурье Lb L2 с голограммой Нм, записанной паттернами: в слое In - ImInmin(x,y), представляющим минимальное значение лингвистической переменной «размер», и в С - ImCmin(Z,^), представляющим связанное c ним значение заключения - лингвистической переменной «качество»:
HGMP (Vx,vy) = 4GMP (F* (Iminmax (x,y))F(Imcmin (C,n))) , (1)
где v x, v - частоты; - координаты в слое С; ^GMP - оператор, учитывающий обуславливающую дополнительную фильтрацию на голограмме (1) нелинейность голографической регистрирующей среды, астериск - символ комплексного сопряжения.
i .Slooo] HGMp С о о О H?' _____-► E [öl О -1 [oj
---►
б
Рис. 1. 6f -схема голографии Фурье (а) и модель трехслойной нейронной сети (б)
ЛИ построена в [14] добавлением к двухслойной нейронной сети, реализующей монотонную логику (рис. 1, б, ограничена пунктиром), слоя исключений Е, связанного со слоем С преобразованием Фурье (рис. 1, б). Таким образом, исключение связано с заключением монотонной логики операцией, задающей дуальность определяющих модель операций. Оптическая схема, реализующая данную трехслойную сеть на этапе обучения исключению, представляет собой 6/ -схему голографии Фурье (рис. 1, а).
После обучения сети монотонной логике - записи голограммы (1), записывается голограмма (матрица связей) исключения Н: в слое исключения Е предъявляется паттерн исключения 1тКЕ (хх ,ху), а в
слое С - паттерн заключения ImCREGMP (Z,л), символ R в нижних индексах означает «эталон». Этот паттерн формируется голограммой (1) при предъявлении в слое In паттерна ImIn(x,y), с которым связано исключение (в нашем примере - большое яблоко, подозрительное на нитраты):
HE (С,п) = ЛЕ (F(IrnRE (Xx,Xy))ImGMP (C,n)). (2)
В данной модели на вход сети поступает только паттерн, представляющий посылку монотонной логики - значение переменной «размер». Значение исключения ассоциативно вызывается из памяти заключением, сформированным по правилу монотонной логики, и, в свою очередь, модифицирует его. Такая модель ЛИ адекватна реальным ситуациям - покупатель может оценить значение переменной «размер», но не может непосредственно оценить значение переменной исключения (уровень нитратов), так как у него нет лабораторного оборудования. Однако ранее полученная информация об опасности нитратов связана в памяти с размером - именно большое яблоко подозрительно на повышенный уровень нитратов. Следовательно, оценка размера вызывает из памяти ассоциированное с ней значение исключения.
Для модификации исключением начального вывода, слой Е связан со слоем In так, что паттерн из слоя Е, подается в слой без изменений In. При предъявлении в слое In паттерна ImIn(x,y), представляющего текущее значение переменной «размер», в слое С формируется паттерн ImcGMP(Z,^), представляющий значение лингвистической переменной «качество», полученное по правилу монотонной логики:
ImGMP (Z,n) = m (x, y) ® ^ (M™ (x, y)), (3)
где ® - символ операции корреляции. Этот паттерн, проходя матрицу связей слоев С и Е (дифрагируя на голограмме (2)), формирует в слое Е паттерн
ImE (Xx,Хy) = F[ImGMP МК [F[ыш (x,,Xy))^СГ (C,n)]} = 4
= Im^ (Xx,Xy)*(F{ImGMP (U))® F(ImGMP M)))
где нижний индекс означает дополнительную фильтрацию вследствие нелинейности голографических регистрирующих сред, а * - символ операции свертки. В выражении (3) значение заключения в слое Е связано со значением заключения, формируемым по правилу монотонной логики в слое С, преобразованием Фурье, удовлетворяющим аксиоме невозрастания, входящей в определение задающей дуальность операции [13]. В результате шкала, формируемая голограммой H в слое Е, инверсна шкале в слое С.
Модификация первоначального заключения осуществляется подачей паттерна (4) на входной слой In. Тогда в слое С формируется новый паттерн - заключение ЛИ:
Iml(С,п) = IMe (хx, Xy) ® Imnnrn^Mp(x у). (5)
Если при обучении исключению выполнено условие
ImRE (Xx ,Хy ) 6 {ImIn (^ У)} ,
то паттерн (5) в области глобального максимума автокорреляционной функции является унимодальным, т.е. удовлетворяет критерию однозначности интерпретации логического заключения и пригоден для подачи на исполнительные органы.
Выражение (5) описывает паттерн, формируемый в одном цикле ImIn ^ ImGMP ^ Imc . Вместе с тем, в модели нет факторов, останавливающих процесс - паттерн (5) вновь поступает на голограмму (2), и процесс развивается далее. Ниже покажем, что диссипативные свойства данной системы определяют ее динамику, аналогичную редуцированию КД в форме, характерной для обыденного когнитивного стиля -имеет место не изменение внутренней картины мира с учетом новой информации, а формирование толерантности [19], и определим связь характеристик процесса со свойствами элементов схемы.
Динамика системы
Как видно из приведенного выше рассмотрения, третий слой Е необходим только для дообучения сети исключению - записи голограммы (2). Полностью обученная система может быть представлена моделью двухслойной сети с разными матрицами связей: (1) - для In ^ C и (2) - для обратной C ^ In итераций. Тогда для обученной сети координаты (хx ,хУ) в слое исключения E, совпадающего со слоем In, можно заменить на координаты (x, y) слоя In.
Поскольку матрица связей - голограмма (1) (при описании паттернов как векторов ImInmin и 1тСшЬ) определена как их внешнее произведение, то для итерации In^C определим энергию как частный случай функции Ляпунова посредством скалярного произведения векторов ImIn и ImC , описывающих текущее состояние слоев In и C [20]:
Ene х-(ImInHGMPImC). (6)
Для итерации C ^ In, поскольку голограмма (2) также может быть представлена как внешнее произведение F(ImC^) и ImE , энергию сети определим аналогично:
ECI„ х -(( F ( ImGMP )) HЕ Im*n ) = -(( F ( ЫЛ )q( F * ( Im&))) HЕ Iml ). (7)
Полная энергия системы определяется как сумма (6) и (7):
E = Enc + Ecin = -Cinc ( Im Л HGMP ImC )-Ccn (( F ( Im, )q( F' ( Im ^ ^ ))) H Е Iml ),
где cInC и cCIn - нормировочные коэффициенты. Компонент EInC определяет конвергентность динамики сети [20] как схождение к аттрактору
jImin ^ ImnnШ1П ,
[ ImC ^ ô,
где ô - дельта-функция, описывающая точечный источник как вектор размерностью 1. Компонент ECIn, в свою очередь, определяет динамику сети
\f(ImGMPF(ImGiMPX),
[ Imn ^ Imnm„ •
Таким образом, имеем противоположное направление динамики системы на встречных итерациях
In^C и C-^-In
Для анализа динамики примем допущение, что обрабатываемые паттерны описываются как реализации однородных изотропных случайных полей и отношение площадей паттернов и корреляции SIm/SCorT достаточно велико для того, чтобы применительно к глобальным максимумам их автокорреляционных функций можно было пренебречь свойством некоммутативности операции корреляции. Тогда паттерн - заключение ЛИ (5) на n-ой итерации описывается выражением
mUCn ) = F (mV^Cn ))* ¡[ ImE4E ( x y )® F (mGM (Ç,n ))]® m^Mr (x, y)}, (8)
где ImCMP (Z,n) из (4), начиная со второй итерации, мы обозначаем ImEc{n_ï) (Z,n). В (8) от номера итерации
n зависит F (Im(E(n-1) (Z,n)), а член в фигурных скобках является диссипативным фактором, учитывающим
дифракцию на голограммах H°MP и
Для консервативной системы динамика сети в устоявшемся режиме имела бы колебательный характер (6)-(7). Наличие в (8) диссипативного члена обусловливает затухание колебаний - схождение процесса к устойчивому состоянию
ImC(n) (Z,n) = F(ImC(n) (C,n))*¡[ImE,E (x,y)® F(to™ (Ç,n))]® M^mp (^y)} . (9)
Из (9) следует зависимость скорости схождения от характеристик минимального элемента последовательности входных паттернов ImIn m1n ( x, y ) и условий обучения системы - условий записи голограмм.
При радиусе корреляции минимального элемента последовательности ImInm1n (x, y), сравнимом с дифракционным пределом разрешения, т.е. rInm1nqGMP (Ç, q) « S(Ç, q), голограмма H}M будет иметь постоянную во всем частотном диапазоне дифракционную эффективность. Если голограмма H записана паттерном ImRE = ImInm1n, то также rE (x,y) « S(x,y), и в части, обусловленной выбором паттерна исключения при обучении системы, диссипативный член минимален, поскольку
ImEqE ( x, y )® ImInminq°MP (x, y ) = 8( Çfl) .
В [14] показано, что для обеспечения максимальной чувствительности логики целесообразно проводить обучение системы исключению паттерном ImCMEP = Im^MT . Поскольку ImGMP - максимальный элемент последовательности ¡Imc } , то
|F(ImGMP (Cn))| = S(vx,Vy ) .
При таком выборе условий обучения монотонной логике исключению диссипативный член в (9) минимален:
¡[MEqE (x, y) ® F (M™ (Cn))] ® mminqGMP (X, y)} « S (X, y) .
В пределе этот член теряет диссипативный характер - система стремится к консервативности, а ее аттрактор - к циклическому. Однако в силу внутренней коррелированности как атрибута информации,
отличающего ее от шума, при обучении системы должны выполняться условия, исключающие разрушение внутренней коррелированности, в первом приближении эти условия могут быть определены [21] как
ГыШщ™ ^ 35 ^ , ГЕ (X У ) ^ 38 (X У) •
По мере увеличения радиусов корреляций паттернов расти будет также и член (9) - скорость затухания колебаний будет возрастать. При обучении сети исключению паттернами 1тВЕ (х, у) = 1т1птах (х, у)
и F ((С,п)) = F (1тСтП (С,п)) оба паттерна являются максимальными элементами соответствующих
последовательностей, и член (9) будет иметь максимальное значение, а скорость конвергенции - максимальна.
Радиусы корреляций паттернов, входящих в диссипативный член, определяются как радиусами корреляции исходных паттернов, так и условиями записи голограмм вкупе с экспозиционными характеристиками голографических регистрирующих сред. В силу ограниченности динамического диапазона регистрирующих сред голограммы (1) и (2) всегда записываются в ограниченном частотном диапазоне [22-24]. Высокочастотная фильтрация ведет к убыванию радиуса корреляции и, тем самым, к убыванию значения диссипативного члена, низкочастотная - к его росту.
Из (9) видно, что устойчивое состояние не зависит от начальной точки процесса релаксации - для всех значений входных переменных система релаксирует к одному аттрактору, определяемому диссипа-тивным членом в (9). Иными словами, формируется толерантность - одинаковое значение 1тС для всех значений набора {1т1п} [19].
Численное моделирование
Моделировалась динамика системы (рис. 1) при обработке паттернов - реализаций случайного процесса с гауссовым спектром амплитуд и случайным спектром фаз, равномерно распределенных на интервале [0, 2л]. Размер реализаций - 1024 пикселей. Голограмма (1) записывалась паттернами 1тптп,
голограмма (2) - 1тЕЕ = 1т1пт1п и 1т™Р - заключением монотонной логики, полученным при максимальном значении входной лингвистической переменной (ЛП) 1тптх. В рамках примера предъявлялась последовательность паттернов {1Щп } = ^Щхе } = {ImSmaU , 1ти,,1е , 1тМеЛит , 1тЬщ } , ОТЛИЧаЮщ^^ с°ГЛас-но [10, 12], спектрами амплитуд с одинаковыми спектрами фаз. Условия записи голограмм и свойства регистрирующих сред моделировались введением дополнительных высокочастотных и низкочастотных фильтров Гаусса.
Условия моделирования применительно к голограмме НМ даны в таблице. Для двух серий наборов входных ЛП с радиусами корреляции {г0"606} = {14, 27, 53, 105} (а) и {г0б606} = {9, 18, 35, 70} (б) приведены значения радиуса корреляции минимального элемента 1тптп - импульсного отклика системы 50 606, описывающего фильтрацию на голограмме (1), в пикселях по уровню 0,606 и нормированные на
длину реализации параметры фильтра Гаусса - центральная частота у0 и ширина по уровню 0,606 - И),боб-
На рис. 2, а, приведены графические представления логик, порождаемых разными голограммами НМР (строки 1, 4 и 7 в таблице) при линейных Н - три семейства зависимостей, связывающих входную (ось абсцисс) и выходную (ось ординат) лингвистические шкалы для следующих логик: монотонной (возрастающие зависимости), с исключением на первой итерации (убывающие зависимости) и на 10-й итерации. Справа и сверху даны метрические шкалы, соответствующие лингвистическим. Градуировка метрических шкал согласно субъективным лингвистическим шкалам эксперта задается при обучении [12, 13]. Видно, что к 10-й итерации система при линейной 4 и низкочастотной 7 голограммах НМР приходит в состояние толерантности (9) - для всех значений входной переменной формируется одно значение выходной переменной. При высокочастотной голограмме НМ диссипативный член имеет меньшее значение - скорость конвергенции ниже, и к 10-й итерации система еще не достигла состояния (9).
На рис. 2, б, приведены примеры динамики для этих моделей голограммы НМР. Для наглядности приведена динамика для максимального элемента последовательности значений входных лингвистических переменных «большое». Для других значений динамика имела такой же характер, сходилась, как и следует из (8), к устойчивому состоянию, отличаясь, в соответствии со значением входной переменной, меньшим размахом колебаний. Для оценки скорости схождения системы зависимости значения (8) по уровню 0,606 от номера итерации п аппроксимировались экспонентой 1тЕ 0 606 (п) = у0 + ехр (-An), значения коэффициента Л и количество итераций Ыт, за которое система достигает устойчивого состояния, также даны в таблице.
Входная метрическая шкала, r0,606, пиксели
20 40 60 S0 100 i->-1-■-1-1-1-1-г
J_._I_i_I_i_L
Small
Little Middle Big
1 ----4----7
а
70 60 50 40
30 20
70
60
s
§ 50
«
S
с
Л
H
CD
§ К
п о
X
PQ
40
30
20
2 4 6 S Номер итерации, n
— ■— 1 - о- 4 ..д.. 7
б
10
Рис. 2. Динамика системы для ряда условий записи голограммы HGMP (табл.): а - графические представления логик зависимостями значений на выходных шкалах (лингвистической - слева и метрической - справа) от значений на шкалах входных (лингвистической - снизу и метрической - сверху):, первая цифра в обозначениях кривых - номер строки в таблице, вторая - номер итерации: 1-0, 4-0, 7-0 - логики монотонные, 1-1, 4-1, 7-1 - ЛИ, 1-ая итерация, 1-10, 4-10, 7-10 - ЛИ, 10-я итерация; б - динамика системы как зависимость заключения, формируемого при предъявлении на входе максимального значения, от номера итерации; номер кривой соответствует строке таблицы
0
Номер ^0,606 , пиксели Параметры фильтра А Nm
а б Тип фильтра H H0,606 а б а б
1 12 S ВЧ 30 20 0,14 0,2 >10 >10
2 13 9 ВЧ 20 20 0,52 0,37 >10 >10
3 13 9 ВЧ 10 20 0,66 0,56 >10 >10
4 14 9 нет — — 0,74 0,57 10 >10
5 19 17 НЧ 30 40 0,SS 0,71 S 9
6 24 19 НЧ 20 40 1,1 0,94 6 6
7 29 2S НЧ 20 20 1,S5 1,45 3 3
Таблица. Параметры динамики в зависимости от характеристик голограммы Нмр (ВЧ - высокочастотный
фильтр, НЧ - низкочастотный фильтр)
Из таблицы видно, что с ростом радиуса корреляции минимального элемента, используемого для записи голограммы НМР - импульсного отклика системы, растет и значение параметра Л, описывающего скорость схождения системы к устойчивому состоянию (9). Радиус корреляции, в свою очередь, определяется как собственно входным паттерном (серия а или б), так и условиями записи голограммы НМР, обусловливающими тот или иной вид дополнительной фильтрации.
Заключение
Таким образом, динамический характер нейронной сети, реализующей логику с исключением на алгебре Фурье-дуальных определяющих модель операций, обусловливает колебательный тип динамики как частный случай когнитивного диссонанса, возникающего при восприятии информации, противоречащей уже сложившейся внутренней картине мира, представленной монотонной логикой. Редуцирование когнитивного диссонанса определяется диссипативным характером системы - при оптической реализации диссипативным фактором является фундаментальное физическое явление дифракции на голограммах мо-
нотонной логики и исключения. Поскольку реализуемая алгебра логики основана на Фурье-дуальности определяющих модель операций, а преобразование Фурье описывает дифракцию, то данный диссипатив-ный фактор и соответственно механизм редуцирования когнитивного диссонанса, имманентен модели. Скорость редуцирования как схождения к устойчивому состоянию определяется свойствами голографиче-ских регистрирующих сред и условиями записи голограмм, интегральной оценкой здесь может служить импульсный отклик системы, описывающий степень диссипативности системы в терминах дифракционного уширения точки.
Этот механизм может быть соотнесен с характерным для обыденного когнитивного стиля конфликтом между стремлением к устойчивости внутренней модели мира и необходимостью учета нового знания - отказа от сложившихся стереотипов. Если система релаксирует, то она приходит в устойчивое состояние безразличия или толерантности - значение заключения логики с исключением не зависит от значения входных лингвистических переменных. Уровень этой толерантности определяется операторами r(1M и q5, описывающими свойства регистрирующих сред и условиями обучения.
Этот сценарий, характерный для обыденного когнитивного стиля, неприемлем в рамках научного стиля познания - здесь необходим механизм, останавливающий итерационную процедуру. Скорее всего, он должен быть внешним по отношению к модели и может быть соотнесен с присущим интеллекту высокого уровня механизмом саморефлексии. Отметим, что остановка итерационного процесса - лишь первый шаг формирования новой внутренней картины мира. Эта картина должна быть не только адекватна реальности, но и внутренне непротиворечива. Последнее обусловливает, вероятно, реализацию новой картины мира не в виде двух голограмм, поскольку они связаны оператором, задающим дуальность, т.е. противоречат друг другу, но одной голограммы. Иными словами, если это предположение верно, то логика с исключением - закономерный и необходимый, но лишь промежуточный этап процесса познания как процесса формирования и постоянной корректировки внутренней картины мира, адекватной реальности.
Литература
1. Кузнецов О.П. Когнитивная семантика и искусственный интеллект // Искусственный интеллект и принятие решений. 2012. № 4. С. 32-42.
2. Психологическая энциклопедия / Под ред. Р. Корсини, А. Ауэрбаха. 2-е изд. СПб: Питер, 2006. 1096 с.
3. Хекхаузен X. Мотивация и деятельность. 2-е изд. СПб: Питер; М.: Смысл, 2003. 860 с.
4. Кузнецов О.П. Быстрые процессы мозга и обработка образов // Новости искусственного интеллекта. 1998. № 2 [Электронный ресурс]. Режим доступа: http: //raai.org/library/ainews/1998/2/DISTR.ZIP, свободный. Яз. рус. (дата обращения 5.12.2013).
5. Вагин В.Н., Головина Е.Ю., Загорянская А.А., Фомина М.В. Достоверный и правдоподобный вывод в интеллектуальных системах. 2-е изд. М.: ФИЗМАТЛИТ, 2008. 712 с.
6. Reiter R. A logic for default reasoning // Artificial Intelligence. 1980. V 13. N 1-2. P. 81-132.
7. Кузнецов О.П. Неклассические парадигмы в искусственном интеллекте // Изв. РАН. Сер. Теория и системы управления. 1995. № 5. С. 3-23.
8. Прибрам К. Нелокальность и локализация: голографическая гипотеза о функционировании мозга в процессе восприятия и памяти // Синергетика и психология. В.1. Методологические вопросы. М.: МГСУ «Союз», 1997. С. 156-183.
9. Кузнецов О.П., Марковский А.В., Шипилина Л.Б. Голографические механизмы обработки образной информации. М.: Институт проблем управления им. В.А.Трапезникова РАН, 2007. 82 с.
10. Павлов А.В. Математические модели оптических методов обработки информации // Изв. РАН. Сер. Теория и системы управления. 2000. № 3. С. 111-118.
11. Павлов А.В. Об алгебраических основаниях Фурье-голографии // Оптика и спектроскопия. 2001. Т. 90. № 3. С. 515-520.
12. Алексеев А.М., Константинов А.М., Павлов А.В. Использование метода Фурье-голографии для моделирования принципа образности мышления // Оптический журнал. 2006. Т. 73. № 9. С. 77-82.
13. Павлов А.В. Об алгебраических основаниях голографической парадигмы в искусственном интеллекте: алгебра Фурье-дуальных операторов // Сборник научных трудов V Международной научно-практической конференции «Интегрированные модели и мягкие вычисления в искусственном интеллекте». М.: ФИЗМАТЛИТ, 2009. Т. 1. С. 140-148.
14. Павлов А.В. Алгебра Фурье-дуальных операций: логика с исключением // Искусственный интеллект и принятие решений. 2012. № 3. С. 26-38.
15. Павлов А.В. Логика с исключением на алгебре Фурье-дуальных операций: феномен сомнений и колебаний // Сборник научных трудов VII Международной научно-практической конференции «Интегрированные модели и мягкие вычисления в искусственном интеллекте». М.: ФИЗМАТЛИТ, 2013. Т. 3. С. 1035-1045.
16. Заде Л. Понятие лингвистической переменной и его применение к принятию приближенных решений. Сер. Математика. Новое в зарубежной науке. М.: Мир, 1976. В. 3. 167 с.
17. Борисюк Г.Н., Борисюк Р.М., Казанович Я.Б., Иваницкий Г.Р. Модели динамики нейронной активности при обработке информации мозгом - итоги «десятилетия» // Успехи физических наук. 2002. Т. 172. № 10. С. 1189-1214.
18. Тушканов Н.Б., Тушканова О.Н. К построению мультисенсорных систем: принципы работы неокор-текса головного мозга при распознавании объектов внешнего мира // Труды конгресса по интеллектуальным системам и информационным технологиям (К-ГГ'12). М.: ФИЗМАТЛИТ, 2012. Т. 2. С. 373-378.
19. Общая психология: Словарь / Под ред. А.В. Петровского. М.: Пер Сэ, 2005. 251 с.
20. Магницкий Н.А. Распознавание образов распределенными динамическими системами // Доклады академии наук. 1994. Т. 338. № 3. С. 320-321.
21. Шубников Е.И. Отношение сигнал/помеха при корреляционном сравнении изображений // Оптика и спектроскопия. 1987. Т. 62. № 2. С. 450-456.
22. Кулешов А.М., Шубников Е.И., Смаева С.А. Об оптимальности голографического согласованного фильтра // Оптика и спектроскопия. 1986. Т. 60. № 6. С. 1273-1276.
23. Александрина С.А., Кулешов А.М. Влияние режекции низких пространственных частот спектра на параметры сигнала в голографическом корреляторе // Оптика и спектроскопия. 1990. Т. 68. № 3.
24. Кулешов А.М., Шубников Е.И. Влияние нелинейности среды и пространственных ограничений фильтра на параметры сигнала в голографическом корреляторе // Оптика и спектроскопия. 1986. Т. 60.
С. 652-655.
№ 3. С. 606-609.
Павлов Александр Владимирович
кандидат технических наук, доцент, старшин научный сотрудник, Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики, Санкт-Петербург, Россия, [email protected]
Alexander Pavlov
PhD, Associate professor, Senior scientific researcher, Saint Petersburg National Research University of Information Technologies, Mechanics and Optics, Saint Petersburg, Russia, [email protected]
