1.3. МЕРЫ НЕОПРЕДЕЛЕННОСТИ
Рассмотрим множество событий, связанных с базой неточных и неопределенных знаний, понимаемых как подмножества универсального множества
называемого достоверным событием. Пустое множество
отождествляется с невозможным событием. Предполагается, что каждому событию АСИ можно поставить в соответствие действительное число
задаваемое субъектом — «хранителем” базы знаний (или получаемое с помощью процедуры переработки информации, хранящейся в памяти информационной системы). Значение
оценивает степень уверенности, имеющейся у субъекта по отношению к событию А с учетом текущего уровня информированности. По определению величина
растет с увеличением уверенности. Ьолее того, если А - достоверное событие, то полагают
а если А — невозможное событие, то полагают
Имеем
Однако
(соответственно
) вообще говоря, не означает, что А непременно является достоверным (соответственно, невозможным) событием.
Наиболее слабая аксиома для обеспечения некоторого минимума согласованности при определении функции множества
которую можно себе представить, — это монотонность по включению
Эта аксиома выражает следующее: если событие А влечет за собой другое событие В, то всегда имеется по меньшей мере столько же уверенности появлении В сколько в появлении А.
Такие функции множества были предложены Сугено [29] для оценки неопределенности под названием нечеткие меры. А. Кофман предложил термин «оценка». Мы принимаем здесь название мера неопределенности. Следует
напомнить, что эти функции множества не являются обычными мерами, поскольку они могут не быть аддитивными, за исключением специально оговоренных случаев.
Если
— бесконечное множество, то можно ввести условие непрерывности в виде
для любой последовательности
вложенных множеств вида
или
Будем предполагать, что мера неопределенности удовлетворяет условию (1.3) по крайней мере для одной из двух указанных последовательностей вложенных множеств.