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

представление системы уравнений с конечными предикатами предлагается формировать в виде D -системы. Образец, в соответствии с которым требуется осуществлять поиск удобно записывать в виде дополнительных ограничений на домены переменных, а матрично представлять в форме С-системы, содержащей единственную строку (кортеж). Задача прямого вывода в системах продукций с недоопределенными параметрами сводится к задаче уточнения значений недоопределенных параметров. Формально задача уточнения недоопределенных параметров ставится следующим образом. Изначально в виде вектора задается образец для поиска, в котором часть данных однозначно определена (параметр принимает единственное значение), часть данных не определена (параметр принимает все допустимое множество значений, описывается с помощью фиктивной компоненты “*”); а часть данных недоопределена (параметр оценивается некоторым неодноэлементным подмножеством значений из его области определения). Имеется система продукций, с недоопределенными параметрами, формализованная в виде единственной D -системы. Требуется вычислить результат “настройки” исходной D -системы на новые домены переменных (атрибутов), описание которых содержится в образце для поиска, максимально “сузив” исходные домены всех переменных, в том числе и тех, что не являются целевыми (целью поиска). Далее на примерах продемонстрирован подход, позволяющий осуществ­ лять подобную работу с недоопределенными данными в продукционных системах в рамках классической логики. Пример 1. В работе [12] приведено описание реализованной на компью­ тере экспертной системы, предназначенной для принятия решений на уровне командира корабля в случае возникновения нештатных ситуаций на корабле или в окружающей обстановке, в частности, в боевых условиях. Рассмотрим комплект правил по анализу электрообеспечения корабля. В этом комплекте используются 4 фактора. Данные по ним и соответствующие обозначения приведены в табл. 1. Пусть поступила информация: "Основные источники вышли из строя в одном эшелоне, канализация энергии или не нарушена, или нарушена частично", где данное “Канализация энергии” задано неоднозначно. Правило 1: IF ((х = с ) AND (у = Ъ )) OR (z = b ) THEN (w = с). Правило 2: IF (x = b) THEN (w = b). Исходные данные: ( x=b ) AND ((z=a) OR (z=b)). Представленные правила можно записать на языке математической логики: Правило 1: ((х = с) л (у = b)) —>(w = с); (z = b) —» (w = с). Правило 2: (х = Ъ) —>(w = b). Исходные данные: ( х=Ь ) л (( z=a ) ѵ ( z=b )). Д л я т о г о , чтобы подчеркнуть аналогию с методами решения систем линейных уравнений, использующими технику распространения констант (например, методом Гаусса) и методами на основе Н-моделей, запишем правила 81