INTELIGENTA ARTIFICIALA SI SISTEME EXPERT

2 h curs +1.5 h proiect 8 credite examen scris, partial tip grila

IASE curs 1 I TI 2013/2014 1

Cap. 1 Problematica IA 1.1 Definitii ale IA

1956 prima conferinta ( Dartmouth, Vermont) la care este adoptat termenul de IA ; grupe de cercetatori( Minsky, Mc Carthy, Simon &Newell, Borr& Feigenbaum); universitati; MIT, Stanford, Carnegie Mellon; 1960 Minsky asociaza IA cu rezolvarea simbolica a problemelor de analiza matematica pe calculator 1970 P. Winston IA se ocupa cu studiul conceptelor care permit masinilor sa fie inteligente 1981 Borr & Feigenbaum IA este un domeniu al stiintei calculatoarelor care isi propune realizarea unor sisteme de calcul inteligente care sa manifeste proprietati asociate inteligentei in comportamentul uman: rationament, invatare, capacitatea de rezolvare a problemelor, intelegerea limbajului ( comunicare), etc. 1990 Laurier IA este un domeniu al informaticii care incepe acolo unde se opreste informatica clasica, destinat rezolvarii problemelor pentru care nu exista algoritmi de calcul sau pentru care algoritmii sunt prea complexi pentru a fi rezolvati in maniera clasica
IASE curs 1 I TI 2013/2014 2

Clase de probleme: polinomiale ( P), nedeterminist-polinomiale ( NP), exponentiale ( E) Clasic: enunt problema ->algoritm->rezolvare IA:enunt-> cunostinte relative la domeniu+strategii de cautare in spatiul cunostintelor->solutie =>modul de reprezentare a cunostintelor + dezvoltarea unei masini pentru a efectua deductii logice ( rationament) IA este un domeniu al informaticii care dezvolta sisteme tehnice capabile sa rezolve probleme intelectuale dificile prin metode asemenea celor folosite de om : intelegere, modelare, previziune, etc IA este un domeniu care proceseaza simboluri IA se bazeaza pe ipoteza ca intelegerea umana poate fi explicata independent de modul de functionare al creierului, privit in acest context ca un hardware specializat Unul dintre obiectivele IA este si dezvoltarea unei teorii a inteligentei
IASE curs 1 I TI 2013/2014 3

Nils Nilsson: Artificial Intelligence; A new Synthesis

IA a produs deja multe sisteme practice aflate in uz, dar atingerea nivelului uman de inteligenta este inca un scop indepartat Paradigmele asociate diverselor abordari in IA pot fi clasificate in doua categorii: 1. Abordarea simbolica este considerata clasica si se bazeaza pe utilizarea operatiilor logice aplicate unor cunostinte declarative ( activitatea inteligenta a omului poate fi pusa sub forma unui calcul simbolic) making a mind 2.Abordarea subsimbolica pleaca de la ideea de a copia creierul uman; model conectionist sau retele neuronale modelling the brain

IASE curs 1 I TI 2013/2014

Stuart Russell &Peter Norvig: Artificial Intelligence. A modern Approach

Definitiile IA pun accentul fie pe procesul de gandire si pe rationament, fie pe comportament. De asemenea aprecierea perfomantei se poate face in raport cu performanta umana sau in raport cu un concept ideal despre inteligenta, numit uzual rational. Rezulta astfel o organizare a definitiilor in 4 categorii: 1.Sisteme care gandesc ca omul. 2.Sisteme care gandesc rational. 3.Sisteme care actioneaza ca omul. 4. Sisteme care actioneaza rational. Exemple : Testul Turing; Modelarea cognitiva; Logica formala; Agentul inteligent ( rational) A actiona rational: a actiona astfel incat sunt parcursi pasii necesari pentru a atinge un scop Agent: observa si actioneaza IA : stiinta care studiaza si creeaza agenti inteligenti O caracteristica a agentului inteligent este aceea de a executa inferente corecte, respectiv de a rationa logic asupra unei concluzii in scopul atingerii unui scop.
IASE curs 1 I TI 2013/2014 5

1.2 Inteligenta, cunoastere, rationament

Inteligena natural poate fi definit ca fiind facultatea de a nelege, de a acumula cunotine, puterea de a face fa cu succes oricrei situaii, mai ales celor neobinuite i neprevzute, capacitatea de a reaciona cu o vitez suficient pentru a putea corecta att procesele exterioare ct i propriul comportament, uurina de a nelege sau de a descoperi corelaia dintre obiectele concrete i cele abstracte, ct i i uurina de a opera cu elemente abstracte n vederea dirijrii aciunilor ctre scopul dorit. Pornind de la aceast definiie, sunt considerate "programe (sisteme) inteligente" acele produse software care, bazndu-se pe cunoatere i raionament, tind s transpun pe calculator activitatea inteligent a omului. Clarificarea conceptelor: inteligen, cunoatere, raionament, furnizeaz elemente fundamentale pentru definirea tiinei numit "inteligen artificial" (IA), sugernd n acelai timp modaliti de rezolvare a problemelor care apar la implementarea sistemelor inteligente

.
6

IASE curs 1 I TI 2013/2014

Cunoaterea este o noiune ale crei semnificaii i caracteristici pot fi precizate n special prin explicitarea contextelor relevante pentru utilizarea conceptului. Prin urmare cunoaterea poate fi considerat o noiune primar. Cunoaterea, n accepiunea uzual, nseamn aciunea de a cunoate i rezultatul ei. n cele ce urmeaz termenul va fi folosit pentru a desemna tocmai un astfel de ansamblu, chiar dac ntr-un context se precizeaz n mod distinct numai actul sau numai rezultatul. Totodat, pentru a desemna n mod explicit rezultatul cunoaterii, se va folosi termenul de cunotine. Prin urmare, putem privi i interpreta cunoaterea din urmtoarele dou perspective: ca act (proces) de transfer de informaie, denumit i observaie, prin care se stabilete un transfer de informaie de la un obiect observat la un subiect observator. n urma acestui proces, obiectul observat devine "obiect cunoscut", iar subiectul observator devine la rndul lui "subiect cunosctor". ca informaie latent, descriptiv i definitorie, depozitat n structurile de memorare ale subiectului cunosctor.

IASE curs 1 I TI 2013/2014

Cunoaterea este deci un proces complex care nglobeaz att aciunea de a cunoate ct i rezultatul ei. Rezultatul cunoaterii este constituit din entiti distincte numite elemente (piese) de cunoatere sau cunotine. Elementele de cunoatere sau cunotinele posed fiecare o anumit semnificaie, care reprezint de fapt criteriul pe baza cruia respectiva pies a fost desprins, decupat din corpul cunoaterii generale. Prin intermediul elementelor de cunoatere pot fi reprezentate astfel orice fel de noiuni relevante pentru un domeniu de competen. n acest context se opereaz cu dou categorii de noiuni: conceptele, care sunt noiuni n care se regsesc sintetizate rezultatele procesului de abstractizare prin care specificm nsuirile eseniale ale obiectelor, necesare i suficiente pentru a decide apartenena lor la clase; instanele, care reprezint elemente individuale, aparinnd unor concepte, pentru care au fost precizate anumite proprieti. Noiunea de cunoatere este utilizat frecvent pentru a desemna doar rezultatul cunoaterii, respectiv ceea ce am denumit anterior piese de cunoatere sau cunotine. Spre exemplu n [GEO 85] este considerat cunoatere informaia obiectiv latent, cu caracter de generalitate, sintetizat sub form de definiii, legi, reguli, concepte, clasificri, achiziionat ca urmare a unor procese de nvare, observare a realitii nconjurtoare, abstractizare i desubiectivizare. Cunoaterea este aadar o msur, o reflectare a realitii care, prin ea nsi, nu reprezint altceva dect un potenial. Ea i manifest puterea numai prin aplicare, producnd raionamente, judeci, noi piese de cunoatere. IASE curs 1 I TI 2013/2014 8

Prin raionament se nelege n general, un lan de judeci al crui obiectiv este obinerea de noi adevruri. Judecata este o form fundamental n logic, exprimat printr-o propoziie n care se afirm sau se neag ceva despre altceva. Propoziia, i implicit judecata, are o valoare de adevr. Propoziia conine o judecat de predicaie dac afirm sau neag o relaie sigur, necondiionat, ntre o entitate i o nsuire a acesteia. n cazul n care raportul exprimat n propoziie se refer la dou sau mai multe obiecte, avem o judecat de relaie. Propoziiile imperative sau cele interogative, nu conin judeci, deoarece nu afirm, i nici nu neag. ntr-un raionament, o judecat numit premiz este legat de o alt judecat numit concluzie, printr-o operaie logic de derivare denumit inferen. Un raionament este deductiv dac premiza este o judecat cu caracter general, iar concluzia este o judecat cu caracter particular (caracterul general sau particular nu este absolut, ci se refer la poziia relativ a celor dou judeci n ierarhia pieselor de cunoastere). Dac att premiza ct i concluzia se afl la acelai nivel de generalitate, raionamenul este transductiv (de exemplu raionamentul prin analogie). Se spune despre un raionament c este inductiv, dac produce o concluzie cu caracter general pornind de la premize cu caracter particular.

IASE curs 1 I TI 2013/2014

n raionamente nu se utilizeaz obiecte fizice, ci simbolurile pieselor de cunoatere prin care acestea sunt reprezentate n memorie, simboluri obinute n urma unui proces de abstractizare a realitii. Frecvent abstractizarea realitii este fcut astfel nct simbolul reprezint doar o caracteristic semnificativ a obiectului sau fenomenului din realitate.

IASE curs 1 I TI 2013/2014

10

1.3 Principii ale abordarilor bazate pe cunostinte

Programele inteligente, ca imagine a cercetrilor de IA, sunt cele bazate pe cunoatere. Aceast concluzie nu a fost de la nceput n atenia cercettorilor de IA i apariia ei a determinat o important reevaluare a obiectivelor i practic reorientarea ntregii activiti de cercetare. Abordarea bazat pe cunoatere este astzi larg acceptat, problema central a inteligenei artificiale moderne fiind considerat problema achiziiei i reprezentrii cunotinelor. Cunoaterea este ntotdeauna raportat la un subiect cunosctor, adic la un agent dotat cu capabiliti de interpretare a unei informaii pe care o are potenial la dispoziie prin extragere din memoria proprie. Cunoaterea este empiric dac informaia despre obiecte, fapte, fenomene, procese sau evenimente necunoscute este sesizat de ctre subiectul cunosctor nemijlocit prin organele sale senzoriale sau prin mijlocirea unor aparate i instrumente. Cunoaterea este teoretic dac se desfoar pe baza unor raionamente i judeci, ptrunznd n esen, reflectnd legturile interne, cauzalitatea i legile dup care se dezvolt structurile i se desfoar procesele. Cunoaterea teoretic se dezvolt din cea empiric, prin analiz i sintez, deducie i inducie, generalizare i particularizare. Cunoaterea are un caracter individual, fiind o reflectare n contiin a realitii. Cunoaterea tiinific se obiectivizeaz fiind confruntat pe plan tiinific, social, justificat din punct de vedere cauzal, ncadrat n teorii tiinifice, astfel nct ctig o valoare de adevr care nu mai difer de la un subiect cunosctor la altul.

IASE curs 1 I TI 2013/2014

11

Conceptul de cunoatere i conserv caracteristicile menionate anterior i n cazul transpunerii sale de la psihologia cognitiv la inteligena artificial, respectiv de la subieci cunosctori de tip uman, la subieci cunosctori de tip program pentru calculator. Pentru a fi utilizat de un program, cunoaterea este memorat sub forma unor piese de cunoatere (cunotine) care descriu prin asociere obiectele, faptele, fenomenele, procesele din acea parte a lumii reale care constituie domeniul de competen al programului inteligent. Totalitatea pieselor de cunoatere memorate alctuiesc un model al lumii, la care programul are acces prin intermediul unor proceduri de organizare, clasificare, cutare i recunoatere. Toate aceste componente, piese de cunoatere i proceduri de acces la cunoatere, alctuiesc ceea ce se numete un sistem cognitiv. n abordrile bazate pe cunoatere trebuie inut cont de faptul c simplele informaii sau date asupra unei probleme nu se constituie n cunotine dect in urma unui proces de prelucrare. Acest proces de prelucrare are partculariti specifice funcie de domeniul la care se refer cunoaterea, deci funcie de natura cunotinelor i de modul lor de utilizare. Adugarea a tot mai multe date ntr-o aplicaie de IA, fr o examinare atent a cunotinelor pe care acestea le conin, nu face dect s-i ncetineasc execuia i s-i reduc performanele.

IASE curs 1 I TI 2013/2014

12

Conexiunea structurilor unui sistem inteligent cu procesul real asociat este exprimat de axioma fundamental a inteligenei artificiale, formulat de Brian Smith [SMI 82] i cunoscut sub numele de: Ipoteza reprezentrii cunotinelor:

Orice proces inteligent, realizat artificial, este constituit din structuri pe care noi, ca observatori externi, le prelum ca reprezentnd o expresie propoziional a cunotinelor pe care procesul global le manifest, i care, independent de o asemenea atribuire extern, joac un rol formal, dar esenial i determinant, n generarea comportamentului pe care l manifest acea cunotin.
Acceptarea acestui principiu conduce la evidenierea ntr-un sistem inteligent a dou componente: componenta dinamic, orientat spre procesul de interpretare componenta static, orientat spre cunotine i date. Structural, aceste dou componente pot fi combinate ntr-o entitate omogen, ca i n cazul creierului, dar funcional ele sunt distincte.

IASE curs 1 I TI 2013/2014

13

Ipoteza reflexiei: n aceeai masur n care un proces computaional inteligent poate fi construit s gndeasc asupra lumii exterioare n virtutea nglobrii unui subproces (interpretor) care realizeaz manipularea formal a reprezentrilor despre lume, tot aa acel proces poate fi fcut sa gndeasc asupra lui nsui n virtutea cuprinderii n componena sa a unui proces (interpretor) care s realizeze manipularea formal a interpretrilor asupra propriilor operaii i structuri. Cele dou ipoteze permit formularea unuia din obiectivele principale ale IA i anume: realizarea de sisteme inteligente care integreaz att cunotinele aparinnd strict unui domeniu bine precizat ct i metodele specifice de interpretare a acestora. Echilibrul pregtire / deliberare: Trebuie avut n vedere faptul c este imposibil stocarea anticipat a tuturor cunotinelor necesare ntr-un anumit domeniu. Din acest motiv, cnd situaia o cere, interpretorul trebuie s fie capabil s intreprind o cutare n vederea obinerii de cunotine care nu i-au fost transferate, pe baza celor existente. ntre faza de pregtire (prestocare) a cunotinelor i faza de deliberare, constnd n cutari i ncercri pentru gsirea soluiei, este necesar obinerea unui echilibru..

IASE curs 1 I TI 2013/2014

14

nc de la nceputul cercetrilor n IA, n tratarea cunotinelor s-au conturat dou orientri fundamentale privitoare la tipologia cunotinelor utilizate de sistemele inteligente: cunotine procedurale ("a ti cum") - codific cunotinele ca proces/procedur, reprezentnd aciuni, fenomene, transformri de stri i de obiecte, reguli de aplicat atunci cnd se produce un eveniment, sau orice alte procese n care este implicat factorul timp. cunotine declarative ("a ti ce") - descriu informaia necesar pentru rezolvarea problemei la modul general, uzual sub form de afirmaii care pot fi adevrate sau false, fr a furniza direct metode pentru obinerea soluiei. Un al treilea tip de cunotine l reprezint cunotinele tacite, care nu pot fi exprimate prin limbaj dact pn la un anumit nivel de explicitare, fiind utilizate n mod incontient de ctre fiina uman. Acest tip de cunotine este specific sistemelor bazate pe reele neurale, care de asemenea nu pot explica n mod direct cunotinele pe care le inglobeaz.

IASE curs 1 I TI 2013/2014

15

1.4 Ansamblul cognitiv-rezolutiv

Orice sistem inteligent se confrunt cu anumite probleme i n acest sens obiectivul central al oricrui sistem inteligent l constituie rezolvarea problemelor. Aceasta presupune n mod uzual posibilitatea de a da rspunsuri unor ntrebri legate de problem nu numai prin procedee de cutare i regsire a unei soluii predefinite, ci mai ales prin procese complexe de deducie, de calcul simbolic i de evaluri numerice. Procesul de rezolvare se bazeaz n acest caz n egal msur att pe mecanismele implementate n programele de rezolvare, ct i pe faptele specificate n enunurile problemelor, respectiv pe faptele nregistrate a priori n baza de cunotine. Acestea din urm reprezint cunoaterea sistemului despre universul discusurilor problemelor pentru care este competent s dea soluii. Problema este o noiune fundamental n psihologia gndirii, referindu-se la o dificultate de natur cognitiv, ce se constituie ca moment iniial al unei activiti inteligente. Aceast dificultate reflect imposibilitatea asocierii unor rspunsuri la sistemul de ntrebri privind o entitate necunoscut. Constituentele primitive ale problemei sunt precizate dup cum urmeaz: aseriuni descriptive referitoare la obiectele, abstracte sau concrete, care alctuiesc universul discursului pentru problema dat, sau referitoare la proprietile acestor obiecte, alctuind aspectul factual al enunului, cunoscut i sub denumirea de date ale problemei; aseriuni, explicite sau implicite, referitoare la operaiile permise a fi aplicate asupra obiectelor menionate, sau referitoare la regulile crora li se supun aceste operaii, alctuind aspectul procedural al problemei, cunoscut i sub denumirea de condiii ale problemei; obiecte, proprieti sau condiii neformulate explicit n enunul problemei, a cror existen reprezint o consecin a enunului, alctuind ceea ce se cunoate sub denumirea de necunoscute ale problemei. IASE curs 1 I TI 2013/2014 16

Obiectivul rezolvrii unei probleme este acela de a da o determinare pentru fiecare dintre necunoscutele problemei. n procesul rezolvrii, universul discursului pentru problema actual este delimitat iniial de datele i condiiile formulate prin enunul problemei. La sistemele inteligente bazate pe cunoatere, acestui univers iniial i se adaug piese de cunoatere din baza de cunotine a sistemului, selectate fie prin referire direct din enun, fie prin lanuri de inferene logice ale cror premize au fost formulate n enun. Raionamentul n sistemele inteligente const deci n constituirea lanurilor sau a reelelor infereniale ntre premizele unei probleme i concluzie. Aadar, pe lng sistemul cognitiv, care cuprinde piesele de cunoatere i procedurile de acces la cunoatere, sistemele inteligente conin i un sistem rezolutiv, care cuprinde acele componente ca au ca obiectiv rezolvarea de probleme

IASE curs 1 I TI 2013/2014

17

1.5 Agent inteligent

Agentul este o entitate care observa ( percepe) mediul inconjurator prin senzori si actioneaza asupra acestuia prin efectori Un agent rational este cel care executa actiuni corecte in vederea realizarii unui scop precizat. Succesul asociat actiunii este considerat in raport cu ceea ce este perceput din mediul inconjurator si uzual e necesara o masura a performantei Ceea ce este rational corect la un moment dat depinde deci de 4 factori: performanta (defineste gradul de succes), ceea ce a fost perceput pana in acel moment ( secventa de perceptii), ceea ce stie agentul despre mediu, actiunile pe care agentul le poate efectua. Un agent rational ideal este cel care pentru fiecare secventa de perceptii posibila, executa acea actiune care maximizeaza performanta, pe baza informatiilor furnizate de secventa de perceptii si pe baza cunostintelor pe care agentul le are deja incorporate. Agent inteligent agent bazat pe cunoastere ( cunostinte) Agent = arhitectura+program Agentul inteligent este capabil sa rezolve probleme, deci este capabil sa ia decizii

IASE curs 1 I TI 2013/2014

18

Un agent bazat pe cunoastere inzestrat cu capabilitatea de a rationa are o cunoastere initiala asupra lumii ( domeniului) si asupra propriilor actiuni. Utilizeaza rationamentul logic pentru a mentine o descriere corecta a domeniului pe masura ce apar noi perceptii, noi observatii, si deduce un curs al actiunilor pentru a-si atinge scopul Caracteristici: -poseda cunostinte asupra domeniului si sunt capabili de a rationa asupra unui posibil curs al actiunilor - sunt capabili sa accepte noi sarcini prin precizarea explicita a unui scop - obtin competente fie prin transmiterea de noi cunostinte, fie invatand despre mediu - se pot adapta la schimbarile mediului prin actualizarea cunostintelor Cerinte: - sa identifice starea curenta - sa stie sa infereze proprietati ale lumii din observatii - sa cunoasca evolutia in timp - sa cunoasca scopul -sa cunoasca propriile actiuni in situatii diferite

IASE curs 1 I TI 2013/2014

19

actiune AGENT_BC (observatie){ static: BC t ADAUGA(BC, CONVERSIE_OBS_PROP(observatie, t)); actiune=INTEROGARE(BC, DETERMINARE_ACTIUNE(t)); ADAUGA(BC, CONVERSIE_ACTIUNE_PROP(actiune, t)); t=t+1; return actiune; }

IASE curs 1 I TI 2013/2014

20