Задание факторов уверенности
Одной из наиболее интересных особенностей экспертных систем является концепция факторов уверенности. Они делают возможным представление частично известных фактов. (в том, что переменная имеет именно это значение). Факторы уверенности присваиваются с помощью указателя cf.
Применение факторов уверенности позволяет решать неточно определенные задачи, путем взвешивания всех возможных решений и выбора наилучшего. Факторы уверенности не означают степень вероятности: их сумма не обязательно должна равняться 100.
Факторы уверенности используются также для того, чтобы определить, известна конкретная переменная или нет. Если фактор уверенности переменной выше минимального уровня, определяемого пользователем и устанавливаемого с помощью переменной среды E.UNKN, тогда считается, что эта переменная известна, и что на основании данного факта можно делать заключения. Факторы уверенности можно явно присваивать, используя операторы ИНТЕР-ЭКСПЕРТА. Факторы уверенности могут присваиваться самимпользователем. Во время ввода машина логических выводов вычисляет фактор уверенности посылки любого данного правила. Степень уверенности, которую может присвоить пользователь, можнотакже применить к результатам. Это отражает "достоверность правила".
E.UNKN Порог неизвестного при получении логических выводов: значение, фактор уверенности которого падает ниже этого порога во время консультации, считается неизвестным.
ТИП: num ПО УМОЛЧАНИЮ: 20
Объединение факторов уверенности
Известны три случая, когда необходимо объединить факторы уверенности, присвоенные переменным или выражениям.
Первый случай - объединение CF нескольких переменных в посылке, в результате чего получается общая степень достоверности посылки (используются E.CFJO и E.CFCO).
Второй случай - объединение CF посылки правила и его заключения с целью получения общей степени уверенности результатов (используется E.CFJO).
Третий случай - объединение CF значения отдельной переменной, когда несколько правил выдали это значение переменной с различными CF (используется E.CFVA).
E.CFCO Односимвольный код, указывающий как комбинировать подтверждающие факторы уверенности для логических выражений или для дополнительных присваиваний значений нечетким переменным:
М (максимум)
Р (сумма вероятности)
А (среднее М и Р)
В (баланс между М и Р)
ТИП: str ПО УМОЛЧАНИЮ: М
E.CFJO Односимвольный код, указывающий как комбинировать соединяющие факторы уверенности для логических выражений или для операций вычитания значений нечетких переменных:
М (минимум)
Р (произведение)
А (среднее М и Р)
В (баланс между М и Р)
ТИП: str ПО УМОЛЧАНИЮ: М
E.CFVA Двухсимвольный код, который управляет тем, как определяется фактор уверенности переменной во время консультации:
РР (Сумма вероятностей произведений) АР (среднее произведений)
РМ (Сумма вероятностей минимумов) АМ (среднее минимумов)
РА (Сумма вероятностей средних) АА (среднее средних)
РВ (Сумма вероятностей балансов) АВ (среднее балансов)
МР (Максимум произведений) ВР (баланс произведений)
ММ (Максимум минимумов) ВМ (баланс минимумов)
МА (Максимум средних) ВА (баланс средних)
МВ (Максимум балансов) ВB (баланс балансов)
ТИП: str ПО УМОЛЧАНИЮ: PP
Переменные среды E.CFCO, E.CFJO и E.CFVA управляют объединением CF . E.CFCO, E.CFJO используются для объединения CF двух логических выражений в единый фактор уверенности. Если выражение 1 истинно с CF=CF1, а выражение 2 истинно с CF=CF2, тогда какова степень достоверности :
а) выражение 1 и выражение 2 ?
б) выражение 1 или выражение 2 ?
И а) и б) истинны, но CF "б" выше, чем CF "а". Это объясняется тем, что в случае с "а" истинными должны быть оба выражения, а в случае с "б" для того, чтобы общее значение было истинным, необходима истинность только одного выражения.
E.CFJO объединяет CF в случае "а", где необходимы оба фактора,
а E.CFCO обрабатывает случай "б".
Пример: пусть a cf 80
b cf 40
m p a b
───────────────────────────────
a and b 40 32 36 38
a or b 80 88 84 82
Значение переменной E.CFVA составляется из двух букв, каждая буква берется из следующих четырех букв (m,p,a,b). Первая буква указывает на метод объединения CF посылки и заключения, применяемый переменной E.CFJO . Вторая буква указывает на метод объединения результатов нескольких правил, используемой переменной E.CFCO .