Sunteți pe pagina 1din 4

UNIVERSITATEA TITU MAIORESCU PREDA MARIANA AMALIA GRUPA IV, ZI

PARADIGMA SIMBOLIC CLASIC REFERAT

Paradigma simbolic clasic a orientat dezvoltarea psihologiei cognitive (i a tiinelor cognitive n general) nc din primii ani ai afirmrii acestora, dominnd cu autoritate cercetrile din domeniu pn la nceputul deceniului nou. Ea are puternice rdcini filosofice att n raionalism (Leibniz, Descartes) ct i n empirismul englez (Th. Hobbes J. Locke i D. Hume) de aici atributul de clasic1. Succesele obinute, n primele decenii ale secolului nostru n formalizarea logicii, pe de o parte (Russell, Carnap, Wittgenstein etc.), apariia lingvisticii teoretice i a gramaticilor generative (N. Chomsky) pe de alt parte, au impus tot mai pregnant ideea conceperii gndirii ca manipulare de simboluri. Dup cum se cunoate, n logica simbolic, propoziiile sunt reprezentate prin variabile propoziionale sau funcii propoziionale. Operarea cu aceste simboluri se realizeaz pe baza unor reguli (de compunere, de deducie etc.) care nu mai in seam de cunotinele sau propoziiile a cror simbolizare sunt. Expresiile simbolice mai complexe se pot genera exclusiv pe baza unor reguli abstracte dintr-o mulime de expresii simple. Unele expresii (teoreme) pot fi deduse pe baza unor reguli de deducie din altele (axiome). Implementate pe calculaor, sistemele formal-logice au dus la demonstrarea unor teoreme prin mijloace strict mecanice. Calculatorul, luat ca model n nelegerea sistemului cognitiv uman, funciona pe baza manipulrii simbolurilor cu ajutorul regulilor. Prin analogie, sistemul cognitiv uman a fost conceput ca un sistem simbolic, "operarea cu simboluri i structuri simbolice fiind mijloacele fundamentale prin care e nfptuit gndirea uman" nota H.A. Simon, unul dintre fondatorii tiinelor cognitive (1977, p. 272). Teza principal a paradigmei clasic-simbolice din psihologia cognitiv este, aadar, urmtoarea: cunotinele i, implicit, strile de lucruri corespunztoare, sunt reprezentate n sistemul cognitiv prin simboluri sau structuri simbolice. Un simbol este o reprezentare care denot obiecte sau stri de lucruri i se supune unor reguli de combinare (= gramatic). Expresiile lingvistice, conceptele, judecile, imaginile sunt reprezentri simbolice. Pentru a putea opera cu cunotine calculatorul trebuie s recurg la codarea lor ntr-un limbaj de
Sintagma de model clasic-simbolic sau paradigm simbolic clasic a fost consacrat n tiinele cognitive de studiul lui Z. Pylyshyn i J. Fodor (1988): Connectionism and cognitive architecture: a critical analysis, iar astzi este larg utilizat. 1
1

programare. Expresiile rezultate sunt reprezentri simbolice: ele denot cunotine i stri de lucruri dar n acelai timp pot fi manipulate de un sistem fizic. Un fenomen similar are loc i n cazul subiectului uman. Pentru a putea opera cu cunotine, creierul le codeaz n expresii simbolice. n general, un sistem fizic recurge la reprezentarea simbolic a cunotinelor pentru a putea opera asupra lor. Sistemul cognitiv uman ca i calculatorul sunt, dup expresia lui A. Newell i H.A. Simon, sisteme fizico-simbolice (physical simbol system)2. Sistemul cognitiv uman este un sistem fizic, pentru c are o instaniere neurobiologic i este simbolic deoarece, pentru a putea opera cu cunotine i le reprezint sub forma unor expresii simbolice, pe care le manipuleaz dup anumite reguli. De exemplu, cunotinele pe care le are despre un anumit obiect i le reprezint lingvistic, iar expresiile lingvistice sunt manipulate pe baza unor reguli sintactice, semantice sau pragmatice. Perenitatea modelelor simbolice a fost susinut n mare msur de aplicarea paradigmei la procesele cognitive centrale, n primul rnd cele legate de rezolvarea de probleme. Mai mult, s-a cutat reducerea tuturor problemelor la probleme-bine-definite, adic cele pentru care se pot specifica complet starea iniial (= datele problemei), starea final (= soluia) i blocul de operatori care permit trecerea de la starea iniial la cea final. Demonstrarea unor probleme de geometrie sau a unor teoreme din logica matematic sunt exemple de probleme-bine-definite. De pild, dac avem de demonstrat o teorem din sistemul de axiome expus de Withead i Russell n Principia Mathematica, vom recurge la reprezentarea lor n limbajul logicii propoziiilor. Vom compara apoi teorema de demonstrat (T) cu axioma (A) i vom stabili principala diferen dintre A i T. Vom utiliza apoi un operator (n cazul nostru o regul de deducie) capabil s micoreze diferena dintre A i T. Dac starea nou obinut (A1) este identic cu T, atunci problema e rezolvat. Dac nu, se recurge la compararea succesiv a tuturor strilor intermediare A2, A3...Ak cu T i se procedeaz la reducerea succesiv a diferenei prin aplicarea operaiilor pn cnd aceast diferen este nul, adic problema este rezolvat. Programul GPS - General Problem Solver - elaborat de Newell, Shaw i Simon (1959) recurge tocmai la o astfel de strategie. Metafora computer, bazat pe ideea c att sistemul cognitiv ct i computerul sunt sisteme fizico-simbolice a favorizat simularea pe calculator a multor procese cognitive i construirea sistemelor artificiale inteligente.Teoria ACT* a lui J.L. Anderson (1983) i Modelul SOAR a lui A. Newell (1992) reprezint cele mai nsemnate ntruchipri ale paradigmei

n 1975, odat cu acordarea Medaliei Turing (cea mai prestigioas distincie din tiinele cognitive), A. Newell i H.A. Simon, articulau sub forma unei ipoteze tiinifice o asumpie pe care ei o considerau ca fiind la baza inteligenei artificiale i a psihologiei cognitive. Muli ani mai trziu, n 1990, Simon conchidea: "ipoteza sistemului fizico-simbolic a fost testat ntr-o msur considerabil n ultimii 30 de ani, nct ea poate fi acum considerat ca fiind pe deplin probat" (1990, p. 3). 2

simbolice clasice. Pentru mai buna lor nelegere, acestea vor fi tratate separat, ntr-unul din capitolele ulterioare.

PARADIGMA (NEO)CONEXIONIST

Paradigma (neo)conexionist, cunoscut i sub numele de paradigma procesrilor paralele distribuite sau modelare neuromimetic (neuronal) intr ntr-o perioad de ecloziune abia n ultimii zece-cincisprezece ani. Ea pornete de la ideea c activitatea cognitiv poate fi explicat pe baza unor modele de inspiraie neuronal. Primele tentative n acest sens au fost fcute de Pitts & McCullogh (1943), care au modelat activitatea neuronal prin aplicarea unei algebre booleene (vezi A. Dumitriu, 1973, pentru detalii). Ei demonstrau comportamentul unor neuroni simplificai ( neuroni formali ). Altfel spus, o reea neuromimetic poate realiza calcule logice. Aceast idee a fost preluat de F. Rosenblatt care a construit o reea neuromometic cu dou niveluri numit perceptron, menit s fac discriminarea ntre dou impulsuri senzoriale diferite. Cercetrile n aceast direcie au fost curmate brusc de apariia crii lui M. Minsky & S. Papert Perceptrons: An introduction to computational geometry (1969), n care se demonstra incapacitatea unor reele neuromimetice de tipul perceptronului de a calcula funcii logice simple ca, de exemplu, sau exclusiv. Dezamgii, cercettorii i-au ncetat eforturile n aceast direcie iar fondurile de cercetare au fost retrase aproape n ntregime. Doar civa fani precum J. Konorski i S. Grossberg i-au mai prelungit investigaiile asupra capacitilor de calcul ale reelelor neuromimetice, dar lucrrile lor sunt scrise ntr-un jargon matematic dificil de neles ceea ce a ngreunat considerabil penetrarea lor n laboratoarele psihologilor cognitiviti. Paradigma conexionist intra ntr-un con de umbr pentru aproape dou decenii. Se prea c modelarea clasic-simbolic era singura paradigm viabil, susinut acum i de cteva realizri tehnologice demne de luat n seam. Abia pe la nceputul deceniului nou J.L. McClelland i D.E. Rumelhart relanseaz ideea construirii unor modele cognitive de inspiraie neuronal (= neuromimetic) i formeaz un grup de cercetare a procesrilor paralele distribuite (Parallel Distributed Processing) - PDP Research Group. Din strdaniile lor comune s-a nscut o lucrare n dou volume: Parallel Distributed Processing: Exploration in the Microstructure of Cognition, vol. 2: Psychological and Biological Models (1986,1987), considerat "Biblia" conexionismului actual pe care unii l numesc neoconexionism.

Psihologia cognitiv s-a dezvoltat n interiorul tiinelor cognitive, ca urmare a presiunilor "de sus" - dinspre inteligena artifical i a presiunilor "de jos" - dinspre neurotiine. Ea caut s satisfac att cerinele IA ct i dezideratul validitii ecologice. Psihologia cognitiv studiaz procesrile la care e supus informaia n sistemul cognitiv uman, ntre inputul senzorial i outputul motor. Sistemul cognitiv este un sistem fizic care are capacitate de reprezentare i calcul Cercetrile actuale sunt dominate de dou paradigme. Paradigma simbolic clasic consider sistemul cognitiv uman ca un sistem fizico-simbolic. Modelele inspirate de ea sunt semantic-transparente. Paradigma neoconexionist consider c procesarea informaiei poate fi modelat prin reele subsimbolice, de inspiraie neuronal. Aceste modele sunt semanticopace. Arhitectura sistemului cognitiv este neunitar, unele componente fiind simbolice, altele - neuromimetice. Nu se tie, ns, cum emerg structurile simbolice de cele subsimbolice.