Microsoft Word Книга иис мггу 1 Print doc

Модель оперирования с неточными данными и знаниями включает 
две составляющие:
- 
язык представления неточности; 
- 
механизм вывода на неточных знаниях.
Для построения языка необходимо выбрать форму представления 
неточности (например, скаляр, интервал, распределение, лингвистическое 
выражение, множество) и предусмотреть возможность приписывания 
меры неточности всем высказываниям. 
Механизмы оперирования с неточными высказываниями можно 
разделить на два типа. 
1.
Механизмы, носящие «присоединенный» характер: пересчет 
мер неточности как бы сопровождает процесс вывода, 
ведущийся 
на 
точных 
высказываниях.
Для 
разработки 
присоединенной модели неточного вывода в основанной на 
правилах вывода системе необходимо задать функции пересчета, 
позволяющие вычислять: 
а)
 
меру неточности 
х 
антецедента правила (его левой части) по 
мерам 
неточности 
x
i
 
составляющих 
его 
высказываний: 
x=f
(
x
1
, ..., x
n
)
; 
б)
 
меру неточности 
у 
консеквента правила (его правой части) по 
мерам неточности правила (
r
)
 
и посылки правила (
х
)
 у=h
(
r, x
)
; 
в)
объединенную меру неточности высказывания 
А 
по мерам, 
полученным из правил, консеквентом которых является 
A
: 
y
0
=
g
(
y
1
, ..., 
y
m
). 

---

85 
Для 
возможности 
пересчета 
значений 
неопределенности 
при 
дедуктивном выводе достаточно функций 
f
(•) и 
h
( •). Введение меры 
неточности позволит привнести в процесс вывода нечто принципиально новое 
— 
возможность 
объединения 
силы 
нескольких 
свидетельств, 
подтверждающих или опровергающих одну и ту же гипотезу. Другими 
словами, при использовании мер неточности целесообразно выводить одно и 
то же утверждение различными путями (с последующим объединением 
значений нечточности), что совершенно бессмысленно в традиционной 
дедуктивной логике. Для 
объединения свидетельств 
требуется функция 
пересчета 
g
(•)
, 
занимающая центральное место в пересчете. Заметим, что, 
несмотря на «присоединенность» механизмов вывода этого типа, их 
реализация в базах знаний оказывает влияние на общую стратегию вывода: 
с одной стороны, необходимо выводить гипотезу всеми возможными путями 
для того, чтобы учесть все релевантные этой гипотезе свидетельства, с 
другой — предотвратить многократное влияние силы одних и тех же 
свидетельств. 
2.