Операции над нечеткими множеств

Определения нечетких теоретико-множественных операций объединения, пересечения и дополнения могут быть обобщены из обычной теории множеств. В отличие от обычных множеств, в теории нечетких множеств степень принадлежности не ограничена лишь бинарной значениями 0 и 1 ‑ она может принимать значения из интервала [0, 1]. Поэтому, нечеткие теоретико-множественные операции могут быть определены по-разному. Ясно, что выполнение нечетких операций объединения, пересечения и дополнения над не нечеткими множествами должно дать такие же результаты, как и при использование обычных канторовских теоретико-множественных операций. Ниже приведены определения нечетких теоретико-множественных операций, предложенных Л. Заде.

Определение 20. Дополнением нечеткого множества заданного на называется нечеткое множество с функцией принадлежности для всех . На рис. 4 приведен пример выполнения операции нечеткого дополнения.

Рисунок 4 - Дополнение нечеткого множества

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

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

Обобщенные определения операций нечеткого пересечения и объединения - треугольной нормы (t-нормы) и треугольной конормы (t-конормы или s-нормы) приведены ниже.

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

1. (граничное условие);
2. если (монотонность);
3. (коммутативность);
4. (ассоциативность).

Наиболее часто используются такие t-нормы: пересечение по Заде ‑ ; вероятностное пересечение ‑ ; пересечение по Лукасевичу ‑ . Примеры выполнения пересечения нечетких множеств с использованием этих t-норм показаны на рис. 5.

Рисунок 5 - Пересечение нечетких множеств с использованием различных t-норм

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

1. (граничное условие);
2. если (монотонность);
3. (коммутативность);
4. (ассоциативность).

Наиболее часто используются такие s-нормы: объединение по Заде ‑ ; вероятностное объединение ‑ ; объединение по Лукасевичу ‑ . Примеры выполнения объединения нечетких множеств с использованием этих s-норм показаны на рис. 6.

Наиболее известные треугольные нормы приведены в табл. 1.

Рисунок 6 - Объединение нечетких множеств с использованием различных s-норм

Таблица 1 - Примеры треугольных норм

		Параметр
		‑
		‑
		‑
		‑