Теория нечетких множеств

Понятие нечеткого множества. Свойства нечетких множеств. Функция принадлежности. Лингвистическая переменная. Операции над нечеткими множествами

Пусть — так называемое универсальное множество, из элементов которого образованы все остальные множества, рассматриваемые в данном классе задач, например множество всех целых чисел, множество всех гладких функций и т. д. Характеристическая функция множества — это функция , значения которой указывают, является ли элементом множества :

Особенностью этой функции является бинарный характер ее значений.

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

Более строго, нечетким множеством называется совокупность пар

где — функция принадлежности, т. е. .

Пусть, например,

Будем говорить, что элемент не принадлежит множеству , элемент принадлежит ему в малой степени, элемент более или менее принадлежит, элемент принадлежит в значительной степени, является элементом множества .

Лингвистическую переменную можно определить как переменную, значениями которой являются не числа, а слова или предложения естественного (или формального) языка. Например, лингвистическая переменная "возраст" может принимать следующие значения: "очень молодой", "молодой", "среднего возраста", "старый", "очень старый" и др. Ясно, что переменная "возраст" будет обычной переменной, если ее значения — точные числа; лингвистической она становится, будучи использованной в нечетких рассуждениях человека.

НЕ нашли? Не то? Что вы ищете?

Каждому значению лингвистической переменной соответствует определенное нечеткое множество со своей функцией принадлежности. Так, лингвистическому значению "молодой" может соответствовать функция принадлежности.

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

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

Дополнение нечеткого множества: .

Пример. Пусть — нечеткое множество "от 5 до 8" и — нечеткое множество "около 4", заданные своими функциями принадлежности:

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

Носителем нечеткого множества называется четкое множество таких точек в , для которых величина положительна, т. е. .

Высотой нечеткого множества называется величина (верхняя граница его функции принадлежности_

Нечеткое множество называется нормальным, если . В противном случае оно называется субнормальным.

Нечеткое множество называется пустым, если . Очевидно, что в данном универсуме существует единственное пустое нечеткое множество. Непустое субнормальное нечеткое множество можно привести к нормальному (нормализовать) по формуле

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

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

Множество строгого уровня определяется в виде . В частности, носителем нечеткого множества является множество элементов, для которых .

Точка перехода нечеткого множества — это такой элемент , для которого .

Четкое множество , ближайшее к нечеткому множеству , определяется следующим образом:

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

Нечеткие множества и равны () если

Нечеткое множество A считается подмножеством нечеткого множества B, если для всех элементов A выполняется неравенство muA(x)<=muB(x).

Введем еще несколько дополнительных операции над нечеткими множествами:

Концентрация множества CON(A) muCON(A)(x)=(muA(x))2 –  увеличение нечеткости. Эта операция при действиях с лингвистической переменной обычно отождествляется с модификатором "очень".

Растяжение (размытие, размазывание) множества DIL(A) muDIL(A)(x)=(muA(x))0.5 уменьшение нечеткости
Эта операция при действиях с лингвистической переменной обычно отождествляется с модификаторами "примерно", "приблизительно".

Алгебраическое произведение множеств A*B muA*B(x)=muA(x)*muB(x)

Ограниченная сумма двух множеств A |+| B muA|+|B(x)=min(1, muA(x)+muB(x))

Ограниченная разность двух множеств A |-| B muA|-|B(x)=max(0, muA(x)-muB(x))

Ограниченное произведение двух множеств A |*| B muA|*|B(x)=max(0, muA(x)+muB(x)-1)

Ω - универсальное множество

A={ Ω , A(x)}

A(x): Ω[0,1]

Иван1=(173, 28, …)

Иван2=(190, 16, …)

xВМБ

В(Иван1)=0,4, М(Иван1)=0,3, Б(Иван1)=0,7, ВМ(Иван1)=0,3,  ВМБ(Иван1)=0,3

ВМ(х)=В (х)М(х)

ВМ(х)=В (х)М(х)

ВМ(х)=В (х)*М(х)

Если a<1, b<1, a*b<ab

В-(x)=1-В (х)

Нечеткие множества

A={(x1)/x1, (x2)/x2,…, (xn)/xn}

A1={0,1/Иван, 0,8/Петр, 0,4/Юрий}

A2={0,2/Сергей, 0,8/Иван, 0,9/Петр}

A1A2={0,1/Иван, 0,6/Петр}

A1A2={0,2/Сергей, 0,8/Иван, 0,9/Петр, 0,4/Юрий}

S={(x)/x} – синглет. S={0,1/Петр}

Любое множество – это объединение дуплетов.

A=U{(xi)/xi}

Носителем (sup) называют четкое множество, состоящее из элементов, для которых (x)>0.

Множество нормализованное, если хотя бы один элемент принадлежит ему со степенью 1. В противном случае множество ненормализованное.

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

A(x), maxA(x)=m, xsupA

A*(x)=A(x)/m

Введем два дополнительных операции над нечеткими множествами: увеличение нечетности – концентрация, уменьшение нечеткости – размытие.

Концентрация: PA(x)=A1-(x)

Размытие: PA(x)=

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

Нечеткое отношение

Нечеткое бинарное отношение – нечеткое подмножество декартова произведения двух базовых множеств. Если два базовых множества совпадают, отношения однородные.

- функция принадлежности, степень принадлежности пары (x, y) к принадлежности бинарного отношения.

Свойства бинарных отношений:

Рефлексивность x=1 Слабая рефлексивность x>0 Антирефлексивность Cимметричность = Антисимметричность =0 x≠y Асиметричность =0 Транзитивность

-уровень нечеткого бинарного отношения – четкое бинарное отношение =

Нечеткое отношение рефлексивное, симметричное и транзитивное – отношение эквивалентности.

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

Пример:

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

===)2