INTELIGEN ARTIFICIAL

A. Exerciii rezolvate modul 1

Inteligena artificial este una din disciplinele de pregtire fundamental care, pentru profilul INFORMATIC, este esenial pentru pregtirea studenilor i pentru obinerea creditelor transferabile prin procedurile de evaluare. Modul de prezentare a acestui material are n vedere particularitile nvmntului la distan, la care studiul individual este determinant. Pentru orice nelmuriri fa de acest material v rugm s contactai tutorele de disciplin care are datoria s v ajute oferindu-v toate explicaiile necesare. Exerciiul 1. S se reprezinte n limbajul calculului cu predicate de ordinul nti urmtoarea fraz din limbajul natural: N FIECARE CIRC EXIST UN CLOVN CARE FACE PE TOI SPECTATORII S RD. Rezolvare: Puterea de reprezentare a cunoaterii, pe care o au formulele limbajului calculului propoziional de ordinul I se poate cel mai bine aprecia prin considerarea unor exemple complexe n care este folosit i forma clauzal care reprezint un concept nou numit programare logic, care st la baza limbajului de programare PROLOG. Reprezentarea ar putea fi: ()x (CIRC (x) () y CLOVN (y, x) ()z (SPECTATOR (z, x) RDE (z, y))). Menionm c poate exista i alte variante de reprezentare a aceleiai fraze. n unele situaii cunoaterea se poate realiza mai bine prin negarea unor predicate. Exerciiul 2. S se reprezinte n limbajul calculului cu predicate de ordinul nti, folosind forma clauzal, urmtoarea fraz din limbajul natural: PINGUINUL ARE ARIPI, PENE DAR NU ZBOAR CI NOAT. Rezolvare: Forma de reprezentare numit i clauz este : ()x PASRE (x) (ZBOAR (x)) NOAT(x) PINGUIN (x).

Cu ajutorul formelor clauzale, a formulelor calculelor cu predicate de ordinul I se realizeaz un format simplu i unitar pentru toate categoriile de constituente ale cunoaterii: obiecte, funcii, relaii, reguli de inferen. Putem exprima ntro form compact caracteristicele structurale ale avionului folosind forma clauzal. ()x ARE (x, FUSELAJ) ARE (x, ARIPA) ARE (x, SISTEMPROPULSIE) ARE (x, SISTEMCOMAND) ARE (x, SISTEMRULARE) AVION (x). Aceast form clauzal se poate reprezenta uor ntr-un program PROLOG. Exerciiul 3. S se reprezinte sub forma unor liste LISP piesa de cunoatere din exemplul dat n paragraful 1.1.4.1., folosind i reprezentarea sub form de reea semantic din acel paragraf: LA SUSINEREA TEZEI DE DOCTORAT DE CTRE ION CARE ESTE UN BUN SPECIALIST, COLEGUL SU VASILE I OFER UN FRUMOS CADOU . Rezolvare: Singurul nod surs din reprezentare este <Eveniment2> ce poate fi considerat nod iniial, lista pornind descrierea de la acest nod:

(Eveniment_2 este susinerea tezei) (Eveniment_2 referitor ION)

(ION este OM)

(ION calitate specialist) (ION coleg VASILE)

(VASILE este OM)

(Eveniment_2 cauzeaz Eveniment_1) (Eveniment_1 aciune ofer) (Eveniment_1 obiect cadou) (Cadou calitate frumos) (Eveniment_1 receptor ION) (Eveniment_1 agent VASILE).
O alt modalitate de reprezentare a reelei const n construirea conceptului pentru fiecare nod surs i asocierea acestuia cu perechi (<relaie> <nod destinaie>).

((Eveniment_2 (este susinerea tezei) (referitor ION) (cauzeaz Eveniment_1)) (ION (este OM)) (calitate specialist) (coleg VASILE) (VASILE (este OM)) ((Eveniment_1 (aciune ofer)

(obiect cadou) (receptor ION) (agent VASILE) ((Cadou (calitate frumos)).

Metoda are avantajul eliminrii redundanelor ce apar la specificarea nodului surs n toate tripletele ce descriu relaiile sale cu nodurile destinaie. Exerciiul 4. S se reprezinte sub forma unei reele semantice sortate, folosind relaiile cauzale definite n paragraful 1.1.4.2., urmtoarea pies de cunoatere: DIMINEAA, LA PIA, ION CUMPR CU BANI FLORI PENTRU MARIA. Rezolvare: Reeaua semantic sortat, folosind relaiile cauzale definite n paragraful 1.1.4.2., este urmtoarea:
PREDICAIE AGENT P TIMP RECEPTOR INSTRUMENT OBIECT CUMPR ION MARIA FLORI BANI PIA DIMINEAA MARIA LOC

Exerciiul 5. S se descrie reprezentarea unei universiti cu profil tehnic cu ajutorul cadrelor, folosind forme cadru specifice de descriere (paragraful 1.1.5.). Rezolvare: Iat o variant de descriere:

cadru: universitate tehnic forma: generalizare faeta: institut de nvmnt superior forma: specializare faeta: pregtire tehnic forma: apartenen faeta: universitate forma: adresa faeta: strada

faeta: numr faeta: cod potal faeta: ora faeta: ara forma: compoziie faeta: conducere valoarea: rector valoarea: prorector faeta: compartimente valoarea: electric valoarea: mecanic valoarea: chimic forma: proprieti faeta: pregtire valoare: curs de zi valoare: curs seral
Piesele de cunoatere satisfac definiia cadrelor. Coordonator disciplin: Prof. univ. dr. Vasile PODARU, email: podaruv@gmail.com Tutori: Prof. univ. dr. Vasile PODARU,