WSTĘP DO KOGNITYWISTYKI

ROLA EKSPLANACYJNA REPREZENTACJI. KONEKSJONIZM

Marcin Miłkowski

CZTERY KONCEPCJE REPREZENTACJI KONEKSJONISTYCZNYCH1. Węzły sieci jako pojęcia

2. Reprezentacje rozproszone

3. Sieci jako modele rzeczywistości

4. Dynamiczna interpretacja sieci

(I to nie wszystko...)

WĘZŁY SIECI JAKO POJĘCIA (MCCLELLAND 1981) Dwa gangi: Jets i Sharks, opisane za pomocą sieci neuropodobnej

Sieć poprawnie rozpoznaje cechy członków gangu

Krytyka:zupełnie niewiarygodneneurologicznie

WĘZŁY SIECI JAKO POJĘCIA

Niewiarygodność neurologiczna: To nawet nie jest teoria komórek babcinych, bo interpretację znaczenia węzłów – np. określonego wieku bandyty – po prostu przypisuje sieci obserwator.

Sieć sama nie jest w stanie odnieść swoich stanów (nawet jak będzie w robocie) np. do 20-letniego bandyty z bandy Sharks.

REPREZENTACJE ROZPROSZONE (SIECI SUBSYMBOLICZNE) Sieci rozpoznające pojęcia „subsymbolicznie” – węzły nie odpowiadają całym pojęciom ani ich cechom

Sieci jakodetektorywzorców

TEORIA POJĘĆ JAKO PROTOTYPÓW

Trzy podstawowe teorie pojęć w psychologii poznawczej pojęcia jako teorie, czyli warunki konieczne i wystarczające;

pojęcia jako prototypy; pojęcia jako egzemplarze.

TEORIA POJĘĆ JAKO PROTOTYPÓW

E. Rosch (1975): Co jest dobrym przykładem kategorii „mebel”?

krzesło, sofa, stół... zdecydowanie rzadziej: poduszka, telefon, lodówka...

PODOBIEŃSTWO RODZINNE WG WITTGENSTEINA

W Dociekaniach filozoficznych twierdzi, że nie można podać koniecznych i wystarczających warunków podobieństwa rodzinnego.

TEORIA POJĘĆ JAKO PROTOTYPÓW Sieci z rozproszonymi reprezentacjami mogą wykrywać wzorce w mniejszym lub większym stopniu – co odpowiada stopniowalnej kategoryzacji zgodnie z teorią prototypów.

Łagodna degradacja: elastyczność kategoryzacji.

TEORIA POJĘĆ JAKO EGZEMPLARZY Pamiętamy swoisty egzemplarz (przykład kategorii), traktując go jako swoisty.

To też daje efekty stopniowalności.

I też łatwo stworzyć odpowiednią sieć koneksjonistyczną.

SIECI JAKO MODELE RZECZYWISTOŚCI G. O’Brien i J. Opie (2009): sieci jako całości są analogicznymi modelami. Między siecią a dziedziną poznawczą zachodzi podobieństwo strukturalne (drugiego rzędu: zachowane są relacje między obiektami).

Na tym polega ich skuteczność jako narzędzi obliczeniowych. Muszą odzwierciedlać strukturę zadania.

SIECI JAKO MODELE PROCESÓW J. Elman (1990): sieć klasyfikująca angielskie wyrazy w zdaniu – przewidująca kategorię następnego wyrazu w świetle kategorii wyrazów poprzednich Wykonalne, bo j. angielski ma stosunkowo sztywny szyk

SIEĆ ELMANA (1991)

Ukryte jednostkizawierają wewnętrzne reprezentacje wejść

Dzięki nim siećma właściwe wyjścia

ANALIZA WYUCZONEJ SIECI Widać grupowaniewęzłów o podobnychfunkcjach

Metoda analizyklastrowej (grupowania) służydo ujawnianiastruktury sieci

I POGRZEB...

Argument Fodora i Pylyshyna (1988):Produktywność i systematyczność to cechy pojęć, które muszą być uwzględnione w modelach poznania.

Nie obecnie istnieje inne wyjaśnienie produktywności niż przez odwołanie do kompozycyjności.

Tylko modele symboliczne są kompozycyjne.

PRODUKTYWNOŚĆ

Wypowiedzi językowe, których jest potencjalnie nieskończenie wiele, składają się ze skończonej listy prostszych jednostek. Te jednostki składowe łączymy w wypowiedzi. Znając zasady łączenia (kompozycjonalności) i jednostki składowe, możemy zrozumieć i wypowiedzieć potencjalnie nieskończoną liczbę zdań.

I POGRZEB... (C.D.)

Argument uogólniony:Koneksjonizm albo nie zapewnia kompozycyjności pojęć i jest nieadekwatny,

albo zapewnia kompozycyjność, ale tylko dlatego, że jest tylko implementacją (realizacją) modelu symbolicznego.

Bardzo trudny dylemat!

SKĄD PROBLEMY Z KOMPOZYCYJNOŚCIĄ?

Relacje w sieci są zwykle skojarzeniowe (asocjacyjne).

Skojarzenie jest relacją symetryczną. Za pomocą relacji symetrycznej nie da się opisać kolejności wyrazów w zdaniu, a kolejność jest kluczowa dla kompozycyjności.

Jeśli 1 jest skojarzone z 2, to 2 jest skojarzone z 1. Relacji > nie można opisać relacją skojarzenia.

SKĄD PROBLEMY Z KOMPOZYCYJNOŚCIĄ?

Krowy są piękne na Mazowszu.Nie wszystkie warianty są poprawne: Są Mazowszu piękne na krowy. Mazowszu krowy na są piękne. Mazowszu piękne są na krowy. Mazowszu na krowy są piękne. Mazowszu są na krowy piękne. Mazowszu są na piękne krowy. …

PRÓBY ODPOWIEDZI

Argument z przybliżenia: Sieci neuropodobne muszą zapewnić przybliżoną kompozycyjność, przez co nie są ściśle sprowadzalne do modeli symbolicznych.

Np. nowoczesne atraktorowe sieci impulsowe budowane przez Chrisa Eliasmitha zawierają tzw. „wskaźniki semantyczne”, które są skompresowanymi informacjami o innych stanach sieci.

PRÓBY ODPOWIEDZI

Reprezentacje wysokiego rzędu efektywnie kodują reprezentacje niskopoziomowe w modelu SPAUN (2,5 miliona sztucznych neuronów)

Rola szumu w mózgu biologicznym!

I OSINOWY KOŁEK

Bill Ramsey (2007): większość tzw. reprezentacji w koneksjonizmie to tylko korelaty czynności percepcyjnych lub motorycznych.

Nie trzeba ich nazywać reprezentacjami, bo nie mają żadnej treści, o ile nie są modelami strukturalnymi (reprezentacjami analogicznymi).

ZARZUT RAMSEYA

Fotokomórka w kranie reaguje na obecność dłoni, ale ich nie reprezentuje.

Podobnie jest ze stanami sieci neuropodobnych, o ile nie mają struktury podobnej do zadania.

Większość nie ma.

Eliminacjonizm (antyreprezentacjonizm)

PODSUMOWANIE

W badaniach nad pojęciami nad modelami symbolicznymi dominują modele koneksjonistyczne (różne wersje prototypów i egzemplarze) Ale istnieją współcześnie modele odnoszące się też do motoryki i percepcji, np. ucieleśnione symulacje Barsalou czy G. Pezzulo.

PODSUMOWANIE

Dylemat Fodora i Pylyshyna okazał się bardzo istotny.

Koneksjoniści muszą pokazać, dlaczego ich sieci cechujące się kompozycyjnością nie są tylko realizacjami modeli symbolicznych.

PODSUMOWANIE

Sieci koneksjonistyczne co do zasady mogą reprezentować na różne sposoby. Prawdopodobnie reprezentacje rozproszone są bardziej wiarygodne neuronalnie.

Sama korelacja z bodźcem czy reakcją nie wystarczy, aby nazwać coś „reprezentacją”.

A co właściwie wystarczy?

O CZYM BYŁA MOWA

Jak reprezentują sieci neuropodobne? Cztery wesela…

I pogrzeb: argument Fodora i Pylyshyna

I osinowy kołek: argument Ramseya

Modele koneksjonistyczne: to żyje!