Inteligen Artificial

5. Tipuri de cutri

CAPITOLUL III. Sisteme de Producie

Curs 5: Tipuri de cutri. Sheell-uri de Sisteme Expert
Tipuri de cutri
n cursul 4 am vzut cteva metode de a organiza o cutare n spaiul strilor pentru gsirea soluiei unei probleme de IA. Maniera de cutare a fost ntotdeauna dinspre o stare considerat iniial ctre o stare considerat final, fie c tim cu exactitate acea stare, fie c o cunoatem doar prin anumite condiii care snt verificate de ea. Parcurgerea spaiului strilor este deci ntotdeauna ctre nainte (forward-looking), sau plecnd de la premize pentru a ajunge la o concluzie. Dar aceasta nu e singura posibilitate: la fel de bine putem adopta o manier de cutare care pleac dinspre concluzie pentru a verifica dac avem premize care s-o verifice. Maniera se numete cutare napoi (backward-looking). Limbajul Prolog implementeaz o astfel de strategie. In sfrit se poate vorbi i de o cutare bidirecional, n care se pleac simultan dinspre premize i concluzie n ncercarea de a gsi o cale care s le uneasc. Ca la sparea unui tunel, ntr-o astfel de cutare trebuie s existe o comunicare ntre cele dou extremiti ale procesului, care s asigure c se va ajunge la o ntlnire a lor i nu la sparea a dou tuneluri paralele... (vezi Figura 1).

stare iniial

comunicare

stare final

Figura 1: Cutare bidirecional sincron

Sisteme Expert (SE)

Premiza principal n construcia unui SE este aceea c un expert i construiete soluia la o problem din piese elementare de cunoatere pe care le selecteaz i le aplic ntr-o anumit secven. Pentru a furniza o soluie coerent la o problem dat cunoaterea cuprins ntr-un anumit domeniu trebuie aadar formalizat, apoi reprezentat corespunztor i n final manipulat n conformitate cu o anumit metod de rezolvare de probleme. Se pune astfel n eviden diviziunea dintre seciunea care pstreaz reprezentarea cunoaterii asupra domeniului - baza de cunotine - i diviziunea responsabil a organiza procese infereniale

28

Inteligen Artificial

5. Tipuri de cutri

care s implice aceste cunotine - sistemul de control. Acestea sunt, istoric, cele dou module principale ale unui sistem expert (v.Figura 2).

Baza de cunotine

Sistemul de control

Figura 2: arhitectura de baz a unui SE baza de cunotine este format dintr-o colecie (baz) de fapte mpreun cu o colecie (baz) de reguli; sistemul de control codific una sau mai multe strategii de rezolvare a problemelor. Aceast component mai este numit i motor de inferene.

Motoare de inferene ale SE Un mecanism elementar de aprindere a regulilor lucreaz conform urmtorului algoritm, care descrie cel mai simplu ciclu al unui motor de inferene:

- faza de restricie: determin, plecnd de la baza de fapte BF i de la baza de reguli BR, submulimile BF1 BF, respectiv BR1 BR, care, -priori, merit a participa la inferen; O tehnic curent const a mpri cunotinele disponibile n familii de reguli care s fie apoi utilizate n funcie de contextul n care a ajuns raionamentul (de exemplu ntr-un sistem de urmrire a funcionrii unui proces pot exista fazele Detecie / Diagnostic / Intervenie), sau n funcie de tipul specific de problem ce trebuie soluionat (de exemplu ntr-o aplicaie de diagnostic medical regulile ce in de bolile infantile pot fi desprite de celelalte, iar faptele ce in de analiza sngelui pot fi separate de celelalte). Shell-urile evoluate de SE ofer inginerului bazei de cunotine posibilitatea de separare n clase a setului de reguli i analog a mulimii de fapte. Cel mai adesea, pentru mai multe cicluri consecutive se folosesc reguli aparinnd aceleiai submulimi. n consecin, pentru a economisi timp, faza de restricie poate fi exterioar unui ciclu, ea indicnd motorului a lucra cu o seciune sau alta a bazei de reguli, respectiv de fapte, pe o etap anumit a derulrii raionamentului. Atunci ns cnd un shell nu ofer aceast facilitate, restricia se realizeaz practic n faza de filtrare, prin recunoaterea de condiii specifice n toate regulile aparinnd aceleiai seciuni. - faza de filtrare: gsete mulimea PossRules a tuturor instanelor de reguli din BR1 care i pot satisface condiiile pe faptele din BF1;

29

Inteligen Artificial

5. Tipuri de cutri

n cele mai multe cazuri, verificarea prii de condiii a unei reguli se face printrun proces de pattern-matching. Urmare a acestui proces eventualele variabile care apar n regul se "leag" la valori ce, n eventualitatea n care regula este selectat pentru a a fi aprins, sunt apoi transportate n partea dreapt, partea de aciuni. Exprimarea "instane de reguli" de mai sus se refer la acest aspect. Aadar o instan de regul este o regul ale crei variabile sunt legate la valori. n faza de filtrare o regul poate produce mai multe instane ale ei, corespunztor tuturor legrilor posibile de variabile la valori, prin confruntarea prii de condiii pe faptele din baz. - faza de selecie: selecteaz un membru R PossRules al acestei mulimi prin aplicarea uneia or a mai multor strategii de conflict; - faza de execuie: dac nici o regul nu a putut fi selectat atunci STOP; altfel motorul execut partea de aciuni a regulii R, cu rezultat asupra memoriei de lucru (BF); - reia a_cycle; mpreun, fazele de restricie, filtrare i selecie, avnd ca finalizare depistarea (eventual) a unei reguli, pot fi considerate a forma timpul evaluare, n aa fel nct un SE are funcionalitatea unui motor n doi timpi: EVALUARE i EXECUIE.

30