Важным вопросом использования нечетких множеств в прикладных задачах является построение соответствующих операторов агрегирования нечеткой информации и анализ их семантик. В теории нечетких множеств имеется возможность применять различные операции объединения, пересечения и дополнения множеств в зависимости от контекста и ситуации. Основные бинарные операции над нечеткими множествами были описаны выше. Однако можно показать, что для любых нечетких множеств операторы
и являются единственно возможными операторами пересечения и объединения при выполнении следующих свойств:
С другой стороны, ясно, что жесткие, поточечно однозначные операторы недостаточно полно отражают смысл многозначных лингвистических преобразований термов лингвистических переменных. Поэтому большой практический интерес представляет построение обобщенных нечетких операторов, т.е. параметризованных операторов пересечения, объединения, дополнения и др. Весьма общий и изящный подход к целенаправленному формированию нечетких операторов пересечения и объединения заключается в их определении в классе треугольных норм и конорм
Определение.
Треугольной нормой (сокращенно -нормой) называется двухместная действительная функция , удовлетворяющая следующим условиям:
Треугольная норма является архимедовой, если она непрерывна и для любого нечеткого множества выполнено неравенство . Она называется строгой, если функция
строго возрастает по обоим аргументам. Примерами треугольных норм являются следующие операторы:
Определение.
Треугольной конормой(сокращенно -конормой) называется двухместная действительная функция , удовлетворяющая следующим условиям:
Треугольная конорма является архимедовой, если она непрерывна и для любого нечеткого множества выполнено неравенство . Она называется строгой, если функция строго убывает по обоим аргументам.
Примерами треугольных конорм являются следующие операторы:
В теории нечетких множеств оператор дополнения не является единственным. Помимо общеизвестного , существует целый набор операторов дополнения нечеткого множества.
Пусть задано некоторое отображение . Это отображение будет называться оператором отрицания в теории нечетких множеств, если выполняются следующие условия:
(1)
(2)
Если кроме этого выполняются условия:
(3) — строго убывающая функция
(4) — непрерывная функция
то она называется строгим отрицанием.
Функция называется сильным отрицанием или инволюцией, если наряду с условиями (1) и (2) для нее справедливо:
(5)
Приведем примеры функции отрицания: