Documente Academic
Documente Profesional
Documente Cultură
2016
MS SIA an 1
2015-2016
Conf.dr. D.Pvloaia
3/31/2016
Cuprins
1. Sisteme bazate pe reguli - SBR(RBS), Sisteme Expert, Motoare de reguli.
Concepte de baz (expert, raionament, inferen, exemple de reguli, FC +
BC, etc) i repere evolutive
31.03.2016
31.03.2016
3/31/2016
31.03.2016
2)
3)
explicarea soluiei;
4)
5)
restructurarea cunoaterii;
6)
fragmentarea regulilor;
7)
determinarea relevanei;
8)
3/31/2016
31.03.2016
3/31/2016
3/31/2016
10
31.03.2016
Exemple de SE/SBR
Limbaje de programare: LISP, CLIPS
ES Shells: Exsys, Corvid
SBR:
For Java: Jess, Drools
Others: OPS5
Familia Web Rule languages
In special RuleML si SWRL
Interoperabilitatea regulilor
3/31/2016
11
Precum Fortran, Lisp a evoluat comparativ cu forma iniial, existnd de-a lungul
vremii o serie de dialecte
12
31.03.2016
13
Exemplu de regul:
n LISP
n CLIPS
3/31/2016
14
31.03.2016
15
3/31/2016
16
31.03.2016
3/31/2016
17
18
31.03.2016
Drools
http://www.drools.org/
19
20
10
31.03.2016
Validare
Eligibilitatea unei persoane pentru obinerea unei ipoteci
Calcul
Calculul unei ipoteci.
Direcionare i filtrare
Filtrarea mesajelor primite i gruparea lor n foldere.
Trimiterea mesajelor primite ctre o destinaie
Stateful Knowledge Session. Exemple:
Monitorizare
Monitorizarea bursei de valori i analiz n vederea realizrii unei achiziii semi-automate.
Diagnostic
Depistarea fraudelor, diagnostic medical.
Logistic
3/31/2016
21
care preia orice expresie ce returneaz un numr de tip int. Strategia de rezolvare a
conflictelor va executa prima dat regula care are salience-ul cel mai mare.
salience ($account.balance * 5)
3/31/2016
22
11
31.03.2016
24
3/31/2016
25
RuleML
Reguli de inferenta/derivare
<imp> <_head> conc </_head>
<_body> <and> prem1 ... premN </and> </_body>
</imp >
implementate prin
<rule> <_body> <and> prem1 ... premN </and> </_body>
<_head> <assert> conc </assert> </_head>
</rule>
Fapte
<atom> <_head> conc </_head> </atom>
implementate prin
<imp> <_head> conc </_head>
<_body> <and> </and> </_body> </imp>
12
31.03.2016
Exemplu OPS5
WME
111 4
2 F
3/31/2016
26
26
Cuprins
1. Sisteme bazate pe reguli - SBR(RBS), Sisteme Expert, Motoare de reguli.
Concepte de baz (expert, raionament, inferen, exemple de reguli, FC +
BC, etc) i repere evolutive
31
13
31.03.2016
3/31/2016
32
Istoricul apariiei SE
Early AI (1956-late 1960s): ateptri prea mari , urmate de dezamgiri i deziluzii.
MYCIN (Feigenbaum et al, 1972) sistem pentru diagnosticarea bolilor infecioase ale
sngelui. Utilizarea factorilor de certitudine pentru manipularea incertitudinii
3/31/2016
33
14
31.03.2016
Arhitectura unui SE
3/31/2016
34
3/31/2016
35
15
31.03.2016
3/31/2016
36
3/31/2016
37
16
31.03.2016
3/31/2016
38
3/31/2016
39
17
31.03.2016
Selectarea regulii celei mai specializate (X =numrul maxim de condiii specializat vs.
Y=caracter general)
Selectarea regulii celei mai productive. (X=numrul maxim de consecine, mai mult
nseamn mai bine )
Selectarea euristic. (regula care conduce baza de fapte ct mai aproape de starea dorit)
Selectarea pe baza ncrederii. (Principiul utilizrii factorilor de certitudine Confidence
factor)
3/31/2016
40
3/31/2016
41
18
31.03.2016
3/31/2016
42
3/31/2016
43
19
31.03.2016
3/31/2016
44
3/31/2016
45
Intrari
(date de caz)
MEMORIE
DE LUCRU
Fapte dinamice
Date
Iesiri
(Raspunsuri)
Date de activare
BAZA DE
CUNOSTINTE
Reguli
Fapte
Actiuni
(Concluzii)
MOTOR DE
INFERENTA
Reguli selectate
Control
Selectie reguli
si fapte
20
31.03.2016
Regula de producie
Metod procedural
Este cea mai folosit metod de dezvoltare a SE/SBR
F.eficace -> reprezentarea recomandrilor, directivelor sau strategiilor
Are dou pri care stabilesc o relaie ce reprezint scopul regulii:
partea de IF (LHS) i
partea de THEN (RHS)
3/31/2016
46
....
ATUNCI(THEN)
concluzie1
concluzie2
....
ALTFEL(ELSE)
concluzie3
concluzie4
.....
3/31/2016
47
21
31.03.2016
3/31/2016
48
3/31/2016
49
22
31.03.2016
Reguli de cauzalitate
Reguli de recomandare
Reguli directiv
Reguli strategice
Reguli euristice
Reguli cu variabile
Reguli cu factori de certitudine (0-1, -1 1, 0-10).
3/31/2016
50
51
51
23
31.03.2016
3/31/2016
52
Limitele SBR
vocabularul utilizat de ctre experi este strict delimitat i adesea dificil de neles de ctre
dezvoltatori;
transferul expertizei este nc un subiect delicat, datorit bazei legale i percepiei multor
persoane.
3/31/2016
53
24
31.03.2016
Bibliografie
Michael Negnevitsky, Artificial Intelligence: A Guide to
54
3/31/2016
55
25