Читайте также:
|
Программный продукт ReSolver используется для создания вероятностных, основанных на знаниях экспертных систем.
Компания-производитель MultiLogic полагает, что наиболее эффективный путь построения экспертных систем состоит в том, чтобы иметь экспертов, которые сами непосредственно создают их. Программное обеспечение ReSolver показало себя в широком диапазоне реальных проблем с более чем 11 000 пользователями во всем мире.
ReSolver является инструментом проектирования для экспертов совместно с профессиональными инженерами знания.
Способ представления неопределенности, используемый в ReSolver – приписать элементам знаний нечеткую меру их истинности. В этом случае мы можем использовать методы обработки нечетких знаний.
Если оценки правдоподобия шагов вывода оцениваются некоторыми вероятностями, то общая оценка правдоподобия всей цепочки вывода будет иметь мультипликативный характер. Если оценки отличны от вероятностей, то глобальная оценка правдоподобия для всей цепочки вывода будет иметь либо мультипликативный характер, либо оцениваться тем шагом вывода, который является наименее правдоподобным (нечеткие рассуждения). В случае использования аргументации экспертов ситуация иная. Если некоторый факт обосновывается системой аргументов, каждый из которых имеет некоторую оценку правдоподобия, то общий вклад использования аргументов в обоснование нужного факта оценивается аддитивным образом (например, в виде меры доверия Демпстера - Шефера). Оценки правдоподобия аргументов как бы суммируются друг с другом, и добавление еще одного аргумента даже с очень маленькой оценкой улучшает обоснованность интересующего нас факта. Одна из схем, позволяющая получить свидетельства экспертов для получения уверенности в представляемых знаниях, введена Шортлиффом в экспертной системе MYCIN. Схема основана на так называемых коэффициентах уверенности, предназначенных для измерения степени доверенности к заключению, которое является результатом полученных свидетельств. Коэффициент уверенности (КУ) – это разность между двумя мерами:
| КУ [h:e] = МД [h:e] – МНД [h:e] | (1.1) |
КУ [h:e] – уверенность в гипотезе h с учетом свидетельств e;
МД [h:e] – мера доверия h при заданном e; 0 
МД [h:e] 1;
МНД [h:e] – мера недоверия гипотезе h при свидетельствах e;
0 МНД [h:e] 1.
-1 КУ [h:e] +1;
Здесь «-1» – абсолютная ложь; «+1» – абсолютная истина; 0 –полное незнание.
К недостаткам метода относится то, что при использовании формулы (1.1) нельзя отличить случаи противоречащих свидетельств (МД и МНД велики) от случая недостаточной информации (МД и МНД малы).
Дата добавления: 2015-07-10; просмотров: 152 | Нарушение авторских прав