8130

Модели представления и обработки неопределенных знаний. Коэффициенты уверенности Шортлифа

Лекция

Информатика, кибернетика и программирование

Модели представления и обработки неопределенных знаний. Коэффициенты уверенности Шортлифа. (Конспект) Представление и обработка в ЭС неопределенных знаний Экспертным знаниям, как правило, присуща неопределенность. В инженерии знаний принято выделять...

Русский

2013-02-04

71 KB

20 чел.

Модели представления и обработки неопределенных знаний.

Коэффициенты уверенности Шортлифа.

(Конспект)

Представление и обработка в ЭС неопределенных знаний

Экспертным знаниям, как правило, присуща неопределенность. В инженерии знаний принято выделять различные типы неопределенности знаний: неполнота, неточность, нечеткость. С другой стороны, источники неопределенности могут быть разделены на две большие категории: недостаточно полное знание о предметной области и недостаточная информация о конкретной ситуации.

Для представления и обработки неопределенных знаний в ЭС предложены различные формальные модели, в частности:

  •  коэффициенты уверенности Шортлиффа;
  •  теория свидетельств Демпстера-Шефера;
  •  байесовские сети доверия;
  •  нечеткая логика и теория возможностей.

В общем случае правила в базе знаний могут иметь сколь угодно сложную логическую структуру антецедента. Кроме того сами правила могут быть взвешены оценками уверенности и наконец различные правила в базе знаний могут содержать в консеквенте одни и те же выводы. Поэтому обобщенная схема обработки неопределенностей в продукционных базах знаний имеет следующий вид:

CFant для свойств связанных конъюнкцией А&B

CFant = min(CF[A], CF[B])

CFant для свойств связанных дизъюнкцией АB

CFant = max(CF[A], CF[B])

CFcons = CFantCFrule

Рассмотрим в качестве примера подход к формализации и обработке неопределенных знаний, предложенный Шортлиффом при разработке системы MYCIN, который явился одним из первых и стимулировал многие другие работы в этой области. В соответствии с данным подходом неопределенность представляется коэффициентами уверенности (КУ), принимающими значение в интервале [–1; +1]. Значение –1 соответствует абсолютной ложности утверждения, +1 – абсолютной истинности, а 0 – полной неопределенности. Пусть имеется правило вида:

Если <Свидетельство-X>, то <Вывод-A>.

Значение CF коэффициента уверенности в выводе A при наличии свидетельства X определяется следующим образом:

(P(A/X) - P(A)) / (1 - P(A)) , если P(A/X) P(A);

CF[A, X] =

   P(A/X) - P(A) / P(A)  , если P(A/X) < P(A).

Здесь P(A) – априорная вероятность гипотезы A; P(A/X) – апостериорная вероятность гипотезы A при наличии свидетельства X. Первая из приведенных выше формул соответствует случаю, когда X подтверждает A, а вторая – когда X опровергает A.

Антецеденты правил обычно имеют сложную логическую структуру и представляют собой формулы, составленные из отдельных свидетельств с использованием операций конъюнкции и дизъюнкции. В этом случае при вычислении КУ составного антецедента используются следующие формулы:

для X&Y: CFand = min (CF[X], CF[Y]);

для XY: CFor = max (CF[X], CF[Y]).

Помимо неопределенности исходных свидетельств может иметь место неполная уверенность эксперта в справедливости некоторого правила вывода. В этом случае КУ приписываются самому правилу (импликативной связке). Тогда коэффициент уверенности CFcons для заключения, полученного по некоторому правилу, определяется выражением:

CFcons = CFant  CFrule ,

где – CFant и CFrule соответственно КУ антецедента и собственно правила;   – операция умножения.

Различные правила в БЗ могут одновременно подтверждать (опровергать) одну и ту же гипотезу H. В этом случае каждое правило рассматривается как независимое свидетельство. Обозначим CF1 = CF[H:E1] – коэффициент уверенности в гипотезе H при наличии свидетельства E1, аналогично CF2 = CF[H:E2] для свидетельства E2, CF1,2 = CF[H:E1,E2] – коэффициент уверенности в H при наличии свидетельств E1 и E2. Тогда имеют место следующие правила комбинирования свидетельств:

   CF1 + CF2 - CF1 CF2 , если CF1 > 0 и CF2 > 0;

CF1,2 = CF1 + CF2 + CF1 CF2, если CF1 < 0 и CF2 < 0;

   (CF1 + CF2)/(1-min(CF1,CF2)), если CF1 и CF2 имеют разные знаки. 

Данные формулы обладают следующими важными свойствами:

1. Симметричностью свидетельств, т.е независимостью от порядка их получения.

2. По мере накопления подтверждающих (опровергающих) свидетельств значение КУ смещается к определенности (-1 или +1).

Рассмотрим использование коэффициентов уверенности Шортлиффа на примере. Пусть некоторая ЭС включает два следующих правила, имеющих одинаковое заключение:

1. Если    (X водит Форд)     [CF = 0,8]

    И   (X читает «Вашингтон пост»),   [CF = 0,75]  

    То  (X будет голосовать за демократов);  [CF = 0,9]

2. Если   (X нравится Б.Клинтон)   [CF = 0,4]

  ИЛИ  (X за снижение налогов),   [CF = 0,6]

  То    (X будет голосовать за демократов) [CF = 0,7]

Справа указаны значения КУ отдельных свидетельств и правил (после консеквента). В правиле 1 предикаты связаны конъюнкцией, поэтому для антецедента в целом значение коэффициента уверенности определится следующим образом:

CF1ant = min (0,8; 0,75) = 0,75.

Значение КУ вывода по этому правилу есть:

CF1 = CF1ant  CF1rule = 0,75 0,9  = 0,675.

Аналогично для второго правила, с учетом дизъюнктивной связи в антецеденте, имеем:

CF2ant = max (0,4; 0,6) = 0,6,

CF2 = CF2ant  CF2rule = 0,6 0,7  = 0,42.

Поскольку CF1 и CF2 имеют одинаковые знаки, по правилу комбинирования свидетельств окончательно имеем:

CF1,2  = 0,675 + 0,42 - 0,675 0,42 = 1,095 – 0,2835 0,81.


еn

1

f(e1,…en)

. . .

   CFAnt

CFRule

g(ant, rul)

 CFconsi

CFconsj

h(CFconsi, CFconsj)


 

А также другие работы, которые могут Вас заинтересовать

10804. Учет в Древнем Египте 76.09 KB
  Реферат По дисциплине: Бухгалтерский учет Тема: Учет в Древнем Египте Содержание: Введение Возникновение и развитие учета в Древнем Египте Инвентаризация Заключение Список использованной литературы Введение...
10805. Аппроксимация данных эллиптическими полиномами 154.01 KB
  1 Аппроксимация данных эллиптическими полиномами Аннотация В статье предлагается новое поле для приложения эллиптических функций аппроксимация дискретных значений процессов и сигналов зафиксированных через равные промежутки времени. Аппр
10806. Тепловые поля. Уравнение теплопроводности в твердых телах 90.12 KB
  Тепловые поля. Уравнение теплопроводности в твердых телах. Теплопроводность представляет собой процесс распространения энергии между частицами тела находящимися друг с другом в соприкосновении и имеющими различные температуры. Рассмотрим нагрев какоголибо одноро...
10807. Системи управління якістю підприємство автомобільного транспорту 187.78 KB
  Вступ За сучасними міжнародними і вітчизняними нормативними вимогами щодо системи управління якістю розроблено карту процесу контролю та випробування продукції. Запропоновано оптимальну схему організації і проведення контролю якості продукції із плануванням запобі...
10808. Пособие по языку С++ 997.5 KB
  Введение Данное пособие составлено для того чтобы помочь студентам научиться разрабатывать программное обеспечение компьютеров. В нем рассматриваются такие базовые понятия как алгоритм компьютер и программа. Для разработки программ используется алгоритмический я...
10809. Лексічны састаў сучасных заалагічных найменняў 114.78 KB
  РЭФЕРАТ Петраковіч Кацярына Іванаўна. Структурнасемантычная арганізацыя сучаснай заалагічнай наменклатуры. У данай рабоце разглядаецца лексічны састаў сучасных заалагічных найменняў. Дыпломная праца складаецца з уводзін трох глаў заключэння спіс...
10810. Здабыткі, праблемы, шляхі рэалізацыі факультатыўных заняткаў па беларускай мове ў вучэбным працэсе 125.47 KB
  Змест Уводзіны. Змест факультатыўных заняткаў па бел. мове. Факультатывы скіраваныя на развіцце культуры маўлення. Факультатывы звязаныя з развіццем звязнага маўлення. Развіцце творчых здольнасцяў школьнікаў на занятках факультатыва. Развіцц...
10811. Измерение джиттера в цифровых системах передачи. Построение глазковой диаграммы 560.85 KB
  Лабораторная работа Измерение джиттера в цифровых системах передачи. Построение глазковой диаграммы Цель работы: исследовать возможность и перспективность применения глазковых диаграмм для анализа цифровых сигналов. Теоретические сведения Джиттером или фазов...
10812. Фізика - наука про природу. Фізичні тіла та фізичні явища. Механічні, теплові, електричні, магнітні та світлові явища 48 KB
  Канікули пролітають швидко, і ось уже все менше лишається «літніх» аркушів календаря. Діти, що приходять до школи 1 вересня, завжди свідомо чи підсвідомо чекають чогось зовсім нового та цікавого. Як би було чудово, якщо б ці сподівання не зникли та не забулися потроху в суєті шкільних буднів