Операции над нечеткими множествами.
Равенство нечетких
множеств. Два
нечетких множества
и
считаются равными,
если их функции принадлежности принимают
равные значения на всем универсуме Х:
для любого
.
Равенство множеств записывается как
А=B.
Нечеткое
подмножество.
Нечеткое множество
является нечетким
подмножеством нечеткого
множества
(записывается как
)
тогда и только тогда, когда значения
функции принадлежности первого не
превосходят соответствующих значений
функции принадлежности второго, т.е.
выполняется следующее условие:
,
(
).
Пересечением
двух нечетких
множеств А
и В
будем называть некоторое третье нечеткое
множество С,
заданное на том же универсуме Х,
функция принадлежности которого
определяется по следующей формуле:
,
(
).
Операция пересечения нечетких множеств
по аналогии с обычными множествами
обозначается знаком «
».
В этом случае результат операции
пересечения двух нечетких множеств
записывается в виде:
.
Объединением
двух нечетких
множеств А
и В
будем называть некоторое третье нечеткое
множество D,
заданное на том же универсуме Х,
функция принадлежности которого
определяется по следующей формуле:
,
(
).
Операция объединения нечетких множеств
по аналогии с обычными множествами
обозначается знаком «
».В
этом случае результат операции объединения
двух нечетких множеств записывается в
виде:
.
Разностью двух
нечетких множеств А
и В
будем называть некоторое третье нечеткое
множество Е,
заданное на том же универсуме Х,
функция принадлежности которого
определяется по следующей формуле:
,
(
),
где под знаком максимума используется
обычная операция арифметической разности
двух чисел. Операция разности нечетких
множеств по аналогии с обычными
множествами обозначается знаком «\».В
этом случае результат операции объединения
двух нечетких множеств записывается в
виде: Е=А\В.
Дополнение
нечеткого
множества А
обозначается через
и определяется как нечеткое множество
,
функция принадлежности которого
определяется по следующей формуле:
,
(
).
Нечеткие операторы.
Важным вопросом использования нечетких
множеств в прикладных задачах является
построение соответствующих операторов
агрегирования нечеткой информации и
анализ их семантик. В теории нечетких
множеств имеется возможность применять
различные операции объединения,
пересечения и дополнения множеств в
зависимости от контекста и ситуации.
Основные бинарные операции над нечеткими
множествами были описаны выше. Однако
можно показать, что для любых нечетких
множеств операторы
и
являются
единственно возможными операторами
пересечения и объединения при выполнении
следующих свойств:
Коммутативность:
Ассоциативность:
Дистрибутивность:
Монотонность:
С другой стороны, ясно, что жесткие, поточечно однозначные операторы недостаточно полно отражают смысл многозначных лингвистических преобразований термов лингвистических переменных. Поэтому большой практический интерес представляет построение обобщенных нечетких операторов, т.е. параметризованных операторов пересечения, объединения, дополнения и др. Весьма общий и изящный подход к целенаправленному формированию нечетких операторов пересечения и объединения заключается в их определении в классе треугольных норм и конорм
Определение.
Треугольной нормой (сокращенно
-нормой)
называется двухместная действительная
функция
,
удовлетворяющая следующим условиям:
Ограниченность:
.Монотонность:
.Коммутативность:
.Ассоциативность:
.
Треугольная
норма
является
архимедовой, если она непрерывна и
для любого нечеткого множества
выполнено
неравенство
.
Она называется строгой, если функция
строго
возрастает по обоим
аргументам. Примерами треугольных норм
являются следующие операторы:
Определение.
Треугольной конормой (сокращенно
-конормой)
называется двухместная действительная
функция
,
удовлетворяющая следующим условиям:
Ограниченность:
.Монотонность:
.Коммутативность:
.Ассоциативность:
.
Треугольная
конорма
является
архимедовой, если она непрерывна и
для любого нечеткого множества
выполнено
неравенство
.
Она называется строгой, если функция
строго
убывает по обоим аргументам. Примерами
треугольных конорм являются следующие
операторы:
В
теории нечетких множеств оператор
дополнения не является единственным.
Помимо общеизвестного
,
существует целый набор операторов
дополнения нечеткого множества.
Пусть
задано некоторое отображение
.
Это отображение будет называться
оператором отрицания в теории нечетких
множеств, если выполняются следующие
условия:
(1)
(2)
Если кроме этого выполняются условия:
(3)
—
строго убывающая функция
(4) — непрерывная функция
то она называется строгим отрицанием.
Функция называется сильным отрицанием или инволюцией, если наряду с условиями (1) и (2) для нее справедливо:
(5)
.
Приведем примеры функции отрицания:
Классическое отрицание:
.Квадратичное отрицание:
.Отрицание Сугено:
.Дополнение порогового типа:
Будем
называть любое значение
,
для которого
,
равновесной точкой. Для любого
непрерывного отрицания существует
единственная равновесная точка.