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