Метод MYCIN
В системе MYCIN (известной ЭС по идентификации микроорганизмов в крови) для учета ненадежности знаний используют коэффициент уверенности CF. Этот коэффициент принимает значения [-1; 1] (1- заведомо истина, 0- заведомо ложь). Так CF[A,X] – это коэффициент вывода А, если удовлетворяется предпосылка X. Она определяется следующим образом:
P(A)≠0,1. Здесь P(A) и P(A| X) соответственно априорная и апостериорная вероятности. При этом С1, С2, С21, С22, С31, С32 в правилах будут иметь соответственно вид CF[A,X и Y], CF[A, X или Y], CF[A,X], CF[A,Y] и в общем случае называются CFправила. При выводе прежде всего получают CFпредплсылки. Если в предпосылке только одно условие, то CF полученного доказательства и есть CFпредплсылки. Если в предпосылке используются связи “И”, “ИЛИ”,“КОМБ”, то действуют по следующим формулам:
При связи “И”: CFпредплсылки=CF[X и Y, ·]= min{CF[X, ·], CF[Y, ·]}.
При связи “ИЛИ”: CFпредплсылки=CF[X или Y, ·]= mах{CF[X, ·], CF[Y, ·]}.
Если CFпредплсылки отрицателен, то действие в выводе правила не выполняется, выполняется оно только если этот коэффициент положителен, то есть предпосылка удовлетворяется. При этом вывод достоверен с коэффициентом CFправила· CFпредплсылки, и это значение переносится на вывод А:
CF[A,·]= CFправила· CFпредплсылки,
Можно еще добавить что в MYCIN положительные CF – называются мерой доверия, а отрицательные CF – мерой недоверия. Система вывода в MYCIN относится к выводу, управляемому целью (сверху -вниз), но если абсолютное значение CF подцели меньше порогового значения 0,2, то соответствующие правила для вывода не используются, а информация считается недостоверной.
|
