А. Р. Хачатрян

Основные определения

Данные и знания, с которыми приходится иметь дело в ИС, редко бывают абсолютно точными и достоверными. Присущая знаниям неопределенность мо­жет иметь разнообразный характер, и для ее описания используется широкий спектр формализмов [Bonissone et al., 1985; Prade, 1985; Kanal et al., 1986]. Рассмотрим один из типов неопределенности в данных и знаниях — их неточ­ность. Будем называть высказывание неточным, если его истинность (или лож­ность) не может быть установлена с определенностью. Основополагающим по­нятием при построении моделей неточного вывода является понятие вероятно­сти, поэтому все описываемые далее методы связаны с вероятностной кон­цепцией.

Модель оперирования с неточными данными и знаниями включает две со­ставляющие: язык представления неточности и механизм вывода на неточных знаниях. Для построения языка необходимо выбрать форму представления не­точности (например, скаляр, интервал, распределение, лингвистическое выраже­ние, множество) и предусмотреть возможность приписывания меры неточности всем высказываниям.

Механизмы оперирования с неточными высказываниями можно разделить на два типа. К первому относятся механизмы, носящие «присоединенный» ха­рактер: пересчет мер неточности как бы сопровождает процесс вывода, веду­щийся на точных высказываниях. Для разработки присоединенной модели не­точного вывода в основанной на правилах вывода системе необходимо задать

функции пересчета, позволяющие вычислять: а) меру неточности х антецеден­та правила (его левой части) по мерам неточности Xi составляющих его вы­сказываний: x=f(xi,,..,x_n); б) меру неточности у консеквента правила (его правой части) по мерам неточности правила (г) и посылки правила (х): у~ =h(r, x); в) объединенную меру неточности высказывания А по мерам, полу­ченным из правил, консеквентом которых является A: y°=g(y[,..., Ут)-

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

Для механизмов оперирования с неточными высказываниями второго тила характерно наличие схем вывода, специально ориентированных на используе­мый язык представления неточности. Как правило, каждому шагу вывода соот­ветствует пересчет мер неточности, обусловленный соотношением на множест­ве высказываний (соотношением может быть элементарная логическая связь, например А=В&С, безотносительно к тому, является ли это отношение фраг­ментом какого-либо правила). Таким образом, механизмы второго типа при­менимы не только к знаниям, выраженным в форме правил. Вместе с тем для них, как и для механизмов «присоединенной» типа, одной из главных явля­ется проблема объединения свидетельств.

Поиск по сайту: