2. Объединение фу

Если в набор правил включена одна или несколько переменных, ФУ которых ниже 100, то во время консультации "GURU" будет аргументировать с этими показателями недостоверности.

Метод их использования в процессе аргументации относятся к алгебре ФУ. Различным ситуациям соответствует свои алгебры. В зависимости от характера применения одна алгебра вычисления ФУ может быть предпочтительнее остальных. Для большей гибкости в системе "GURU" используется широкий диапазон встроенных алгебр вычисления ФУ. В процессе любой консультации вы можете сами выбирать имеющуюся алгебру путем присвоения нужным переменным среды необходимых значений. Когда вы впервые столкнетесь с ФУ, вы не будете иметь дело с изменением значений по умолчанию переменных среды. Их первоначальные значения по умолчанию - это алгебры вычисления ФУ, который обычно используется в традиционных ЭС. В процесса ознакомления с характеристиками ЭС "GURU" может возникнуть желание использовать гибкость "GURU", которая предоставляется для процесса аргументации с недостовер­ными переменными.

Значения переменных среды E.CFJO, E.CFCO, E.CFVA и E.ONKN указывают, каким образом будет осуществляться вычисление ФУ системой "GURU" во время консультации. Необходимо заметить, что данные переменные среды не являются "жестко закрепленными" к набору правил. Это значит, что можно динамически изменять алге­браические методы. не меняя при этом сам набор правил.

E.CFJO и Е.СFСО контролирует процесс вычисления общего ФУ логического выражения, если в качестве такового рассматри­вается посылка правила. Если полученный в результате ФУ превышает E.UNKN, то "GURU" считает посылку известной с достаточной степенью уверенности, чтобы включить правило в перечень допустимых к использовании. Если ФУ. посылки меньше или равен E.UNKN, то посылка считается неизвестной и правило не будет включено. Поясним разницу в использовании Е. CFJO и Е. CFCO.

Допустим, выражения 1 и 2 истинны в некоторой посылке каж­дое в отдельности ( с факторами уверенности соответственно CF1 и CF2. Причем в СF1 и CF2 превышают граничное значение ФУ E.UNKN, при котором или меньше посылка с этими выражениями была бы не­допустима для использования. Нам необходимо теперь "определить" степень достоверности посылок такого вида:

а) выражение 1 И выражение 2;

б) выражение ИЛИ выражение 2

И "а" и "б" истинны, но степень достоверности, "б" выше, чем степень достоверности "а". Это объясняется тем, что в слу­чае с "а" истинными должны быть оба выражения, а в случае с "б" для того, чтобы общее значение было истинным, необходимо ис­тинность только одного выражения. E.CFJO объединяет степени достоверности в случае "a", E.CFCO обрабатывает случай "б".

Оценка ФУ всего правила (в предположении, что были заданы ФУ посылки и заключения в отдельности) осуществляется с использованием только E.CFJO.

В том случае, если значение отдельной переменной было по­лучено в результате действия двух правил, для обеспечения за­числения ФУ этой переменной по совокупности двух правил исполь­зуется Е.СFVA. "Случай" двух правил с использованием E.CFVA обобщается на любое количество правил (см. ниже в описании настоящей лабораторной работы).