PSIHOLOGIE

COGNITIV Lect. univ.Drd. Alexandru Iliescu CURS II

All correct reasoning is a grand system of tautologies, but only God can make direct use of that fact. HERBERT ALEXANDER SIMON

PARADIGMELE PSIHOLOGIEI COGNITIVE

Odat instalat pe scena tiinelor, primind influene puternice i definitorii din partea teoriei informaiei i a neurotiinelor, psihologia cognitiv trebuia s fac dovada c poate s se susin pe propriile picioare, cutndu-i specificul aparte. Astfel, psihologia cognitiv i-a concentrat eforturile pe dou planuri: cel conceptual i cel metodologic. Pe plan conceptual, cognitivitii subliniaz faptul c noul aparat de concepte nu reformuleaz vechile noiuni de psihologie ntr-un nou limbaj, ci definesc un nou aparat conceptual care s aib relevan semantic pentru neurotiine i inteligena artificial. Noul aparat conceptual include termeni, ca procesri ascendente, memorie de lucru, reprezentarea cunotinelor, memorie implicit, metareprezentri, prototip, mediul problemei, etc. Pe plan metodologic, psihologia cognitiv apeleaz la vechile metode, selectnd n special experimentul, metode pe care, ns, le redimensioneaz, n funcie de axa metodologic specific teoriei informaiei: modelare simulare pe calculator. n acest context, noiunea de model cognitiv este central n psihologia cognitiv, acesta fiind neles ca o construcie teoretic ce explic mecanismul unui proces cognitiv. Odat modelat teoretic, procesul cognitiv este implementat pe calculator. Punerea la punct a aparatului conceptual i a metodologiei de ctre psihologia cognitiv s-a realizat n funcie de dou mari paradigme care guverneaz tiinele cognitive i, n cazul psihologiei cognitive, modul n care sistemul cognitiv prelucreaz informaia. Paradigma reprezint un cadru teoretic mai larg care subsemneaz mai multe teorii, care are o metodologie proprie, care i testeaz teoriile prin modele i care ghideaz cunotinele ntr-o anumit direcie. n funcie de tipul reprezentrilor utilizate i de modul de tratare, n psihologia cognitiv identificm dou paradigme: simbolic i neoconexionist. Paradigma simbolic - n care calculatorul, luat ca model n nelegerea sistemului cognitiv uman, funcioneaz pe baza manipulrii unor simboluri cu ajutorul regulilor. Prin analogie, sistemul cognitiv uman este neles ca un sistem simbolic, gndirea uman fiind o operare cu simboluri i structuri simbolice, desfurat pe baza unor reguli. Se cunoate faptul c cogniia uman nu opereaz direct asupra realitii, ci a unor substitute ale acesteia, adic

asupra simbolurilor. Sistemul cognitiv uman este unul fizic, deoarece are un fundament biologic, dar este i unul simbolic, deoarece opereaz cu cunotine i le reprezint sub forma unor simboluri pe care le manipuleaz pe baza unor reguli. Metafora om computer, bazat pe ideea c att sistemul cognitiv uman, ct i calculatorul sunt sisteme fizico-simbolice, a facilitat simularea pe calculator a multor procese cognitive. Paradigma neoconexionist pleac de la ideea c activitatea cognitiv poate fi explicat pe baza unor modele neuronale, fiind asimilat unei reele neuronale. Aa cum la nivel neurobiologic cercetrile artau c exist anumite reele care au capacitatea de a calcula funcii logice simple, activitatea cognitiv uman era perceput ca o reea neuronal care avea capacitatea de calcul.

1. Paradigma clasic-simbolic i metafora calculatorului

Paradigma clasic-simbolic a orientat dezvoltarea tiinelor cognitive nc din primii ani ai afirmrii acestora, dominnd pn la mijlocul anilor 1980. Ea are puternice rdcini filosofice n raionalism i n empirismul englez, de unde atributul de clasic. Succesele obinute n prima parte a secolului XX n formalizarea logicii i apariia lingvisticii teoretice i a gramaticilor generative au impus ideea conceperii gndirii ca manipulare de simboluri. Apariia psihologiei cognitive a fost precedat de o serie de realizri tiinifice remarcabile n logica matematic, cibernetic i teoria informaiei. Putem meniona aici eforturile de axiomatizare i formalizare a logicii (B. Russell, R. Carnap, D. Hilbert, L.Wittgenstein) materializate prin crearea sistemelor formale i definirea calculabilitii (computabilitii); conceperea mainii teoretice cu computabilitate universal (A. Turing); elaborarea primelor teorii matematice ale informaiei (Shannon) i primelor maini de procesare a informaiei (von Neumann). n timpul celui de-al doilea rzboi mondial, au fost dezvoltate noi concepte i teorii cu privire la procesarea semnalului i comunicare, i aceste idei au avut un impact profund asupra psihologilor activi n timpul acelor ani. O lucrare important a fost cea a lui Shannon n 1948 cu privire la Teoria Informaiei. Lucrarea propunea c informaia este comunicat prin trimiterea unui semnal printr-o secven de stadii sau transformri. Acest fapt a sugerat c percepia i memoria uman pot fi conceptualizate ntr-un mod similar: informaia senzorial ptrunde n receptori, apoi este livrat analizatorilor perceptivi, ale cror output-uri la rndul lor sunt input-uri pentru sistemele memoriei. Acesta a fost startul abordrii procesrii informaiei ideea potrivit creia cogniia ar putea fi neleas ca un flux de informaii n interiorul organismului, o idee care continu s domine psihologia cognitiv. Teza principal: cunotinele i strile de lucru corespunztoare lor sunt reprezentate n sistemul cognitiv prin simboluri sau structuri simbolice. Un simbol este o reprezentare care denot obiecte sau stri de lucru i se supune unor reguli de combinare (gramatic). Exemplu: expresii lingvistice, concepte, judeci, raionamente, imagini (reprezentri simbolice). Cu alte cuvinte, simbolul este un pattern ce reprezint sau nlocuiete ceva (de exemplu un obiect real) astfel nct n loc s manipulm un obiect manipulm simboluri. Ideea rezultant a procesrii informaionale umane ca secvene de procese computaionale care opereaz asupra reprezentrilor mentale rmne piatra unghiular a psihologiei cognitive moderne (a se vedea, de ex., Fodor, 1975). n consecin, metafora dominant subiacent cercetrilor teoretice i empirice n psihologia cognitiv este metafora calculatorului. Conform metaforei calculatorului, sistemul cognitiv al oamenilor, adic 2

dispozitivul care intervine ntre input-ul din mediu i comportament, poate fi neles cel mai bine prin analogie cu un cadru de procesare a informaiei. Un sistem cognitiv este un sistem fizic (entitate obiectual) care posed dou proprieti: - de reprezentare, adic reflectare ntr-un mediu intern a realitii exterioare; reprezentrile utilizate de sistemul cognitiv uman pot fi simbolice (de ex., imagini, coninuturi semantice etc.) sau subsimbolice (patternuri de activare ale reelelor neuronale); - de calcul, adic manipularea reprezentrilor pe baza unor reguli. Reprezentrile iau forma unor propoziii. O propoziie este un enun cu valoare de adevr. Propoziia poate exista ntr-un sistem cognitiv sau n afara lui. Orice propoziie care exist ntr-un sistem cognitiv se numete credin (believe). O propoziie i argumentele care o susin formeaz o ipotez. Tot ceea ce numim cunoatere ntr-un sistem cognitiv este format din ansamblu ipotezelor adevrate ale sistemului. Baza cunoaterii este un model intern al lumii reale stocat n memoria sistemului. Ea este utilizat de sistemul pentru determinarea comportamentului. Baza cunoaterii este schimbat i dezvoltat de sistem i este reprezentat sub forma unui limbaj. Pentru a extrage informaiile din baza cunoaterii este nevoie de operaii de extindere. Modul n care operm cu ea se realizeaz cu ajutorul informaiilor i al operaiilor. Exist dou modaliti de abordare a informaiilor: - abordarea logic; - abordarea informaional propriu-zis. a) Abordarea logic const numai din propoziii. Singurul mod de extindere a modelului lumii reale (a bazei cunoaterii) este raionamentul deductiv. Iar sistemele ce sunt caracterizate prin aceste dou aspecte se numesc sisteme deductive. Teoriile care lucreaz n aceast manier se numesc teorii formale. O teorie formal const din urmtoarele componente: un alfabet, un set de reguli sintactice care definesc modul n care se combin elementele alfabetului. Este format din axiome i reguli de inferen de tipul dac-atunci. Interpretarea n cazul teoriilor formale este un proces de punere fa n fa a unui enun exterior sistemului i o propoziie din sistem. Modelul este o interpretare a realitii. Aceast interpretare este adevrat atunci cnd propoziiile sunt adevrate. Teoriile formale trebuie s aib dou proprieti: O teorie este consistent atunci cnd nu putem deduce propoziii contradictorii din ea i criteriul de consisten este urmtorul: dac ntr-o teorie se poate elabora cel puin un model adevrat, atunci teoria este consistent. O astfel de teorie este teoria gestaltist. O teorie este complet atunci cnd toate propoziiile care o compun sunt adevrate i pot fi obinute din teoria respectiv prin reguli de deducie (un ideal). b) Abordarea informaional propriu-zis Const nu numai din propoziii, ci din toate tipurile de informaii, include metode de tip deductiv, dar i alte metode: analogice, inductive, etc. Abordarea informaional are dou puncte mari de interes: 3

1 valoare de adevr a informaiilor i de 2 accesibilitate a lor. Extinderea modelului se poate face prin percepie i prin nvare. Baza cunoaterii (sau schema reprezentrii cunoaterii) const din structuri de informaii existente i procedurile de manipulare a acestora ce permit utilizarea cunotinelor. Teoriile care lucreaz n aceast manier se numesc teorii semantice, care pot fi: declarative (vorbesc despre corespondenele dintre structurile de informaii i relaionrile lor cu alte domenii) i procedurale (vorbesc despre corespondena dintre informaii i comportamentul specific al sistemului). Concepte fundamentale: Accesarea informaiilor arat modul n care se poate ajunge la informaiile din sistem; Organizarea informaiilor (aceast organizare se produce n neuroni) i modul n are informaia este organizat pentru a putea fi reactualizat. Linking legarea informaiilor presupune legarea a dou informaii aflate pe nivele diferite de generalitate. Gruparea informaiilor sau chunking care se poate face prin agregare (adic un ntreg are pri componente i acestea se altur pentru a constitui ntregul sau grupm informaia n funcie de context atunci cnd descriem o situaie). Aadar, sistemul cognitiv uman, ca i calculatorul, sunt sisteme fizico-simbolice (physical symbolic systems). Sistemul cognitiv uman este un sistem fizic, pentru c are o instaniere neurobiologic i este simbolic deoarece, pentru a putea opera cu cunotinele, i le prezint sub forma unor expresii simbolice, pe care le manipuleaz dup anumite reguli. Un sistem fundamental de procesare a informaiei (figura 1) conine dou componente fundamentale, o memorie i un procesor, care interacioneaz ntre ele. n plus, procesorul interacioneaz cu mediul prin receptori i efectori. Newell i Simon au afirmat c orice sistem fizic-simbolic, precum un sistem de procesare a informaiei, are mijloacele necesare i suficiente pentru a genera aciune inteligent (ipoteza sistemelor fizice simbolice).

Figura 1: Sistem fundamental de procesare a informaiei

Ideea c att sistemul cognitiv uman ct si computerul sunt sisteme fizico-simbolice a favorizat simularea pe calculator a unor procese cognitive si construirea sistemelor artificiale inteligente. Teoria ACT* a lui J. R. Anderson - 1983 si Modelul SOAR a lui A. Newell 1992 (vezi cursul 13) reprezint cele mai nsemnate ntruchipri ale paradigmei simbolice clasice. Recent ns, un numr tot mai mare de teoreticieni au ajuns s resping perspectiva potrivit creia sistemul cognitiv uman opereaz precum un calculator. Dou noi metafore au fost propuse. a) Mai nti, unii teoreticieni au susinut c sistemul cognitiv uman poate fi mai bine neles n termeni ai unei metafore a creierului, asumnd c sistemele cognitive constau din uniti elementare, asemntoare neuronilor care sunt conectate i produc comportamentul ca ntreg. b) n al doilea rnd, cel puin unele arii din psihologia cognitiv au adoptat o metafor ecologic sau contextual, susinnd c sistemele cognitive trebuie s fie nelese n termeni ai relaiilor organism-mediu.

2. Paradigma (neo)conexionist i metafora creierului (paradigma procesrilor paralele, modelare neuromimetic)

Modelele bazate pe calculator care au dominat psihologia cognitiv de la nceputurile sale au folosit simbolurile complexe ca reprezentri i au procesat aceste reprezentri ntr-o manier bazat pe reguli (de exemplu, ntr-un model al recunoaterii obiectelor, reprezentarea pentru o broasc poate s constea dintr-o conjuncie de proprieti complexe, iar regula pentru recunoatere poate fi de genul Dac este verde, mic i orcie, atunci este o broasc). ncepnd cu anii 1980, un tip alternativ de model cognitiv a nceput s atrag interesul, anume modelul conexionist (sau procesarea paralel distribuit). Aceste propuneri au forma reelelor neuronale, constnd din noduri (reprezentri) care sunt dens interconectate, conexiunile variind n trie. Paradigma (neo)conexionist, cunoscut i sub denumirea de paradigma procesrilor paralele distribuite (PDP) sau modelare neuronal, a devenit o for abia n ultimii douzeci de 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 i McCullogh (1943), care demonstrau comportamentul unor neuroni simplificai (formali). Altfel spus, o reea neuromimetic poate realiza calcule logice. Ideea a fost preluat de F. Rosenblatt, care a construit o reea neuromimetic cu dou niveluri numit perceptron, menit s fac discriminarea ntre dou impulsuri senzoriale diferite. Ulterior, din cauza unor limitri demonstrate de M. Minsky i S. Papert (1969), paradigma conexionist a intrat ntr-un con de umbr pentru aproape dou decenii. Abia la nceputul anilor 1980, J.L. McClelland i D.E. Rumelhart relanseaz ideea construirii unor modele cognitive de inspiraie neuronal i formeaz PDP Research Group. n 1981, Hinton i Anderson au publicat o carte care a examinat modelele conexioniste existente la acea vreme (Hinton i Anderson, 1981), i n acelai an McClelland i Rumelhart (1981) au prezentat un model conexionist al recunoaterii cuvintelor care explica o larg varietate de rezultate experimentale. Porile au fost deschise i modele conexionsite ale percepiei, memoriei i limbajului au proliferat, pn n punctul n care ele acum dominau abordrile computaionale ale cogniiei. De unde ns atracia deosebit?

a) Un motiv frecvent citat este plauzibilitatea neurologic: modelele sunt n mod clar mai apropiate de funcionarea cerebral dect sunt modelele tradiionale bazate pe reguli. b) Un al doilea motiv este c modelele conexioniste permit satisfacerea paralel a constrngerilor: surse diferite de activare pot converge simultan pe acelai reprezentri sau rspuns. c) Un al treilea motiv este c modelele conexioniste manifest degradare graioas: cnd modelul este lezat, performana se degradeaz lent, n mare parte aa cum se vede n tulburrile neurologice umane (Rumelhart et al., 1986). Dintr-un punct de vedere istoric, exist un aspect ironic cu privire la ascendena modelelor conexioniste. Astfel de modele revin la asociaionismul pur care caracteriza behaviorismul. n timp ce modelele conexioniste nu se potrivesc cu toate dictoanele behavioriste reprezentrile lor nu sunt limitate la stimuli i rspunsuri i ele asum de obicei procesarea paralel masiv totui faptul c ele se bazeaz pe asociaii este contrar cu argumentele lui Chomsky potrivit crora doar asociaionismul singur nu poate explica limbajul (Chomsky, 1957, 1959). Acest aspect constituie parte a bazei criticilor modelelor conexioniste (de ex., Fodor i Pylyshyn, 1988). Newell (1990), unul dintre fondatorii modelelor computaionale tradiionale, a sugerat o rezolvare plauzibil: procesele cognitive de nivel inferior precum recunoaterea obiectelor pot fi bine modelate de modelele conexioniste, dar procesele cognitive de nivel superior precum raionarea i limbajul pot solicita modelare simbolic tradiional. Teza principal: informaia este reprezentat de sistemul cognitiv uman prin valori i patternuri de activare ale unor uniti simple (neuromimi). Regulile care guverneaz dinamica acestor retele sunt reguli de modificare sau propagare a valorilor de activare. Conform metaforei creierului, cogniia uman este cel mai bine neleas n termeni ai proprietilor creierului. Metafora creierului i, mai specific, aa-numitele reele neuromimetice conexioniste, ca implementri computaionale ale modului n care creierul ar putea funciona, au devenit tot mai populare n ultimul timp i au atacat statutul de lider al metaforei calculatorului atunci cnd vine vorba de teoretizri cu privire la natura cogniiei umane. O reea neuromimetic este format din urmtoarele componente: Unitile se mai numesc uniti cognitive, neuromimi sau noduri. Aceste uniti preiau dou proprieti ale neuronilor reali: valoarea de activare i ideea gruprii neuronilor ntr-o reea de conexiuni. Funciile unitii: 1 recepteaz inputul i l convertete ntr-o valoare de activare (uniti input); 2 transmit outputul n mediul reelei (uniti output). Ambele tipuri de uniti pot fi accesate direct din mediul reelei uniti vizibile. Dac ntre unitile input i unitile output se interpun alte uniti, ele nu pot fi accesate direct din mediul reelei (ci doar prin intermediul unitilor vizibile, acestea se numesc uniti ascunse / hidden units). Funcia acestor uniti ascunse: moduleaz valorilor de activare ce se propag ntre unitile vizibile. Reelele conexioniste care conin doar uniti vizibile se numesc reele binivelare. Reele conexioniste care conin i uniti ascunse se numesc reele multinivelare. 6

 Starea de activare. Orice unitate are o valoare (stare de activare) la un moment dat care ridic nivelul su de activare. Intervalul de variaie este [-1;+1]. Unitile sunt practic nite valori de activare, iar o reea conexionist apare ca o matrice de valori de activare. Orice unitate cognitiv are i un rest de activare rezultat al stimulrilor trecute. Valoarea de activare se deterioreaz odat cu trecerea timpului sau cu modificarea conexiunilor. Rata descreterii strii de activare se numete rata degradrii. Regula de activare. Este o funcie ce stabilete modul n care se modific valoarea de activare a unitilor dintr-o reea. Modificarea strii de activare se stabilete pe baza netinputului (care este suma inputurilor recepionate de o unitate). Funcia output. Stabilete relaia dintre valoarea de activare a unei uniti i outputul pe care l transmite spre alte uniti din reea. Exist o situaie-prag (o valoare prag), adic dac valoarea de activare are un anumit nivel, atunci unitatea transmite informaii. Exist i o valoare peste prag funcia output +1 i sub prag funcia output 0 (cea mai mic fiind output -1). Conexiunile. Nodurile reelei sunt legate prin conexiuni. Cea mai important caracteristic a conexiunilor este ponderea conexiunii (tria ei, importana). Dac conexiunile sunt orientate ntr-o singur direcie, dac activarea se propag de la unitile input spre cele output se numesc reele unidimensionale, care funcioneaz pe principiul feed forward. Exist i reele bidimensionale dac conexiunile sunt reciproce (principiul feedback). Conexiunile sunt stimulatoare (0; +1] i inhibitoare [-1; 0). n multe reele conexioniste unitile de la acest nivel funcioneaz pe baza inhibiiei laterale, adic dac una dintre uniti este excitat, ea inhib (reduce starea de activare a unitilor de la acest nivel). nvarea ntr-o reea const din modificarea importanei acestei conexiuni. Regula de nvare. Modificarea triei conexiunilor se face pe baza unor reguli de nvare care sunt nite algoritmi, nite ecuaii care guverneaz modularea ponderii conexiunilor dintr-o reea. Mediul reelei. Structur mai larg, n care este scufundat reeaua respectiv. Influena mediului apare sub forma de Biai, adic inputuri cu valoare fix, care sunt independente de dinamica activrii din cadrul reelei. Reelele conexioniste, reelele neurale sau modelele de procesare paralel distribuit, aa cum sunt ele variat denumite, difer de teoriile bazate pe metafora calculatorului n multiple privine. De exemplu, n teoriile care ader la metafora calculatorului, toate procesele asumate ca fiind subiacente comportamentului uman trebuie s fie descrise explicit. Reelele conexioniste, pe de alt parte, pot ntr-o anumit msur s se programeze singure, n sensul c pot nva s produc output-uri specifice atunci cnd li se dau anumite input-uri. Mai mult, teoreticienii conexioniti adesea resping utilizarea de reguli i simboluri explicite i utilizeaz reprezentri distribuite, n care conceptele sunt caracterizate ca pattern-uri de activare ntr-o reea. Se pune ntrebarea referitoare la modul n care acioneaz unitile individuale atunci cnd le afecteaz activarea. Orice unitate dat poate fi conectat la mai multe alte uniti (figura 2). Fiecare dintre aceste alte uniti poate trimite un semnal excitator sau inhibitor la prima unitate. Aceast unitate n general preia o sum ponderat a tuturor acestor input-uri. Dac suma depete un anumit prag, atunci unitatea produce un output care se poate constitui ca intrare pentru alte uniti. 7

Figura 2. Un model conexionist simplu.

Acest tip de reea poate modela comportamentul cognitiv fr a recurge la tipurile de reguli explicite ce se gsesc n domeniul metaforei calculatorului. Reelele realizeaz acest lucru asociind diferite input-uri cu anumite outputuri i stocnd pattern-urile de activare n reea. Reelele folosesc de obicei mai multe straturi pentru a trata comportamentul complex. Un strat const din uniti input care encodeaz un stimul n forma unui pattern de activare. Un alt strat este stratul output care produce un rspuns, din nou n forma unui pattern de activare. Atunci cnd reeaua a nvat s produc un anumit rspuns la nivelul stratului output n urma prezentrii unui anumit stimul la nivelul stratului input, ea poate prezenta un comportament care se aseamn foarte mult cu aplicarea unei reguli. Unul dintre aspectele cele mai critice ale reelelor conexioniste este regula de nvare sau algoritmul folosit pentru a forma pattern-uri de activare. Un algoritm care a fost folosit pentru a permite reelelor conexioniste s nvee este numit propagare invers (sau retropropagare). La nceputul unui episod de nvare, reeaua este iniializat cu greuti ale conexiunii aleatorii ntre uniti. n timpul stadiilor timpurii ale nvrii, cnd patternul de input a fost prezentat, unitile output adesea produc un rspuns care nu este pattern-ul output solicitat. Retropropagarea compar acest pattern imperfect cu rspunsul solicitat cunoscut, observnd diferenele. Ea apoi propag invers activarea prin reea astfel nct unitile sunt ajustate de aa manier nct vor tinde s produc pattern-ul solicitat la urmtorul ciclu de nvare. Acest proces este repetat cu un anumit pattern stimul pn cnd reeaua produce pattern-ul de rspuns solicitat. Scenariul viitor cel mai dezirabil este poate unul n care cele dou metafore principale (adic, a calculatorului i a creierului), mpreun cu cea ecologic, vor fi integrate n una coerent. Deoarece cele trei metafore trateaz niveluri distincte ale minii umane, acest scenariu constituie, ns, doar o probabilitate teoretic.

BIBLIOGRAFIE
Fodor, J. (1975), The Language of Thought, Crowell Publishers, New York, U.S.A. Miclea, M. (2003), Psihologie Cognitiv. Modele Teoretico - Experimentale, Ediia a II-a, Editura Polirom, Iai, pp. 13 35. Delacour, J. (2001), Introducere n Neurotiinele Cognitive, Editura Polirom, Iai. Pylyshyn, Z. (1984). Computation and cognition: Toward a Foundation for Cognitive Science, Cambridge, MA: MIT Press. Rumelhart, D. E., & McClelland, J. L. (Eds.), (1986), Parallel Distributed Processing: Explorations in the Microstructure of Cognition, Cambridge MA: MIT Press/Bradford Books.

TEME PENTRU SEMINAR II REFLECII / STUDII / REFERATE / ESEURI / PROIECTE

1.

SCENARII APROXIMATIVE ALE PARADIGMELOR PSIHOLOGIEI COGNITIVE

2.

REELELE NEUROMIMETICE - CONCEPT CENTRAL N PARADIGMA (NEO)CONEXIONIST