Организация формально-когнитивных нейросетей для исследования слабоформализуемых систем
Пьявченко А.О., Черный С.А.,
Шестаков А.В., Свирепо Е.А.
Статья посвящена проблемам использования формальных методов и оценок в рамках процессов когнитивного моделирования. Рассматривается специальная модель, обозначаемая, как формальная когнитивная нейросеть (ФКНС). Для описания модели используется сочетание трех инструментов: аппарата теории графов; когнитивного моделирования; нейросетевого моделирования.
Собственно модель ФКНС представляется в виде совокупности следующих описаний: топологической структуры ФКНС; модели основного обрабатывающего элемента структуры, определяемого, как формальный нейроконцепт (фнк); модели линий коммутации, обеспечивающих информационное взаимодействия фнк и определяемой как связи влияния (св). В статье рассмотрены различные типы задач анализа, проводимые на основе ФКНС.
Ключевые слова: когнитивное моделирование, концепт, расплывчатые методы, синаптические связи, фазификация/ дефазификация.
когнитивный моделирование формальный
Organisation of formally cognitive neural netsto research underformalised systems
Piavchenko A.O., Chernyi S.A., Shestakov A.V., Svirepo E.A.
The article looks into the problems of using formal methods and evaluations in the process of cognitive modelling. A particular model named as the Formal Cognitive Neural Net (FCNN) is considered. A combination of the three tools is used to describe the model: theory of graphs means, cognitive modelling; neural nets modelling. The FCNN model itself comes as the combination of the following descriptions: FCNN topological structure; the model of the main processing element of the structure named as the Formal Neural Concept (FNC); the models of switching lines providing for the information links of FNC and named as the Impact Links (IL). The article looks into various types of analysis tasks based upon FCNN.
Keywords: cognitive modelling, concept, vague techniques, synaptic links, fuzzification/defuzzification.
Когнитивные структуры получили достаточно широкое распространение, как эффективный инструмент моделирования, в области исследования слабоформализуемых задач [1], [2]. Основой для организации когнитивного анализа исследуемых систем, объектов, процессов (в дальнейшем обозначаемых, как ИС) являются экспертные оценочные суждения специалистов, поэтому наиболее естественным представлением этих оценок являются нечеткие - расплывчатые представления. Тем не менее, во многих случаях имеется возможность, по крайней мере, частичной формальной (четкой) оценки некоторых факторов ИС, функциональные аналоги которых используются в качестве концептов в когнитивных моделях.
Использование формальных параметров в когнитивных системах предусматривается по двум направлениям: во-первых, для формирования значений концептов в процессе моделирования, во-вторых, для оценки необходимости корректировки моделей. Т.о., предлагается определенная модификация традиционных когнитивных процедур, направленная на сочетание когнитивных (нечетких) и формальных (четких) оценок при формировании значения состояния концепта. Подобная модифицированная модель будет именоваться, как формально - когнитивная нейросеть (ФКНС).
Как указывалось выше, когнитивный подход используется в случае сложности или невозможности применения непосредственных измерений параметров ИС, или формальных расчетных методик, описывающих поведение ИС. Вместе с тем, в отдельных случаях имеется возможность оценки некоторых факторов модели как когнитивными, так и формальными методами. Так, например, при организации исследований модели электростанции [3] когнитивными методами, в состав модели может быть включен концепт «Себестоимость электроэнергии» как когнитивный фактор, зависимый через причинно - следственные связи от таких концептов, как «Уровень квалификации персонала», «Объемы отпускаемой электроэнергии», «Состояние оборудования» и т.п. Кроме того, данный фактор может быть определен в процессе реальной деятельности предприятия в соответствии общепринятыми нормативами и методиками и отражен в документах бухгалтерской отчетности.
Функционирование формально-когнитивных нейросетевых моделей
Предлагаемые подходы к построению обсуждаемых в настоящей статье моделей связаны с определенной общностью базовых представлений и основных конструкционных элементов, используемых для формирования указанных моделей: графовых, когнитивных и нейросетевых. Данная общность обуславливается следующими соответствиями [4]: а) вершина графовой модели - концепт когнитивной модели - нейрон (нейроэлемент) нейросетевой модели; б) дуга графовой модели - причинно - следственная связь когнитивной модели - синаптическая связь нейросетевой модели. В рассматриваемой модели ФКНС базовыми конструкционными элементами являются: а) формальный нейроконцепт (фнк); б) связь влияния (вс). Таким образом, топология формально - когнитивной сети описывается подобно графовой системы следующим образом:
Т_ФКН = {{ФНК, ВС}}
Здесь ФНК={фнкI1}I1=1…N1 - множество формальных нейроконцептов (N1 - мощность множества ФНК). Каждый из фнк в рамках общей модели рассматривается, как элементарный процессор обработки информации для исполнения сетевых формально-концептуальных вычислений. ВС = {всI2}I2=1…N2 - множество связей влияния (N2 - мощность множества связей влияния), топологически соответствующих дугам графовой модели и по смысловой нагрузке аналогичны причинно - следственным связям когнитивных моделей. Учитывая топологические особенности графовых моделей можно указать, что каждая подобная связь фактически представляет собой пару, содержащую указание на а) формальный нейроконцепт, для которого описываемая связь является входом (первый элемент пары); б) формальный нейроконцепт, из которого связь исходит (второй элемент пары): I2=?I1,I3?, т.о., вместо индекса I2 может быть указана соответствующая пара индексов.
Рассматривая формальный нейроконцепт, как элементарный процессор - обработчик в рамках ФКНС, алгоритм его функционирования определим в виде нижеприводимой последовательности шагов, иллюстрируемой рисунком 1.
Рис. 1 - Алгоритм функционирования формального нейроконцепта.
ШАГ 1: Определение значения элементарного воздействия от сети (эвс):
эвсI1,I3(tK) = всI1,I3 * п_выхI3(tK).
Здесь: эвсI1,I3 - элементарное воздействие на формальный нейроконцепт с индексом I1 от формального нейроконцепта с индексом I3;
- всI1,I3 - вес связи влияния;
- п_выхI3 - выходной потенциал (потенциал воздействия на сеть) формального нейроконцепта с индексом I3.
ШАГ 2. Определение значения потенциала общего входного сетевого воздействия на формальный нейроконцепт (п_вх):
п_вхI1 = ?(I3=1…N3) эвсI1,I3(tK).
ШАГ 3*. Определение потенциала когнитивного воздействия (п_кв). Указанный потенциал формируется как совокупность двух частей, включающих а) значение потенциала на предыдущем шаге моделирования и б) потенциала входного воздействия на текущем шаге. При этом, в определенном смысле, общее элементарное воздействие можно рассматривать как приращение (положительное или отрицательное) на текущем шаге моделирования:
п_квI1(tK) = п_квI1(tK-1) + эвсI1(tK).
ШАГ 3**. Определение формального потенциала (п_ф). Как уже отмечалось, данные процедуры определения формального нейроконцепта являются индивидуальными и определяются спецификой предметной области. Для технических систем подобный параметр может формироваться на основе показаний датчиков/измерительных систем. Для организационных - на основе документальных данных или показателей расчетных методик. Так, в упоминавшемся выше примере, фактор «Себестоимость» отражается в соответствующей документации по финансово - экономической деятельности электростанции и имеет четкое выражение.
ШАГ 4. Определение полного потенциала воздействия на формальный нейроконцепт (п_о):
п_оI1(tK) = fПВ(п_квI1(tK), п_кфI1(tK)),
где: - fПВ - функция формирования потенциала воздействия. В зависимости от особенностей моделируемой ИС предлагается использования нескольких вариантов представления функции fП:
1) Выбор максимума: п_о I1 = MAX(п_квI1(tK), п_кфI1(tK)).
2) Медианный выбор: п_о I1 = ((п_квI1(tK) + п_кфI1(tK)/2).
3) Весовой выбор: п_о I1 = к1*п_квI1(tK) + к2*п_кфI1(tK),
где к1, к2 - весовые коэффициенты.
Частный случая варианта 3 - к2=0. В этом случае формальная составляющая используется только для задач корректировки моделей.
Следует отметить, что на данном шаге возникает проблема совместного использования в вычислительных процедурах когнитивных параметров, определяемых в нечетком (расплывчатом) представлении и формальных (четких) представлений. Традиционным образом данная проблема решается за счет использования таблиц фазификации/дефазификации [5], которые формируются на стадии синтеза ФКНС - модели на основе экспертных оценок.
ШАГ 5. Определение состояния формального нейроконцепта (с_фнк) на текущем (tК - ом) шаге моделирования. По аналогии с механизмом определения значения потенциала, значение состояния на текущем шаге определяется как совокупность двух составляющих - значения состояния на предыдущем шаге (как базовой составляющей) и значения потенциала воздействия (как приращения на текущем шаге):
с_фнк I1(tK) = с_фнк I1 (tK-1) + п_оI1(tK).
ШАГ 6. Определение значения выходного потенциала (потенциала воздействия):
п_выхI1(tK) = fВП(с_фнк I1(tK)).
По аналогии с традиционными когнитивными моделями в качестве выходного потенциала может быть использовано значение общего потенциала, который являются смысловым аналогом значения концепта. Однако, используя подход из области нейросетевого моделирования, для введения нелинейности в процесс моделирования предлагается использование соответствующих процедур, например, сигмоидов, что позволяет как усиливать слабые сигналы, так и не насыщаться от сильных сигналов [6].
Формирование функциональной модели ФКНС, с одной стороны, строится на основе а) совмещения формальных и когнитивных представлений концепта; б) использования нейросетевых механизмов для моделирования указанных формально - когнитивных взаимодействий. Следует отметить, что применение нейросетевого аппарата для моделирования когнитивных процессов позволяет использовать мощный нейросетевой инструментарий для построения и обработки когнитивных моделей, в том числе, и для обработки информации от экспертов при построении модели как процесс обучения нейросетевой модели. Несмотря на обозначенную выше общность когнитивных и нейросетевых представлений, невозможно впрямую подобрать аналог модели нейрона для адекватного описания модели ФКНС. В первую очередь это связано с отсутствием в традиционных нейронных моделях средств для представления параметра «состояние концепта» из когнитивных описаний. В качестве наиболее подходящего аналога предлагается использование предложенной авторами ранее модели динамического нейрона с памятью состояния (ДНПС) [7].
Организация процессов моделирования
Учитывая роль формальных нейроконцептов как элементарных обработчиков информации, связей влияния, как линий коммуникации, ниже рассматривается структурная организация указанных конструкционных элементов ФКНС - моделей:
А) Структурное описание фнк:
стр_фнкI1 = {<им_нкI1>,<табл_фдI1>},
где: им_нк - имя функционального нейроконцепта; табл_фд - таблица фазификации/дефазификации значений параметров нейроконцепта.
Б) Структурное описание связи влияния:
стр_вI2 = {<н_верI2>, <к_верI2>, <всI2>},
где н_вер - номер вершины, из которой исходит связь (начальная вершина); к_вер - номер вершины, в которую направлена связь (конечная вершина).
Введенные выше описания, кроме выполнения основных функций моделирования, могут использованы для формирования иерархических структур и динамической интеграции исследуемых систем из ранее подготовленных фрагментов.
Жизненный цикл моделей, формируемых в соответствии с рассматриваемыми в настоящей статье предложениями, можно представить в виде нижеприводимой последовательности этапов:
Формирование опорной модели (ОМ);
Исполнение модели/решение задач анализа ИС в соответствии с конкретным расчетным заданием;
ОМ представляет собой информационно - логическое описание ИС. Подобная модель содержит топологическое описание ФКНС в виде графовой структуры в соответствии с соотношением (1), а также весовые значения основных конструкционных элементов и описывается следующим соотношением:
ОМ = {Т_ФКН, С_ФНК(0), ВС}.
Здесь:С_ФНК(0) - массив начальных весов (значений) состояний формальных нейроконцептов, ВС - массив весов связей влияния, подготовленные на стадии формирования опорной модели.
Исполнение модели, связанное с формально - когнитивным анализом поведения ИС, можно представить в виде некоторого оператора, обозначаемого как «>», переводящего начальные условия для анализа и описание моделируемой системы в результаты моделирования (результаты анализа) в соответствии с нижеприводимым соотношением:
(ВОЗД(Т)):МОД(Т) > (МОД(Т+1)),
что интерпретируется, как процедура воздействия на текущую формальную нейрокогнитивную модель (МОД(Т)) с переводом ее в новое состояние (МОД(Т+1), которое рассматривается в качестве результата исполнения моделирования. Применительно к специфике рассматриваемой предметной области, можно выполнить конкретизацию приведенного достаточно общего соотношения.