Wykład 2:Idea umysłu jako maszyny
Wstęp do kognitywistykiWstęp do kognitywistyki
Czy umysły to 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 TuringaMaszyna 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
Weizenbaum 1976
Kostka kamień obróć kostkę zamień kamień przemieść wskaźnik
Obliczanie raz jeszczeObliczanie 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 TuringaMaszyna 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łuOd 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 MTKognitywistyka 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 AII-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
Top Related