Inteligenta artificiala

Domeniul inteligenei artificiale, pe scurt IA, trateaz dezvoltarea i formalizarea unor

metode i proceduri inteligente de rezolvare a problemelor. Prin termenul inteligent nelegem
metode care permit raionamente i aprecieri ntr-un mod comparabil cu procesul de gndire uman.
Cercetarea n IA urmrete construirea unei reprezentri simbolice a lumii i acoper zone ca
robotica, nelegerea limbajelor naturale i sistemele expert.
Cea mai mare deosebire dintre programele convenionale i sistemele expert const n
faptul c programele convenionale opereaz cu date, n timp ce sistemele expert opereaz cu
cunotine. Gestiunea datelor presupune reprezentare i utilizare de date, proceduri algoritmice i
proceduri repetitive, pe cnd gestiunea cunotinelor presupune reprezentare i utilizare de
cunotine, proceduri de cutare i proceduri deductive.
Mijloacele prin care i ating sistemele expert obiectivele se bazeaz pe mulimi de fapte i
pe mulimi de reguli euristice, adic reguli pentru gestiunea cunotinelor. Aceste fapte i reguli sunt
elaborate de ctre cei care lucreaz n domeniul n care se aplic sistemul expert. Putem spune c
aceast colecie de fapte i de reguli euristice alctuiesc cunotinele sistemului n acest domeniu
specific iar, ca urmare, sistemele expert se numesc adesea sisteme bazate pe cunotine (knowledge
based systems).
Un sistem expert const dintr-o baz de date, un mecanism de inferen i interfaa de
comunicare ntre sistem i utilizator.
Baza de date este o simpl mulime de elemente i de stri care constituie descrierea
universului din domeniul dat.
Reprezentarea cunotinelor n sisteme bazate pe reguli se obine folosind reguli de forma
IF <conditie_1>.<conditie_k>
THEN <actiune>
Mecanismul de inferen const dintr-o mulime de reguli de uz general, folosite pentru
dirijarea i controlul procesului de inferen. Acest mecanism implementeaz modele generale care
caracterizeaz i formalizeaz procedurile de tratare i rezolvare a problemelor, cum sunt cutarea
n adncime, backtracking i alte proceduri de inferen de uz general.
n cazurile cnd mecanismul de inferen poate deveni autonom n raport cu cunotinele de
specialitate pe care le conine un anumit sistem expert i lucreaz independent, el poate fi folosit
pentru dezvoltarea unor noi sisteme expert. Astfel de sisteme cu for de inferen general se
numesc cadru (shell).
Interfaa este responsabil de comunicarea dintre utilizator i sistem. De cele mai multe ori,
se folosesc subsisteme specializate care analizeaz i sintetizeaz limbajul natural (analizoare)
pentru a realiza o comunicare fireasc i prietenoas ntre utilizator i sistem.
Culegerea i formalizarea cunotinelor care trebuie ncorporate ntr-un anumit sistem expert
este una din etapele cele mai importante i totodat dificile, din cursul dezvoltrii sistemului. Ea se
numete ambuteiaj de culegere a cunotinelor (knowledge acquisition bottleneck). Dificultatea
const n procurarea i formalizarea concomitent a unor reguli specifice care exprim procedurile
pe care le urmeaz n rezolvarea problemelor un specialist al domeniului (knowledge engineer).
n ultimii ani, datorit importanei mecanismelor de culegere a cunotinelor, s-au dezvoltat
sisteme automate de culegere a cunotinelor.
Instrumentele folosite n dezvoltarea sistemelor expert se mpart n dou categorii
principale: limbajele de nivel nalt de prelucrare simbolic i sistemele expert de uz general sau

sistemele cadru. Cele mai rspndite limbaje de nivel nalt de prelucrare simbolic sunt LISP i
PROLOG.
Sistemele cadru sunt folosite pentru a nlesni i a accelera dezvoltarea unor sisteme expert
speciale. Prin utilizarea unor inferene speciale conviviale i a structurilor pe care le ncorporeaz,
ele nlesnesc att introducerea ct i revizuirea faptelor i regulilor unui sistem expert. Mai mult, ele
ncorporeaz o procedur de inferen autonom capabil s opereze i s trag concluzii din baze
de date diferite. Aceasta d posibilitatea de a dezvolta rapid prototipuri de sisteme expert.
Bibliografie:
G. Metakides, A. Nerode Principii de logic i programare logic, Editura Tehnic