Wykład 2: Idea umysłu jako maszyny Wstęp do kognitywistyki

Wstęp do kognitywistyki
Wykład 2:
Idea umysłu jako maszyny
Czy umysły to maszyny?
●
●
●
●
●
mózg jako maszyna
człowiek jako maszyna – interpretacja mocna
do 1930 – brak „maszynowych” ujęć
niematerialnego umysłu (La Mettrie)
1940 – konceptualizacje umysłu oparte na logice
(+informatyka) i fizjologii (+cybernetyka)
1960 – McCulloch: umysł jako maszyna to naczelna
herezja
Maszyna Turinga
●
●
●
●
●
Od intuicji (Babbage) do definicji. O obliczaniu
nieformalna wersja: papier toaletowy Weizenbauma
reguły transformacyjne
jednoznaczność i brak wyboru
to, co się dzieje całkowicie jest zależne:
– od obowiązującej reguły
– pozycji wskaźnika, oraz
– tego, na co wskaźnik wskazuje
Kostka kamień obróć kostkę zamień kamień przemieść wskaźnik
Weizenbaum 1976
Obliczanie raz jeszcze
W matematyce nie ma ignorabimus (Hilbert)
● Entscheidungsproblem: czy istnieje „mechaniczna
procedura” udowodnienia, że dowolne twierdzenie
jest rozstrzygalne?
Turing: stwierdzenie jest rozstrzygalne, gdy istnieje
określona metoda (algorytm) jego obliczania
W szczególności: to, czy dane stwierdzenie jest
rozstrzygalne (obliczalne) jest problemem
nierozstrzygalnym.
●
Maszyna Turinga
Maszyna Turinga (MT): taśma podzielona na
zapisywalne kwadraty, głowica skanująca, tablica
zachowań
Dla dowolnego momentu t: stan maszyny w kolejnym
momencie t+1 jest określony przez: stan maszyny w t,
oraz symbol odczytywany na taśmie w czasie t
●
Cokolwiek jest obliczalne może zostać obliczone
przez pewna maszynę Turinga
Od matematyki do umysłu
●
Czy umysł jest maszyną?
Czy umysł jest maszyną Turinga?
●
komputer i komputor – uwagi o pewnym opisie
●
„stan umysłowy” - spis instrukcji wyjaśniający jak
kontynuować pracę
●
Kognitywistyka a MT
Argument przeciw kognitywistyce:
(P1) Turing dowiódł, że wszystkie maszyny są ograniczone
do obliczeń w sensie Turinga
(P2) zatem dowolne podejście do umysłu-jako-maszyny
musi podlegać podobnym ograniczeniom
(P3) jeśli znajdziemy choć jeden przypadek myśli nie
będącej obliczalną w sensie Turinga
(Wn) kognitywistyka jest nieadekwatna lub z gruntu
wadliwa
Kognitywista chce opisać umysł w kategoriach
zaczerpniętych z najlepszej teorii wyjaśniającej to, co
robią komputery
I-szy manifest AI
1947: raport Turinga Intelligent Machinery
pierwszy manifest AI
● perspektywy wytworzenia „myślącej maszynerii”
● odrzucenie (rzekomych) konsekwencji arg. Goedla
● definicja nowego typu maszyny – systemu
koneksjonistycznego (sieci neuronowej)
● sieć taka nie tylko realizuje zadania, ale również się
uczy
● może być symulowana przez komputery cyfrowe