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