Главная > Теория возможностей. Приложения к представлению знаний в информатике
<< Предыдущий параграф Следующий параграф >>
Пред.
След.
Макеты страниц

Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше

Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике

1.3.1. МЕРЫ ВОЗМОЖНОСТИ И НЕОБХОДИМОСТИ

Следующие неравенства непосредственно вытекают из аксиомы монотонности (1.2) и характеризуют объединение или пересечение событий

Предельным случаем мер неопределенности оказываются функции множества П такие, что

Они называются мерами возможности по Заде [37]. В формуле (1.6) читателей может удивить отсутствие предположения о том, что А и В — непересекаюшиеся множества. Легко проверить, что если условие (1.6) справедливо для любой пары нелересекающихся множеств то оно справедливо и для любой пары множеств (событий) (Дюбуа и Прад [6]) Использование термина «возможность» для обозначения этих мер неопределенности может быть оправдано с нескольких точек зрения.

Пусть — достоверное событие. Легко определить функцию П со значениями из удовлетворяющую условию

Ясно, что в данном контексте означает, что событие А возможно. Это наводит на мысль о связи мер возможности с теорией ошибок (см. выше) . В частности, если А и А — два противоположных события (А есть дополнение А в то имеем

Это интерпретируется как факт, что из двух противоположных событий по крайней мере одно безусловно возможно. Более того, когда некоторое событие считается возможным, то не исключается возможность противоположного события. Это согласуется с семантикой суждений о возможности, которые мало к чему обязывают их авторов. Утверждение, что события А и А

одинаково возможны, соответствует случаю полного незнания, когда событие А столь же ожидаемо, что и противоположное событие.

Наконец, условие (1.6) согласуется с представлением о возможности на уровне здравого смысла: дня того чтобы реализовать , достаточно реализовать самый «легкий” вариант из этих двух (наименее дорогостоящий).

Когда множество конечно, то всякую меру возможности П можно определить по ее значениям на одноточечных подмножествах

где есть отображение из в [0,1], называемое функцией распределения возможностей. Оно является нормальным в смысле

поскольку

Замечание. Формула (1.9) справедлива даже в случае, когда (как и у Заде в [37]) не накладывается условие Тогда условие (1.8) и (1.10) выполняются, если заменить 1 на

Когда множество И бесконечно, то не гарантировано существование функции распределения возможностей. Соответствующее распределение становится распределением возможности лишь тогда, когда аксиома (1.6) расширяется на случай бесконечных объединений событий . В прикладных задачах можно всегда исходить функции распределения возможностей и строить меру возможности П с помощью формулы (1.9), В наиболее общем случае меры возможности не удовлетворяют аксиоме непрерывности (1.3) для убывающих последовательностей вложенных множеств [25]. Другой граничный случай мер неопределенности получается при достижении равенства в формуле (1.5). При этом определяется класс функций множества, называемых мерами необходимости и обозначаемых которые удовлетворяют аксиоме, двойственной аксиоме (1.6):

Легко построить функцию со значениями в исходя из информации о достоверном событии и полагая

Здесь означает, что А — достоверное событие (с необходимостью истинное). Более того, легко видеть, что функция множества удовлетворяет аксиоме (1.11) тогда, и только тогда, когда функция П, определяемая в виде

является мерой возможности. Формулы (1.12) и (1.13) поясняют название «меры необходимости” для функции Формула (1.13) есть численное выражение отношения двойственности между модальностями «возможно” и «необходимо” (в модальной логике), постулирующее, что некоторое событие необходимо, когда противоположное событие невозможно. Это отношение двойственности означает, что всегда можно построить функцию

распределения необходимости исходя из функции распределения возможности с помощью формулы

Меры необходимости удовлетворяют соотношению

которое исключает одновременную необходимость двух противоположных событий. С помощью (1.13) и (1.15) (или (1.8)) нетрудно проверить, что

Данное условие отвечает интуитивному представлению о том, что, прежде чем быть необходимым, событие должно быть возможным. К тому же имеются более сильные утверждения, чем аксиома (1.16):

Categories

1
Оглавление
email@scask.ru