Вестник Кольского научного центра РАН. 2014, №1.

ВД ) = F(di) = 0 . (10) Контроль выполнения условия (9) входит в контроль адекватности базы знаний (БЗ) ССМ. Конфликт при детерминированном выводе констатируется, если на каком-либо шаге вывода стало пустым множество истинности данного, которое не было пустым до этого: xcdi) = 0 . Продолжение детерминированного вывода нецелесообразно, когда для целевого данного имеет место соотношение: QdO ::= X(di) п P*(d;) = 0 , (11) то есть еще не сработавшие правила не могут сузить область истинности целевого данного. Порядок преобразования определенных выше множеств при детерминированном выводе формулируется следующим образом. При доказательстве истинности некоторого продукционного правила П п принятого в ССМ формата для каждого данного di, входящего в часть ТО этого правила: - область истинности перевычисляется по формуле: X(di) := X(di) п Т(Ф; п ), - из множества P*(di) исключаются те значения данного, входящие в Т(Фіп), за которые не свидетельствует ни одно из еще не сработавших продукционных правил; - перевычисляется множество (8) без учета сработавшей продукции. Такие же преобразования производятся при доказательстве ложности некоторого продукционного правила для всех данных, входящих в часть ИНАЧЕ этого правила. Множества (8) непосредственно не используются в ходе вывода, но могут служить обобщенным показателем шансов на получение результата: если для целевого данного в ходе вывода выполняется соотношение (8) либо в начале вывода множество (8) пусто, а в процессе вывода в нем появляются значения данного, то ход вывода можно считать успешным. Следующее определение имеет смысл только для вероятностного механизма вывода (или другого механизма, допускающего наличие неоднозначности свидетельств). Определение 9. Множеством возможных значений данного d; P(d;) называется подмножество его допустимых значений, за которые были факты в ходе вывода: P(di) :: = UТ(Ф; п ) . (12) n При доказательстве истинности или ложности некоторого продукционного правила П п множества (12) для данных, входящих в истинные следствия этого правила, перевычисляются по формуле: P(di) := P(di) и Т(Ф; п ), К начальным условиям (9), (10) при вероятностном выводе добавляется условие P(d;) = 0 . Расположение введенных множеств относительно всего множества М; ::= {mk}, k = 1, n; допустимых значений данного di иллюстрируется рисунком, из которого можно заключить, что множество ложности данного при вероятностном выводе задается формулой: F(d ;)= P(d;) U P*(d ;) . Аналогичный (11) индикатор нецелесообразности продолжения вывода при вероятностном выводе можно предложить в виде: (X*(di) = 0 ) л (P(di) п P*(d;) = 0 ) , (13) а индикатором неопределенности “мнения” БЗ о значениях некоторого данного может служить соотношение: (r*(di) = 0 ) л ОВД = 0 ) , (14) Выполнение двух условий (13) и (14) одновременно для целевого данного дает достаточное обоснование для прекращения вывода ввиду его неуспешности. Процедуры формирования перечисленных подмножеств значений данных в ССМ не требуют больших машинных ресурсов из-за принятого формата хранения правил (каждое предусловие хранится в отдельной записи БД) и использования специальных индексов ЭС. 40