Посылка - правило
Cтраница 2
MYCIN имеет собственный способ объединения формул. После того как оценена посылка правила, каждый предикат возвращает число от - 1 до 1 ( - 1 означает определенно ложно), В системе MYCIN связка AND выбирает минимальный среди своих аргументов; связка OR выбирает максимальный аргумент. Для правил, величина оценки которых превосходит порог 0.2, делается заключение из правила с достоверностью, которая равна произведению величины оценки и фактора уверенности этого правила. Эти правила объединения, как можно показать, обладают определенными свойствами, такими как нечувствительность к порядку применения правил. [16]
Основной формулой логического правила вывода называется формула, которая вводится в заключении этого правила. Те формулы, которые явно выписаны в посылках логического правила вывода и участвуют в построении основной формулы, называются боковыми формулами данного правила вывода. [17]
Построение ЭС с помощью GURU заключается в построении набора правил. Набор правил состоит из знаний эксперта по аргументированию решения конкретного типа задачи. Система может компилировать набор правил, посредством которых пользователь может получить консультации. Посылка правила по желанию пользователя может быть простой и расширенной. Посылка может включать поля базы данных, ячейки электронных таблиц, элементы массива и обычные переменные. [18]
 |
Деревья вывода в исчислении высказываний. [19] |
В из 1-го яруса удовлетворяет теореме. Если В-выводимая формула, то, взяв в Щ в качестве посылок В и В ID ( Ап: э гэ В), получим в качестве заключения -: Апгэ В. Если В А, то по лемме Л1 получаем - AniD An. Если В Аг ( I п), то, взяв по аксиоме А1 выводимую формулу А 1Э ( А гэ А) и AJ в качестве посылок правила Ш, получим, что Аг - Ап: э Аг. [20]
Типичным источником ошибок в рассуждениях являются правила вывода. Дело в том, что правила редко являются независимыми друг от друга, хотя на первом этапе отладки удобно считать их таковыми. Если неверна посылка правила, то это может привести к использованию правила в неподходящем контексте. В данном случае система не замечает частных подслучаев. Если ошибочно действие правила, то конечный результат может быть труднопредсказуемым. Правило может быть ошибочно, если при корректности его условия и действия нарушено соответствие между ними. [21]
В этой модели знания представляются в виде совокупности правил типа ЕСЛИ - ТО. В состав экспертной системы продукционного типа входят база правил, база фактических данных ( рабочая память) и интерпретатор правил, реализующий определенный механизм логического вывода. Любое продукционное правило, содержащееся в БЗ, состоит из двух частей: антецедента и консеквента. Антецедент представляет собой посылку правила ( условную часть) и состоит из элементарных предложений, соединенных логическими связками И, ИЛИ. Консеквент ( заключение) включает одно или несколько предложений, которые выражают либо некоторый факт, либо указание на определенное действие, подлежащее исполнению. Продукционные правила принято записывать в виде АНТЕЦЕДЕНТ - КОНСЕКВЕНТ. [22]
Страницы: 1 2