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

или (х = с) ѵ (у = d, е) v(z = И). Последнее выражение соответствует представленной ранее D -системе Rk[XYZ\. Пусть известно, что база фактов после применения правил должна содержать факт, что z = h (Cres[XYZ] = [* * {/ 2 }]). Требуется установить, какие факты изначально содержались в базе фактов (СШ[ХУ]). Решение этой задачи опирается на следующее соотношение: Rk[XYZ\ n G Cmi,\XY\ c G Cics\XYZ\. Выполним вычисления, согласно описанному выше алгоритму: 1. R/,\XYZ\ n G CrJ X Y Z \ : {с} * * {a,b) {d,e} * * * {h} <^G [* * {g}] = ' {С} { a ,b } 2. Нас интересует проекция на атрибуты XY: {■ d ,e } ' {с} { а,Ъ } {g}' {g} {d,e} =]{с} {d,e}[. 3. Т о г д а = ] {с} К е} [ = [{а, Ъ} {/}]. 4. Убеждаемся, что Rk[XYZ\ гла H\XY\ Ф 0 . Заключение H\XY\ содержит два ответа на поставленный вопрос: 1 ) х = а ,у = / или 2 ) x = b ,y = f Заключение В статье исследована возможность описания факторов неопределенности (НЕ-факторов) на основе матричного представления конечных предикатов без использования вероятностного или нечеткого подходов и т.п. Разработан метод, обеспечивающий без нарушения законов классической логики решение задачи уточнения значений недоопределенных параметров в системах продукций. В отличие от механизма вывода в традиционных системах продукций с полностью определенными данными, в предлагаемом методе в базу фактов могут добавляться сразу несколько значений одного и того же данного, причем это трактуется не как противоречие, а как неопределенность. Метод позволяет выявлять некорректности (прежде всего, пустоту домена некоторого параметра) в процессе логического вывода путем пошагового усечения диапазонов возможных значений параметров. Обратный вывод предлагается сводить к поиску абдуктивных заключений. Литература 1. Рассел, С. Искусственный интеллект: современный подход. 2-е изд. / С. Ра­ ссел, П. Норвиг // пер. с англ.; ред. К.А. Птицына. - М.: Изд. дом «Вильямс», 2006. -1408 с. 2. Щербина, О.А. Удовлетворение ограничений и программирование в ограни­ чениях / О.А. Щ ербина/ / Интеллектуальные системы. - 2011. - Т .15, вып. 1-4. - С.54-73. 3. Осипов, Г.С. Методы искусственного интеллекта / Г.С. Осипов. - М.: Физ- матлит, 2011. - 296 с. 85