
- •Экспертные системы Введение.
- •Основные характеристики (свойства) человеческого разума.
- •«Горячие точки» искусственного интеллекта.
- •Данные и Знания.
- •Основные отличия знаний от данных.
- •Логики знаний, веры (убеждений), умолчаний, темпоральные знания.
- •Норм. Модальная система.
- •Развитие искусственного интеллекта.
- •Классификация эс как приложений.
- •Обработка плохо определенной информации
- •Теоретико – вероятностный подход к обработке неопределенностей (плохо определенной информации)
- •Недостатки схемы Байеса
- •Байесовские сети доверия
- •Метод субъективных коэффициентов уверенности.
- •Методы обработки плохо определенной информации в системе guru.
- •Поиск решения в условиях неопределенности с использованием дерева решения.
- •Теория свидетельств Демпстера – Шефера
- •Правило объединения свидетельств
- •Правило объединения свидетельств Демпстера
- •Конструирование экспертных систем.
- •Этапы конструирования эс
- •Структура современных инструментальных средств
- •Классификация инструментальных средств конструирования экспертных систем
- •Формальные системы оперирования временем
- •Модальные временные логики
- •Тенденции развития инструментальных средств ис (эс, соз)
- •Извлечение знаний
- •Приобретение знаний
- •Формирование знаний
Обработка плохо определенной информации
Природа неопределенности
Неопределенность в исходной информации
Неопределенность в знаниях
Pi = (Ci→Ri,Ki)
CI – Посылка
Ri – Результат
Ki – Уверенность
Неопределенность постановки цели
F
(x)
– ext
x≤x*
Pi = (Ci→Ri,Ki) – Эксперт пишет правила
↓
Достоверно
K(Ci)
↓
Уверенность
K(Ri) = f (K(Ci), Ki)
Теоретико – вероятностный подход к обработке неопределенностей (плохо определенной информации)
Pi = (Ci→Ri, Ki)
Ei→Hi
Ei – свидетельство
Hi – гипотеза
Pi (Hiǀ Ei)
P = (E→H) P(HǀE)
Формула Байеса
P
= (HǀE)
= P
(EǀH)
Модификация
Поделим
-
шанс справедливости гипотезы H
-
Условный шанс
– Модифицированная
формула Байеса
– E-контр
свидетельство
– E-свидетельство
,
если
свидетельства
независимы
,
i=1,n
,
j=1,m
)
P
=P(H) P
(HǀEi)
= P(EiǀH)
Pi+=P(Ei
H) P(Ei)
= P(Ei
H)*P(H)+P(Ei
H)*P(˥H)
Pi-= P(Ei H)
=
БЗ
– Априорная
вероятность
– Свидетельство
– Номер
свидетельства
Пример:
<Грипп, P, 2, {(1: 0,99; 0,01); (2: 0,9; 0,1)}>
Нет эпидемии
P=0,01
E1(↑t)
P(HǀE1)=
=
E2(Насморк)
P(HǀE2)=
=
E1, E2
P(Hǀ
E1,E2)
Эпидемия
P=0,1
P(HǀE1)=0,9
P(HǀE2)=0,5
P(Hǀ E1,E2)=1
Недостатки схемы Байеса
Неопределенность в свидетельствах
- Вводятся шкалы
0
1
-1
0
1
Независимость свидетельств
P(H) + P(˥H)=1
P(HǀE1,…,En) = 0,6
P(˥HǀE1,…,En) = 0,4
Трехзначная логика: {0; 0,5; 1}
Четырехзначная логика: {true, false, 0, τ}
Байесовские сети доверия
Пример
Схема
Р – ремонт дороги
А – авария
D – дорожные работы
З – Замедление
М – мигалка
Вероятность того, что Р при наличии З
P(RǀZ)
= P(ZǀR)
=
R |
Z |
вероятность |
|
True |
True |
0,3 |
0,75 |
True |
False |
0,2 |
|
False |
True |
0,1 |
|
False |
False |
0,4 |
|
P(R,A, D, 3, M) = P(R)*P(AǀR)*P(DǀR,A)*P(ZǀR,A,D)*P(MǀR,A,D,Z)
Сети:
Родители не связаны
У дочерней вершины не более двух родителей
P(R,D,A,Z,M) = P(R)*P(A)*P(DǀR)*P(ZǀR,A)*P(MǀA)
Метод субъективных коэффициентов уверенности.
P(HǀE1…En)=0,6
P(˥HǀE1…En)=0,4
Мера доверия Мd(HǀE)
Мера недоверия Mn(HǀE)
M
d(HǀE)=
1, если P(H)
= 1
Max
,
если P(H)
1
M
n(HǀE)=
1, если P(h)=0
,
если P(H)
K(HǀE) = Md(HǀE)-Mn(HǀE) – коэффициент уверенности
0
Md,
Mn
1
-1 K(HǀE) 1
Kпорог, н K(HǀE)≤Kпорог в
Если свидетельства сложные, то Ei и Ej независимы.
(
1)Md(HǀEi&Ej)
= 0, если Md(Hǀ
Ei&Ej)=1
Mn(Hǀ Ei)+Mn(Hǀ Ej)- Mn(Hǀ Ei)*Mn(Hǀ Ej)
(
2)Mn(HǀEi&Ej)=
0, если Md(HǀEi&Ej)=1
Mn((HǀEi)+Mn(HǀEj)- Mn(HǀEi)*Mn(HǀEj)
Md(Ht&HgǀE)
= min
Mn(Ht&HgǀE)
= max
Md(Ht
HgǀE)
= max
Mn(Ht HgǀE) = min
Если свидетельства правдоподобные
Md(HǀA)
= Md(HǀE)*max
Mn(HǀA)
= Mn(HǀE)*max
Методы обработки плохо определенной информации в системе guru.
Pi = (Ci→Ri,Ki)
K(Ri) = f(K(Ci),Ki)
Pi = (Ci→Ri,Ki)
Pj = (Cj→Rj,Kj)
-
AND(&) (E.CFJO)
OR (E.CFCO)
M
min
P
ab
A+b-ab
A
B
Ab(2- min
max + min
R-надежность поставщика
Правила:
P1=(C1→R; 0,9)
P2=(C2→R);0,8)
P32=(C3='кооператив'→R;0,5)
P32=(C3='ИП'→R;0,4)
P34=(C3='Частное'→R;0,4)
P31=(C3='Государственное'→R;0,6)
P4=(C4→R;0,6) или P4=(˥C4→R;0,3)
P11=(C11&C12→R1;1)
P12=(˥C11&C12→C1;0,6)
P13=(C11&˥C12→C1;0,8)
P14=(˥C11&˥C12→C1;1)
Нет неопределенности в исходных данных
(C11, c12, C2, C3=’кооператив’, C4)
MM:
max
=0,9
PP: 0,9+0,8-0,72=0,98
0,98+0,5-0,49=0,99
0,99+0,6-0,594=1
Если есть неопределенность в исходных данных
MM:
=0,6
PP: 0,6*0,9+0,6*0,8-0,54*0,41=0,76
0,76+0,5-0,76*0,5=0,88
0,88+0,6-0,88*0,66=0,95
P1=(C1 →R,K1)
P2=(C2→R,K2)
K(R)=a+b-ab=0,9+0,8-0,72=0,98
K(R)=a(1-b)=0,9*0,2=0,18
0,6 0,6
K(R)=0,6*0,9+0,6*0,8-0,54*0,48=0,76
0,6 -0,6
K(R)=0,6*0,9(1-0,8*0,6)=0,28
E.UNKN=n
0≤cf≤100
E.JCR=true