Русская Википедия:Метаграф

Содержание

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Метаграфы в математике — обобщение концепций графовых структур. В метаграфе есть и элементы и орграфов, и гиперграфов, сам метаграф процесса выстраивается на основе иерархического графа. Формально, метаграф определяется множество <V,MV, E, ME>, где V — множество вершин, MV — множество метавершин, E — множество ребер, ME — множество метаребер.

Метаграфовая модель А. Базу и Р. Блэннинга

Исторически монография А. Базу и Р. Блэннинга была первым источником, в котором появился термин «метаграф». В монографии даются следующие определения, характеризующие метаграфовую модель.

Порождающее множество метаграфа — это множество переменных, встречающихся в ребрах метаграфа: <math>X = \{x_1,x_2,...,x_n\}</math> .

Ребро метаграфа <math>e = \langle V_e,W_e\rangle \in E</math> (где <math>E</math> — множество ребер) содержит входную вершину' (invertex)' <math>V_e\subset X</math> и выходную вершину (outvertex) <math>W_e\subset X</math> . Входная и выходная вершины могут содержать произвольное количество элементов. Различные элементы, принадлежащие входной (выходной) вершине, называются соответственно совходами (совыходами).

Тогда метаграф <math>S = \langle X,E\rangle</math> — это графовая конструкция, определяемая порождающим множеством <math>X</math> и множеством ребер <math>E</math>, при этом множество ребер определено на том же порождающем множестве.

Простым путем <math>h(x, y)</math> из элемента x в элемент y это последовательность ребер <math>\langle e_1,e_2,...,e_n\rangle</math> , такая что:

• <math>x</math> является входной вершиной <math>e_1, x \in invertex(e_1)</math> ;

• <math>y</math> является выходной вершиной <math>e_n, y \in outvertex(e_n)</math> ;

• для всех <math>e_i,i=1,...,n-1</math> выполняется условие: <math>outvertex(e_i) \cap invertex(e_{i+1}) \ne \varnothing</math> , то есть путь из начальной вершины в конечную не прерывается.

В монографии приводится пример метаграфа, представленный на рис. 1, для которого приводится следующая теоретико-множественная интерпретация:

• <math>S = <X, E></math>;

• <math>X = \{Exp, Notes, Prof, Rev, Pri, Vol, Wage\}</math>;

• <math>E = <\{Pri,Vol\},\{Rev\}>, <\{Vol,Wage\},\{Exp\}>, <\{Rev,Exp\},\{Prof , Notes\}>, <\{Exp\}, \{Notes\}></math>.

Эмерджентность в модели А. Базу и Р. Блэннинга достигается за счет использования ребер. Понятие метавершины в данной модели отсутствует.

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

Метаграфовая модель с метавершинами

Отсутствие естественного механизма для описания сложных графовых структур данных привело к появлению расширений исходной модели А. Базу и Р. Блэннинга. В моделях появились новые элементы — метавершины и метаребра.

В работе появляется понятие метавершины. В этой работе даются следующие определения метаграфовой модели.

Метаграф — это тройка множеств вершин, метавершин и ребер соответственно: <math>S = \langle V,W,E \rangle</math> , где <math>V = \{\nu_r\}</math> — множество вершин метаграфа (порождающее множество); <math>M = \{m_q\}</math> — множество метавершин метаграфа; <math>E = \{e_h\}</math> — множество ребер метаграфа.

Метавершина метаграфа <math>m_q = \{\nu_r \vert \nu_r \in V, r=1,...,N_{mq}\}</math> определяется как множество вершин <math>\nu_r</math> , входящих в метавершину <math>m_q</math> , где <math>N_{mq}</math> — мощность множества.

Очень интересным следует считать следующее замечание авторов модели: «… если две или больше метавершин соответствуют одному и тому же множеству вершин, то такие вершины считаются одинаковыми и рассматривается только одна из таких метавершин». Назовем данное свойство модели свойством анти-аннотируемости, особенности которого будут рассмотрены далее.

Интересно, что для задания ребер, авторы модели вводят понятие узла метаграфа <math>m\nu \in(V \cup M)</math> , принадлежащего объединённому множеству вершин и метавершин. Ребро определяется как <math>e_h = \langle m\nu_{out}, m\nu_{in} \rangle</math> , то есть характеризуется исходящим и входящим узлами метаграфа. Но использование понятия узла для создания иерархических метавершин авторами модели не предлагается.

Иерархическая метаграфовая модель с метавершинами и метаребрами

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

Метаграф в модели определяется как <math>S = \langle X,X_M,E,E_M \rangle</math> , где <math>X</math> — множество вершин метаграфа (порождающее множество); <math>X_M</math> — множество метавершин метаграфа; <math>E</math> — множество ребер метаграфа; <math>E_M</math> — множество метаребер метаграфа, заданных на множестве <math>X_M \cup X</math> .

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

Важной особенностью данной модели является то, что авторы вводят понятие вложенного метаграфа, который, как полагают авторы, является «обобщением обычных графов, гиперграфов и метаграфов».

В данной модели множество вершин <math>X</math> рассматривается как иерархическое, вводится индекс <math>i</math>, определяющий уровень вложенности вершины.

Свойство анти-аннотируемости авторами модели не утверждается и не опровергается. При этом, приводимые в статье примеры неявно используют свойство анти-аннотируемости.

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

Аннотируемая метаграфовая модель

Аннотируемая метаграфовая модель расширяет идеи исходной модели А. Базу и Р. Блэннинга и идеи работы. Содержание работы на момент появления первой версии аннотируемой метаграфовой модели было нам неизвестно.

Аннотируемую метаграфовую модель предлагается использовать как средство для описания сложных сетей, как средство для описания семантики и прагматики информационных систем, как средство для описания гибридных интеллектуальных информационных систем. Определим метаграф следующим образом: <math>S = \langle V, MV, E, ME\rangle</math> где <math>MG</math> — метаграф; <math>V</math> — множество вершин метаграфа; <math>MV</math> — множество метавершин метаграфа; <math>E</math> — множество ребер метаграфа; <math>ME</math> — множество метаребер метаграфа.

Вершина метаграфа характеризуется множеством атрибутов: <math> \nu_i = \{atr_k\}, \nu_i \in V </math> где <math>\nu_i</math> — вершина метаграфа; <math>atr_k</math> — атрибут.

Ребро метаграфа характеризуется множеством атрибутов, исходной и конечной вершиной и признаком направленности: <math>e_i = \langle \nu_S, \nu_E, eo, \{atr_k\}\rangle, e_i \in E, eo = true \vert false, </math> где <math>e_i</math> — ребро метаграфа; <math>\nu_S</math> — исходная вершина (метавершина) ребра; <math>\nu_E</math> — конечная вершина (метавершина) ребра; <math>eo</math> — признак направленности ребра (<math>eo=true</math> — направленное ребро, <math>eo=false</math> — ненаправленное ребро); <math>atr_k</math> — атрибут.

Фрагмент метаграфа в общем виде может содержать произвольные вершины (метавершины) и ребра (метаребра): <math>MG_i=\{e\nu_j\}, e\nu_j \in (V \cup E \cup MV \cup ME)</math> , где <math>MG_i</math> — фрагмент метаграфа; <math>e\nu_j</math> — элемент, принадлежащий объединению множеств вершин (метавершин) и ребер (метаребер) метаграфа.

Метавершина метаграфа в дополнение к свойствам вершины включает вложенный фрагмент метаграфа: <math>m\nu_i=\langle \{atr_k\},\{e\nu_j\}\rangle, m\nu_i \in MV, e\nu_j \in (V \cup E \cup MV \cup ME)</math>, где <math> m\nu_i </math> — вершина метаграфа; <math>atr_k</math> — атрибут, <math>e\nu_j</math> — элемент, принадлежащий объединению множеств вершин (метавершин) и ребер (метаребер) метаграфа.

Наличие у метавершин собственных атрибутов и связей с другими вершинами является важной особенностью метаграфов. Это соответствует принципу эмерджентности, то есть приданию понятию нового качества, несводимости понятия к сумме его составных частей. Фактически, как только вводится новое понятие в виде метавершины, оно «получает право» на собственные свойства, связи и т. д., так как в соответствии с принципом эмерджентности новое понятие обладает новым качеством и не может быть сведено к подграфу базовых понятий.

Таким образом, метаграф можно охарактеризовать как «сложный граф с эмерджентностью» или «сложную сеть с эмерджентностью», то есть фрагмент сети, состоящий из вершин и связей, может выступать как отдельное целое.

Пример описания метаграфа показан на рис. 2. Данный метаграф содержит вершины, метавершины и ребра. На рис. 2 показаны три метавершины: mv1, mv2 и mv3. Метавершина mv1 включает вершины v1, v2, v3 и связывающие их ребра e1, e2, e3. Метавершина mv2 включает вершины v4, v5 и связывающее их ребро e6. Ребра e4, e5 являются примерами ребер, соединяющих вершины v2-v4 и v3-v5, включенные в различные метавершины mv1 и mv2. Ребро e7 является примером ребра, соединяющего метавершины mv1 и mv2. Ребро e8 является примером ребра, соединяющего вершину v2 и метавершину mv2. Метавершина mv3 включает метавершину mv2, вершины v2, v3 и ребро e2 из метавершины mv1 а также ребра e4, e5, e8, что показывает холоническую структуру метаграфа.

Отметим, что в отличие от, в данной модели не выполняется свойство анти-аннотируемости. Одинаковый набор вершин и ребер может быть включен в несколько различных метавершин, которые могут представлять различные ситуации и быть аннотированы различными атрибутами.

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

Метаребро метаграфа в дополнение к свойствам ребра включает вложенный фрагмент метаграфа: <math>me_i = \langle \nu_S, \nu_E, eo, \{atr_k\},\{e\nu_j\}\rangle, e_i \in E, eo = true \vert false, e\nu_j \in (V \cup E \cup MV \cup ME) </math> где <math>me_i</math> — метаребро метаграфа; <math>\nu_S</math> — исходная вершина (метавершина) ребра; <math>\nu_E</math> — конечная вершина (метавершина) ребра; <math>eo</math> — признак направленности метаребра (<math>eo=true</math> — направленное метаребро, <math>eo=false</math> — ненаправленное метаребро); <math>atr_k</math> — атрибут; <math>e\nu_j</math> — элемент, принадлежащий объединению множеств вершин (метавершин) и ребер (метаребер) метаграфа.

Пример описания метаребра метаграфа представлен на рис. 3. Метаребро содержит метавершины <math> \nu_S,\dots,\nu_i,\dots,\nu_E </math> и связывающие их ребра. Исходная метавершина содержит фрагмент метаграфа. В процессе преобразования исходной метавершины <math>\nu_S</math> в конечную метавершину <math>\nu_E</math> происходит дополнение содержимого метавершины, добавляются новые вершины, связи, вложенные метавершины.

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

Если метавершины предназначены прежде всего для описания данных и знаний, то метаребра предназначены в большей степени для описания процессов. Таким образом, метаграфовая модель позволяет в рамках единой модели описывать данные, знания и процессы.

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

Аннотируемая метаграфовая модель предназначена для описания данных. Рассмотрим способ преобразования метаграфовой модели на основе мультиагентного подхода. В предлагаемом подходе используются два вида агентов: агент-функция и метаграфовый агент.

Определим агент-функцию следующим образом: <math> ag^F=\langle MG_{IN}, MG_{OUT}, AST \rangle, </math> где <math>ag^F</math> — агент-функция; <math>MG_{IN}</math> — метаграф, который выполняет роль входного параметра агента-функции; <math>MG_{OUT}</math> — метаграф, который выполняет роль выходного параметра агента-функции; <math>AST</math> — абстрактное синтаксическое дерево агента-функции, которое может быть представлено в виде метаграфа.

Определим метаграфовый агент следующим образом: <math> ag^M=\langle MG_D, R, AG^{ST} \rangle, R=\{r_j\}</math> где <math>ag^M</math> — метаграфовый агент; <math>MG_D</math> — метаграф данных и знаний, на основе которого выполняются правила агента; <math>R</math> — набор правил (множество правил <math>r_j</math>); <math>AG^{ST}</math> — стартовое условие выполнения агента (фрагмент метаграфа, который используется для стартовой проверки правил, или стартовое правило).

Структура правила метаграфового агента: <math> r_i\colon MG_j \to OP^{MG} </math> где <math>r_i</math> — правило; <math>MG_j</math> — фрагмент метаграфа, на основе которого выполняется правило; <math>OP^{MG}</math> — множество операций, выполняемых над метаграфом.

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

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

Разомкнутые правила не меняют в правой части правила фрагмент метаграфа, относящийся к левой части правила. Можно разделить входной и выходной фрагменты метаграфа. Данные правила являются аналогом шаблона, который порождает выходной метаграф на основе входного.

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

Литература

• Chapela V., Regino Criado, Santiago Moral, Miguel Romance. Intentional risk management through complex networks analysis. — Springer, 2015: SpringerBriefs in optimization.

• Попков В. К. Математические модели связности. Новосибирск: ИВ-МиМГ СО РАН, 2006.

• Johnson J. Hypernetworks in the science of complex systems. — London, Hackensack NJ: Imperial College Press, 2013.

• Basu A., Robert W. Blanning. Metagraphs and their applications. — New York: Springer, 2007.

• Глоба, Л. С. Метаграфы как основа для представления и использования баз нечетких знаний / Л. С. Глоба, М. Ю. Терновой, Е. С. Штогрина // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2015) : материалы V междунар. науч.-техн. конф. (Минск, 19-21 февраля 2015 года)/ редкол. : В. В. Голенков (отв. ред.) [и др.]. — Минск : БГУИР, 2015. — С. 237—240.

• Астанин С. В., Драгныш Н. В., Жуковская Н. К. Вложенные метаграфы как модели сложных объектов // Инженерный вестник Дона, 2012, № 4. URL: ivdon.ru/ru/magazine/archive/n4p2y2012/1434

• Самохвалов Э. Н., Ревунков Г. И., Гапанюк Ю. Е. Использование метаграфов для описания семантики и прагматики информационных систем. Вестник МГТУ им. Н. Э. Баумана. Сер. «Приборостроение». 2015. Выпуск № 1. С. 83-99.

• Черненький В. М., Терехов В. И., Гапанюк Ю. Е. Представление сложных сетей на основе метаграфов // Нейроинформатика-2016. XVIII Всероссийская научно-техническая конференция. Сборник научных трудов. Ч. 1. М.: НИЯУ МИФИ, 2016. C. 173—178.

• Черненький В. М., Гапанюк Ю. Е., Ревунков Г. И., Терехов В. И., Каганов Ю. Т. Метаграфовый подход для описания гибридных интеллектуальных информационных систем. Прикладная информатика. 2017. № 3 (69). Том 12. С. 57-79.