Метод mycin

Этот метод позволяет организовать вычисление достоверности тех или иных событий при подъеме по дереву вывода с использованием не надежных знаний. Впервые это метод был предложен и использован в экспертной системе, которая занималась анализом наличия микроорганизмов в крови.

Система называется MYCIN, отсюда получил название и метод. Основная идея его состоит в следующем: Вершинам дерева, графа описывающего структуру вывода, присваиваются коэффициенты доверия (cf) которые могут принимать значения в интервале от -1 до 1 при этом -1 абсолютная лож а 1 абсолютная истинна. Наличие коэффициентов позволяет оценить достоверность любого события участвующего в цепочке вывода и при этом будет учтен весь предшествующий вывод до этой вершины. Коэффициенты доверия, приписанные листьям, по сути, отражают вероятность происхождения того или иного события. Вершины более высокого уровня, т.е. те, которые имеют предшественников, при подъеме от листьев к корню имеют коэффициент доверия самого этого события, который получен на основе коэффициентов доверия предшествующих вершин, и коэффициент доверия правила, на основе которого получен этот вывод, т.е. метод позволяет учитывать, что ненадежными могут быть не только факты, но и правила вывода.

Для листьев коэффициенты обычно задаются на основе знаний эксперта. Коэффициенты доверия для правил (cfправ) могут быть рассчитаны на основе Байесовской вероятности по правилу:

cf(A,Х) - коэффициент доверия А при условии что произошло Х

В том случае если вершине предшествует несколько вершин, связанных одним из известных типов связи, то в зависимости от типа связи определяется правило вычисления доверия события, делается это следующим образом:

cfпр

S

cfx cfy

При таком виде коэффициент доверия события рассчитывается как произведение коэффициента доверия правила и коэффициента доверия предшествующего вывода, который определяется на основе коэффициентов доверия событий, входящих в вывод и на основе существующего типа связи S.

cfA = cfпр * cfпредш_вывода

Коэффициент доверия предшествующего вывода в зависимости от типа связи определяется так:

Пусть S=И тогда коэффициент доверия предшествующего вывода определяется как минимум из коэффициентов доверия событий Х и У

cf пред = min(cfx , cfy)

cf пред(A, X&Y) = min(cfx , cfy)

Пусть S=ИЛИ тогда коэффициент доверия предшествующего вывода определяется как максимум из коэффициентов доверия событий Х и У

cf пред = max(cfx , cfy)

cf пред (А, XvY)= max(cfx , cfy)

Замечание: Существует довольно много методов, которые используют пересчет коэффициентов доверия (или их эквиваленты) при подъеме по дереву вывода. Во всех этих методах коэффициенты доверия для связи И/ИЛИ определяются также, как и в методе MYCIN. Различия существуют при определении коэффициентов доверия связи типа КОМБ.

Рассмотрим, каким образом это реализуется в MYCIN.

Пусть S=КОМБ

Коэффициенты доверия предшествующего вывода принимают значение абсолютная истина или абсолютная лож в том случае, если одна из веток имеет такие значения.

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

Чтобы избежать противоречивой ситуации формула (3) может быть заменена на следующую формулу:

сf пред = (cf(А,Х)+ cf(А,У))/(1-min(cf(А,Х), cf(А,У)))

Область определения сохраняется. В этом случае порядок проверки формул в системе является не существенным.

Вопрос №10