Труды КНЦ вып.29 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып. 3/2015(29))

и исходные данные в виде системы логических уравнении с дополнительными ограничениями: ((х = a , b ) v ( y = a ) v ( w = с)) = 1 ( (z = а, с) ѵ {w = с)) = 1 ((х = a , c ) v ( w = b)) = 1 ( 1 ) Дополнительные условия: х=6; z=a,b. (2) Теперь перейдем к записи системы (1) и дополнительных условий (2) в матрицеподобных структурах. Так система правил моделируется в виде D -системы А, а конъюнктивная база фактов в виде кортежа В. ~{а,Ь} {а} 0 {с} Г A[XYZW]= 0 0 {а, с} {с} {а ,с } 0 0 {Ъ} B[XYZW]=[{b} * {а,Ъ} *]. Таблица 1 Факторы неопределенности Наименования факторов и их значения Обозначения факторов Обозначения значений факторов СНАБЖЕНИЕ ЭЛЕКТРОЭНЕРГИЕЙ W обеспечено полностью а утрачено частично Ъ утрачено полностью с ОСНОВНЫЕ ИСТОЧНИКИ X в строю а вышли из строя в одном эшелоне Ъ вышли из строя в обоих эшелонах с АВАРИЙНЫЕ ИСТОЧНИКИ Y в строю а вышли из строя Ъ КАНАЛИЗАЦИЯ ЭЛЕКТРОЭНЕРГИИ Z не нарушена а нарушена частично Ъ нарушена полностью с Каждая строка D -системы А соответствует некоторому уравнению из системы (1). Из записи B[XYZW] видно, что значение переменной X - определено, Y и W - полностью не определено, а переменной Z - недоопределено. В терминологии теории экспертных систем B[XYZW] есть некоторый образец, в соответствии с которым требуется осуществлять поиск. Рассмотрим, каким образом решается задача уточнения недоопре­ деленных параметров для уравнения, моделируемого D -системой A\XYZW\ при 82