Автоматизация эвристических методов синтеза новых систем 5


Для определения априорной вероятности гипотезы при остальных ответах пользователя используется кусочно-линейная аппроксимация.

После вычисления вероятности

 

P(Hj ÷ Ri),

 

где Ri, — ответ пользователя на симптом Si,

априорная вероятность Р(Нj) заменяется вычисленной апостериорной вероятностью.

 

Подтверждение (отрицание) симптома Si, связанного с гипотезой Нj, является положительным свидетельством для гипотезы Нj, если апостериорная вероятность больше априорной. Подтверждение (отрицание) симптома является отрицательным свидетельством для гипотезы, если апостериорная вероятность меньше априорной.

 

Для каждой гипотезы Нj вычисляется два числа:

 

Рmах (Нj) = M1j — апостериорная вероятность гипотезы при всех положительных свидетельствах и

Pmin (Нj) = M2j — апостериорная вероятность гипотезы при всех отрицательных свидетельствах.

 

Имеются три правила формирования результата работы экспертной системы.

 

Правило 1.



Подтверждение или отклонение гипотезы Нj. Если на некотором шаге работы новая вычисленная (апостериорная) вероятность Р гипотезы Нj становится больше

 

Рaj + L1 (М1j - Paj),

 

то гипотеза подтверждается (

 

Автоматизация эвристических методов синтеза новых систем 5 - M2j),

 

то гипотеза отвергается. Коэффициенты L1 и L2 — настроечные параметры.





Содержание раздела