§ 4.2. Нечеткие меры
Рассмотрим основные свойства нечетких мер и интегралов, введенных в [27, 37], а также их содержательную связь с мерами возможности [41], используемыми в гл. 5, 6 для построения алгоритмов нечеткого вывода.
Пусть X — произвольное множество, а
поле борелевских множеств (а-алгебра) для X.
Определение 4.1. Функция
определяемая в виде
, называется нечеткой мерой, если она удовлетворяет следующим условиям [27, 30]:
(см. скан)
Тройка
называется пространством с нечеткой мерой. Для нечеткой меры в общем случае не должно выполняться условие аддитивности:
Таким образом, нечеткая мера является однопараметрическим расширением вероятностной меры.
Выражение
представляет собой меру, характеризующую степень нечеткости А, т. е. оценку нечеткости суждения
или степень субъективной совместимости
. Нетрудно увидеть, что монотонность меры
влечет за собой
Для построения нечетких мер используется следующее К-пра-еило [27, 30]. Пусть
Тогда
В случае
будем называть выражение (4.2) условием нормировки для
-мер. Очевидно, что
Параметр
называется параметром нормировки
-меры. При
имеем класс супераддитивных мер, а при
получаем класс субаддитивных мер.
Легко убедиться, что если
, то из (4.2) следует
Формула (4.3) определяет класс так называемых дополнений Сугено [30].