Professional Documents
Culture Documents
Sisteme expert
O definiie a sistemelor expert
10.04.2011
reprezentri simbolice;
inferen simbolic;
cutare euristic,
sistemul expert folosete datele din baza de date filtrate printr-un set de
cunotine, nmagazinate n baza de cunotine, care sunt independente
de algoritmul de rezolvare utilizat;
algoritmul de cutare a soluiei, denumit motor de inferen, nu mai
este de tip iterativ, ca n cazul programelor analitice, ci de tip
convergent;
datorit delimitrii nete dintre elementele componente (baza de date,
baza de cunotine, motorul de inferen) un SE poate fi modificat cu
uurin prin simpla adugare sau eliminare de reguli; conceperea
unui SE este un proces linear, realizat prin discuii repetate cu experi
umani pentru dezvoltarea bazei de cunotine;
toate operaiile logice i matematice care se succed n gsirea unui
rspuns se aduc la cunotina utilizatorului printr-un modul explicativ
independent numit interfaa cu utilizatorul.
10.04.2011
10.04.2011
2.
3.
4.
5.
10
11
E xpert n
do meniu
Baza de
date
Ingin er de
cu notine
A ch iziie de
cu notin e
Memo riea d e
lucru
Fapte dinamice
Da te
A ciuni
Concluzii
M oto r de
in feren
Regu li
selecionate
Reg uli
Baza de
cu notine Fap te
Utilizator
Selectare
reg uli i fapte
Mediu de
d ezvo ltare
10.04.2011
12
baza de cunotine;
baza de date;
motorul de inferene. (inferen = operaie logic de trecere de la un
enun la altul i n care ultimul enun este dedus din primul )
2. Componente complementare
13
14
regulile de producie;
reele semantice;
structuri mpachetate sau frameuri;
obiecte;
logica propoziional sau a predicatelor
10.04.2011
15
cunotine declarative sau factuale, grupate sub forma unor structuri de date
memorate ntr-o colecie denumit context;
cunotine procedurale reprezentate sub forma unor perechi de tipul condiie
aciune, denumite reguli de producie, memorate n baza de reguli;
cunotine strategice sau de control, reprezentate sub forma unor reguli care
sprijin decizia n procesul de soluionare al problemei.
10.04.2011
16
17
10.04.2011
18
10.04.2011
19
20
21
22
23
modus ponens;
modus tollens;
rezoluia etc.
24
25
26
27
28
Exemplu:
< ntreruptorul I7 > < Este n poziia > < nchis >
10.04.2011
29
30
10.04.2011
31
32
Motor de inferene
Reguli
Alte
aciuni
reguli
aplicabile
Reguli
Selectare
Regul
33
34
35
36
37
Baza de fapte
(BF)
SELECIE
Reguli
posibile
Fapte
selecionate
FILTRAJ
Reguli
declanabile
REZOLVARE
CONFLICTE
Reguli
reinute
10.04.2011
EXECUIE
REGULI
38
10.04.2011
39
40
41
Modulul explicativ
SE trebuie s aib capacitatea de a furniza explicaii
operatorului n legtur cu raionamentul folosit pentru
a ajunge la o anumit recomandare sau decizie.
Cu ct sunt mai explicit reprezentate cunotinele n baza
de cunotine, cu att este mai eficient procesul
explicativ, deoarece cunotinele i metodele de utilizare
a acestora sunt elemente fundamentale.
10.04.2011
42
Consideraii generale
43
44
45
P = ( Si D )
Sf D
( (
))
46
47
Observaii:
Altfel spus:
48
49
10.04.2011
50
= {t1, t2 , t3 , t4 }
= {t2 , t1, t3 , t4 }
= {t1, t3 , t2 , t4 }
T9*
= {t2 , t5}
10.04.2011
T4*
T5*
T6*
t4
= {t1, t2 , t3 , t5}
= {t2 , t1, t3 , t5}
t3
= {t1, t3 , t2 , t5}
t2
P1, P2, P3,
P4
t1
t1
P1, P2, P3
t2
P1, P2, P3,
P5
t2
t5
t5
P1, P2, P3,
P4, P5, P7
t3
P1, P2, P3,
P4, P6
t5
P1, P2, P3,
P5, P7
51
T1* = {t1, t2 , t3 , t4 }
*
T7
= {t1, t2 , t5 }
T4* = {t1, t2 , t3 , t5 }
T9* = {t2 , t5 }
52
Observaii:
53
Reprezentarea soluiei
soluiei problemei
problemei
Reprezentarea
Reprezentarea soluiei
soluiei
Reprezentarea
problemei prin
prin
problemei
spaiul strilor
strilor
spaiul
( Si , O , S f )
10.04.2011
Reprezentarea soluiei
soluiei
Reprezentarea
problemei prin
prin
problemei
grafuri SI
SI // SAU
SAU
grafuri
( Si , O, Pe )
54
55
56
7
13
6
10
10 5C
10
9
{A,B}
E
D
(a) Harta oraselor de parcurs
...
6
10
{A,C}
{A,D}
5
{A,C,D}
...
13
{A,E}
...
6
{A,C,D,E}
(b) O portiune din spatiul de cautare a solutiei
57
10.04.2011
58
59
care
60
R3
R4
61
10.04.2011
62
noduri rezolvate
noduri nerezolvabile:
63
Concluzie
64
A
(a) Stare initiala
65
n=2
A la B
n=2
B la C
n=1
A la C
n=1
A la C
n=1
A la B
n=1
C la B
n=1
B la A
n=1
B la C
n=1
A la C
10.04.2011
66
67
10.04.2011
68
69
10.04.2011
70
71
72
73
10.04.2011
74
10.04.2011
75
Cost parcurgere
(cost aplicare
operatori)
Cost total
Neinformat
10.04.2011
Informat
Grad de
informare
76
77
10.04.2011
78
79
80
81
82
10.04.2011
83
10.04.2011
84
85
n1
n3
n2
n5
n4
n8
n6
n9
n7
n10
86
87
88
89
Cutarea n adncime
90
91
5.
92
Exemplu
se consider graful din figur
n care nodul n1 reprezint
starea iniial, iar nodul n10
starea final.
ordinea n care se exploreaz
diversele ci n graful de
cutare depinde de ordinea n
care se genereaz i se
insereaz n LF succesorii
nodului expandat . n cele ce
urmeaz considerm c
succesorii unui nod se
genereaz n ordinea indicelui
numeric.
10.04.2011
n1
n3
n2
n5
n4
n8
n6
n9
n7
n10
93
94
95
10.04.2011
96
Observaii:
97
10.04.2011
98
99
aproximri raionale;
ipoteze simplificatoare;
cunotine specifice domeniului problemei.
10.04.2011
100
101
102
10.04.2011
Si
g(Sc)
Sc
f(Sc)
h(Sc)
Sf
103
Observaii :
f * ( Si S f ) = g ( Si Sc ) + h* ( Sc S f )
10.04.2011
104
10.04.2011
105
106
Algoritmele A* i AO*
f * ( Si S f ) = g ( Si Sc ) + h* ( Sc S f )
10.04.2011
107
B, C
R1: DAC B I D I E F
R2: DAC D I G A
R3: DAC C I F A
R4: DAC B X
R5: DAC D E
R6: DAC A I X H
R7: DAC C D
R8: DAC X I C A
R9: DAC X I B D
R7
R7
R9
B, C,
R8
X, D
R5
R9
B, C,
R8
a
R4
R7
B, C
B, C,
R8
R9
R7
R8
X, D,
E, F
R3
R9
R8
B, C,
R6
X, D,
R9
H
R8
E, F,
B, C,
R6
X, A
b
R9
H
R7
ambele subscopuri
I trebuie verificate
una sau alta dintre
SAU reguli poate fi aplicat
inutil deoarece nu
a fost verificat G
SAU
A R3
C verificat B verificat
C verificat
I
R7
SAU
R1
F
D
R8
I
R9
C verificat
R7
R5
R4
E
D
X
B verificat
R9
c
R2
R6 I
B, C,
G neverificat
I
R1
X, D, R9
E
10.04.2011
B, C,
108
10.04.2011
109