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

Однако, после нахождений значения целевого данного процедура поиска не заканчивается, а еще уточняется значение “а ” данного Z (канализация энергии не нарушена). При этом не только устанавливается значение целевого данного W, но и конкретизируется значение Z. Домены этих параметров существенно сузились: X, Z, W стали полностью определенными, лишь значение Y осталось полностью неопределенным. Следовательно, в базе фактов для Y будут одно­ временно присутствовать два различных значения. Обратный вывод Напомним приведенную в работе [9] схему вывода абдуктивных заклю­ чений. Пусть Аі, .... А„ - посылки, выраженные в виде С или D -систем, из которых предположительно должно следовать утверждение В. При этом оказы­ вается, что соотношение А ^ а В, где А = А\ г у ; ... г у ; Ап. не подтверждается. Тогда формула Н будет абдуктивным заключением , если соблюдаются два условия: 1) Н корректна (А n G Н Ф 0 ) ; 2) (Н n G A) c G В (т.е. при добавлении Н в систему посылок предпо­ лагаемое следствие В становится выводимым). Схема вывода абдуктивного заключения: 1. Вычислить «остаток» R = A \ GB; 2. Построить промежуточный объект Rj такой, чтобы соблюдалось R CG R,; 3. Вычислить Hi = Rt (тогда R, далее можно обозначить как Н ; ); 4. Вычислить Н{сла А и принять или отвергнуть гипотезу по правилам, описанным в начале данного раздела. Далее в качестве посылок будем рассматривать правила системы продукций, представленные в виде D -системы. В роли гипотезы выберем начальное состояние базы фактов - Cinit[Xi, .... Хп\. где Cinit - С- система, состоя­ щая из одной строки, &Х \,...,Хп - перечень листьевых данных. В качестве заклю­ чения будем рассматривать результирующее состояние базы фактов - Cres[X\, ...,Х п, V]. .... Ym\. где V]. .... Ѵ„, целевые параметры. Тогда поиск абдуктивного заключения соответствует обратному выводу в системе продукций с недоопределенными параметрами. Пример 2. Рассмотрим систему продукций, состоящую из единственного правила /^: Если параметр X принимает значение а или Ь, а параметр Y - значение f то система переходит в состояние h. Пусть известны множества всех значений атрибутов X - {а, Ь, с}, Y - {d, e. f \ и состояний системы Z - {g, h }. Тогда заданное правило можно выра­ зить в виде D -системы: Rk[XYZ\=]{c} {d,e} {h}[. Действительно, правило /4 на языке логики может быть представлено следующим образом: (х = а,Ъ) л (у =f) ->(z = h) или —i((x = а,Ь) л (у =_/)) v(z = И) или —і(х = а,Ь) ѵ -1 (у =f) v(z = И) 84