Метод MYCIN

 

В системе MYCIN (известной ЭС по идентификации микроорганизмов в крови) для учета ненадежности знаний используют коэффициент уверенности CF. Этот коэффициент принимает значения [-1; 1] (1- заведомо истина, 0- заведомо ложь). Так CF[A,X] – это коэффициент вывода А, если удовлетворяется предпосылка X. Она определяется следующим образом:

 

P(A)≠0,1.

Здесь P(A) и P(A| X) соответственно априорная и апостериорная вероятности. При этом С₁, С₂, С₂₁, С₂₂, С₃₁, С₃₂ в правилах будут иметь соответственно вид 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, то соответствующие правила для вывода не используются, а информация считается недостоверной.