Особенности применения в программных алгоритмах интуиционой нечеткой логики Атанасова

ОСОБЕННОСТИ ПРИМЕНЕНИЯ В ПРОГРАММНЫХ АЛГОРИТМАХ ИНТУИЦИОНОЙ НЕЧЕТКОЙ ЛОГИКИ АТАНАСОВА Усов А.Е.1, Варламов А.А.2, Бабкин О.В.3, Дос Е.В.4, Мостовщиков Д.Н.5

1Усов Алексей Евгеньевич - ведущий архитектор;

2Варламов Александр Александрович - старший архитектор; 3Бабкин Олег Вячеславович - старший архитектор;

4Дос Евгений Владимирович - архитектор;

5Мостовщиков Дмитрий Николаевич - старший архитектор, Системный интегратор «Li9 Technology Solutions», г. Райли, Соединенные Штаты Америки

Аннотация: рассмотрены базовые методы математического представления интуиционистских нечетких множеств Атанасова через функцию принадлежности и уровень достоверности принадлежности элемента к множеству. Алгоритмы анализа наборов данных на базе интуиционистских нечетких множеств Атанасова были разделены на группы, которые включают в себя два слагаемых (уровень принадлежности и уровень непринадлежности) и три слагаемых (уровень принадлежности, уровень непринадлежности и уровень достоверности). При этом была построена базовая схема расчета первой и второй групп расширенных модальных операторов. Было указано, что развитие данного подходов возможно через применение топологических операторов, в частности оператора замыкания и внутреннего оператора, которые должны быть связаны с базовыми модальными операторами. Рассмотрены базовые подходы по обобщению нечетких множеств Атанасова через интуиционистские L-нечеткие множества, множества второго типа и темпоральные множества. Показан приоритет подходов, в рамках которых интуиционистские нечеткие множества Атанасова представляются в виде интервалов, что позволяет рассматривать множество через верхнюю и нижнюю границу интервала значений функции принадлежности без определения множества значений, которые может принимать функция непринадлежности. Ключевые слова: нечеткие множества, уровень достоверности принадлежности элемента к множеству, уровень принадлежности, расширенные модальные операторы, топологические операторы, обобщение интуиционистских нечетких множеств Атанасова, интервальное представление.

PECULIARITIES OF ATANASSOV'S INTUITIONISTIC FUZZY LOGIC APPLICATION AT SOFTWARE ALGORITHMS Usov A.Ye.1, Varlamov A.A.2, Babkin O.V.3, Dos E.V.4, Mostovshchikov D.N.5

1Usov Aleksey Yevgenyevich - Lead Systems Architect;

2Varlamov Aleksandr Aleksandrovich - Senior Solution Architect;

3Babkin Oleg Vyacheslavovich - Senior System Architect;

4Dos Evgenii Vladimirovich - System Architect;

5Mostovshchikov Dmitrii Nikolayevich - Senior System Architect, IT INTEGRATOR «LI9 TECHNOLOGY SOLUTIONS», RALEIGH, UNITED STATE OF AMERICA

Abstract: the basic methods of the mathematical representation ofAtanassov's intuitionistic fuzzy sets are considered through the membership function and the hesitation margin. Algorithms for analyzing datasets based on Atanassov's intuitionistic fuzzy sets were divided

into groups, which include two terms (level of membership and level of non-membership) and three terms (level of membership, level of non-membership and hesitation margin). At the same time, the basic scheme for calculating the first and second groups of extended modal operators was constructed. It was stated that the development of this approach is possible through the use of topological operators, in particular, the closure operator and the internal operator, which should be associated with the basic modal operators. Basic approaches to the generalization of Atanassov's intuitionistic fuzzy sets through intuitionistic L-fuzzy sets, second-type sets, and temporal sets are considered. The priority of approaches is shown, within which Atanassov's intuitionistic fuzzy sets are represented as intervals, which allows considering the set through the upper and lower limits of the interval of the membership function values without defining the set of values that the non-membership function can take.

Keywords: fuzzy sets, hesitation margin, membership level, extended modal operators, topological operators, generalization of Atanassov's intuitionistic fuzzy sets, interval representation.

УДК 331.225.3

Введение

Интуиционистские нечеткие множества Атанасова (A-IFS: Atanassov's intuitionistic fuzzy sets) на сегодняшний день рассматриваются как стандартный подход при обобщении и математическом представлении нечетких множеств, на основе которых строятся прогностические модели [1-6]. A-IFS предоставляют эффективный математический инструментарий, который может быть использован в широком спектре задач. При этом характерно, что, в свою очередь, существуют подходы обобщения A-IFS, что показывает гибкость данного математического инструмента при анализе разнообразных аспектов и выделении связей в больших массивах данных.

Анализ последних исследований и публикаций в данной области показал приоритет использования интервальных методов представления нечетких множеств [11]. Кроме того были рассмотрены методы получения расширенных модальных операторов и топологических операторов [7, 8]. Кроме того был проведен анализ нескольких групп методов обобщения A-IFS [9, 10].

Целью работы, таким образом, стала разработка методологии построения комплексных алгоритмов на основе интервального представления A-IFS в соответствии с типом поставленной задачи.

1. Базовые подходы построения интуиционистских нечетких множеств Атанасова

Математическое описание нечетких множеств может быть обобщено в следующей форме [1]:

А' = {х,МА

где набор значений, которые могут принимать функция принадлежности в нечетких множествах МА (х) и ее параметр х определяются через такую систему уравнений как:

(МДх) 6 [0; 1]

I х е X '

В таком случае, на основе равнений (1), (2) Л-ГР8 может быть представлено через функцию А:

I х е X '

где функция МА(х) отвечает за уровень принадлежности, а функция Л/А(х) отвечает за уровень непринадлежности, причем на эти функции накладываются следующие ограничения:

(МА (х) 6 [0; 1] v х 6 А

j X - [ 0 ; 1 ] .

V х 6 А fO < МА(х) + Na(x) < 1 I- х е А

Таким образом, нечеткое множество может универсально определяться через A-IFS:

[А = {Х,Ма

I X Е X ,

Также дополнительно должен быть введен такой параметр как уровень достоверности принадлежности элемента к множеству A-IFS (HM: Hesitation Margin), определяющий достоверность принадлежности х Е А [2]

С0 < НМ А

I X Е X ,

который показывает свою эффективность при определении расстояний между элементами, уровней соответствия и уровней энтропии [3 -6].

2. Разработка комплексных алгоритмов анализа наборов данных на базе интуиционистских нечетких множеств Атанасова

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

• алгоритмы, которые включают в себя два слагаемых (уровень принадлежности м а (х) и уровень непринадлежности n а (х) );

• алгоритмы, которые включают в себя три слагаемых (уровень принадлежностиМА (х) , уровень непринадлежности na (х) и уровень достоверности нм а (х) ).

В случае A-IFS необходимое условие А = {х,Ма'(х),1 — МА'(х)} для хЕХ соответствует достаточному условию А = [х,1 — N А • (х) , N А • (х) }:

I х Е X .

Очевидно, что для A-IFS равенство (7) не выполняется, т.к. операторы в данном случае не дают одинаковых результатов. Эти два оператора распространяются на другие операторы модального типа, которые не имеют аналогов в теории нечетких множеств оцениваемых интервальным значением (IVFS: Interval-Valued Fuzzy Sets).

Первая группа расширенных модальных операторов, а также вторая группа, которая выводится непосредственно из первой [7, 8], включает в себя следующие функции (рис. 1):

DJA) = {x, MA

JafXA) = U,MA(x) + а  HMA(x),ß  Na(x)} Vlaj'XA) = [x,MA(x) + а  (1 - HMA(x) - ß  NA(x)),ß  NA(x)}

x ex

, а + ß < 1

Где вторая группа функций, описывается как:

~da(A) = {x,Na{x) + а  НМА(х),МА(х) + (1 - а)  НМА(х)} faßW = {x,Na(х) + а  НМА{х),МА{х) + ß  НМА(х)}

ga,ß(A) = {х,а- Na(x),ß  МА(х)} K,ß{A) = {х,Na(х),Ма(х) + ß  НМА(х)} h*aß(А) = {х,а- Na(х), Л^(х) + /?  (1 - а  NA(x) - МА(х))}

j

Ja,ß(A) = {x, Na(x) + a-(l-NA(x)-ß- MA(x)),ß  MA(x)} Pa,ß(A) = {x, max(a, MA(x)), min(ß, NA(x))}

<2а,/з04) = {x, min(a, MA(x)), max(ß, NA(x))} i£X а +/? < 1

Развитие подходов, которые основываются на A-IFS связано с применением топологических операторов, в частности оператора замыкания (closure operator) — С, а также функций К и L, которые данный оператор использует в качестве своих аргументов, и внутреннего оператора (interior operator) — /, а также функций к и Z, которые данный оператор использует в качестве своих аргументов, которые должны быть связаны с базовыми модальными операторами.

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

I у £ Е ,

Г L = min(NA(y)) 1 у ЕЕ

Рис. 1. Базовая схема расчета первой и второй групп расширенных модальных операторов

В то же время внутренний оператор может быть вычислен на основе следующей системы уравнений:

(1(А) = {х, к, 1} 1 х ЕЕ Г к = тт(МА(у)) I у ЕЕ , (I = шах(Л^(у)) 1 у ЕЕ

Характерно, что так же, как и модальные операторы, топологические операторы не могут быть использованы в методах на базе ГУ^. Помимо того, следует отметить,

что, не смотря на то, что A-IFS, рассматривается как обобщение нечетких множеств, они, в свою очередь, тоже могут быть обобщены (рис. 2).

Рис. 2. Базовые подходы по обобщению нечетких множеств Атанасова.

Одним из обобщений A-IFS являются интуиционистские L-нечеткие множества (intuitionistic L-fuzzy sets), в которых значения функций МА и NAявляются элементами некоторой фиксированной решетки L [9].Другим подходом является построение A-IFS второго типа, причем в рамках данного подхода на модальные операторы накладываются следующие ограничения:

О <

Помимо этого для обобщеия A-IFS могут быть использованы темпоральные (temporal) A-IFS [10].

3. Представление интуиционистских нечетких множеств Атанасова в виде интервалов

С целью упрощения алгоритмов на основе A-IFS была разработана математическая модель, которая позволяет представлять данные нечеткие множества в виде интервалов:

А: [М

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

Рассмотрим применение данного подхода на примере оценки эффективности работы алгоритма защиты информационного ресурса от потерь (DLP: Data Leak Prevention), который работает в рамках системы мониторинга центра обработки данных (ЦОД) и может быть соотнесен с аналогичными алгоритмами. Если эффективность работы алгоритма описывается через функцию e, то A-IFS можно представить как: А :{е,М (е) ,N (е) ,НМ (е) }. При этом функция принадлежности M(e) определяет преимущества алгоритма, а функция непринадлежности N (е) , соответственно его недостатки. В свою очередь при интервальном представлении Н М (е) задает границы для функций М (е) и N (е) с учетом неравенства (4):

п

О < M(e)+N(e) < 1 Таким образом, на основе предложенной интервальной формы представления A-IFS можно рассчитать значения для наилучшего, среднего и наихудшего варианта работы алгоритма - Атax, Aav, Атп, соответственно (рис. 3):

Amax-.{e,M(e)+HM(e),N(E)}

lAav-.{e,M

+

НМ

2 , N (Е) + Н-^1]. Anin:{e,M(e),N(E)+HM(e)}

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

^ Анализ DLP-алгоритма

I

Алгоритм на базе A-IFS

M N НМ

Применение к A-IFS интервального подхода

0

Функция принадлежности

Интервал:

wmin{e),mmax{e)\

О

Функция непринадлежности

Интервал: [Nmin(.e),Nmax(e)]

Оценка эффективности работы DLP-алгоритма

Наилучший вариант: {е,М(е) + HM(e),N(E)} Наихудший вариант: {е, М(е), NÇE) + НМ(е)}

Средний вариант: ( НМ(е) НМ(е)Л

Рис. 3. Использование интервального подхода при работе с нечеткими множествами

Атанасова

При этом наглядно демонстрируется необходимость уменьшить величину НМ с целью уменьшения интервала и получения более точного результата с прогнозирования с минимальным разбросом.

Выводы

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

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

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

2. комплексная схема обобщения нечетких множеств Атанасова, которая включает в себя расширенные модальные операторы;

3. методология применения интервального подхода при работе с нечеткими множествами Атанасова.

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

Список литературы /References

1. Atanassov K. T. (2012) On Intuitionistic Fuzzy Sets Theory. Springer-Verlag.

2. Szmidt E., Kacprzyk J. (2000): Distances between intuitionistic fuzzy sets. Fuzzy Sets and Systems, 114 (3), 505-518.

3. Szmidt E., Kacprzyk J. (2001): Entropy for intuitionistic fuzzy sets. Fuzzy Sets and Systems, 118, Elsevier, 467-477.

4. Szmidt E., Kacprzyk J. (2006): Distances Between Intuitionistic Fuzzy Sets: Straightforward Approaches may not work.3rd International IEEE Conference Intelligent Systems IEEE IS'06, London, 716-721.

5. Szmidt E. and Kacprzyk J. (2007): Some problems with entropy measures for the Atanassov intuitionistic fuzzy sets. Applications of Fuzzy Sets Theory. LNAI 4578, Springer-Verlag, 291-297.

6. Szmidt E. and Kacprzyk J. (2007): A New Similarity Measure for Intuitionistic Fuzzy Sets: Straightforward Approaches may not work.2007 IEEE Conf. on Fuzzy Systems, 481-486.

7. Atanassov K.T. (2006) Intuitionistic fuzzy sets and interval valued fuzzy sets. First Int. Workshop on IFSs, GNs, KE, London, 6-7 Sept. 2006, 1-7.

8. Szmidt E. (2014). Intuitionistic Fuzzy Sets as a Generalization of Fuzzy Sets. Distances and Similarities in Intuitionistic Fuzzy Sets Studies in Fuzziness and Soft Computing, 738. doi: 10.1007/978-3-319-01640-5_2.

9. Lipscomb, S.L. (2008). From 3-Web IFS to 3-Simplex IFS 3-Space and the 2-Sphere. Springer Monographs in Mathematics Fractals and Universal Spaces in Dimension Theory, 1-35. doi:10.1007/978-0-387-85494-6_14.

10. Atanassov K.T. (2012). Intuitionistic Fuzzy Relations (IFRs). On Intuitionistic Fuzzy Sets Theory Studies in Fuzziness and Soft Computing, 147-193.