Linköpings universitet

Transkript

1 Vad är kognition? tt ta in, lagra och bearbeta information: Kognitionsvetenskaplig introduktionskurs Perception Information tas in och flödar genom begränsade informationskanaler Föreläsning 4 Fysiska systemshypotesen, Language of thought, Kinesiska rummet Representation Information lagras i olika format Bearbetning Information bearbetas mekanisk och algoritmiskt, ofta på en omedveten nivå nnika Silvervarg! COIN/HCS/ID 2 använder er (representationer) ristoteles syllogismer som man manipuleras formellt genom formella procedurer (regler/algoritmer) Giltiga resonemang slutsatsen måste vara sann om premisserna är sanna Formen avgör giltigheten ej innehållet Är följande ett giltigt resonemang? Inga är B lla B är C Några C är inte 3 4 Representation och Symboler Något i världen ska beräknas R representerar en referent X då R ger oss information om X Representation i ett system sätts upp När R har till uppgift att vara informationsbärare är R en Beräkning sker på erna (utan hänsyn till deras innehåll) Resultatet (erna) tolkas/avläses i relation till världen Exempel Skiljer på Syntax (form) och Semantik (innehåll)! 6 Linköpings universitet Rök kan ge information om att det brinner, men rök är inte en, eftersom den inte har till uppgift att representera eld Ljudsignalen från en brandvarnare kan ge information om att det brinner, och är en, eftersom den har till uppgift att representera eld 8 1

2 Representationer och ers medium Symbolsystem En har alltid en fysisk existens, men denna är mediumoberoende, så länge det finns metoder för avläsning Exempel Symboler hör oftast till ett eller flera system av er Exempel Skriven svenska Musiknoter ritmetiska uttryck Mugg Symbolsystem Fysiska systemshypotesen Symbolsystem har Kriterier för att avgöra om något tillhör systemet Kriterier för att avgöra identiteten av en (dess typ) Regler för att bestämma ers mening (semantik) Regler för att kombinera enkla er till komplexa (syntax) Ett fysiskt system uppfyller nödvändiga och tillräckliga villkor för generell intelligens (Simon & Newell, 1975) Nödvändigt villkor innebär att ingenting kan vara intelligent utan att vara ett FSS, dvs mänskligt medvetande är FSS Tillräckligt villkor innebär att det går att konstruera artificiell intelligens genom att konstruera ett FSS 11 Karakteristika hos FSS 1. Symboler är fysiska mönster 1. Symboler är fysiska mönster 2. Symbolerna kan kombineras till komplexa strukturer 3. Det finns processer för att manipulera komplexa strukturer 4. Processerna för att generera och transformera komplexa strukturer kan representeras av er 1 + Linköpings universitet 2

3 2. Symbolerna kan kombineras till komplexa strukturer 3. Det finns processer för att manipulera komplexa strukturer Processerna för att bearbeta komplexa strukturer kan representeras av er < 1 > Symboler 1 eller 0 Dator som FSS Fysiska er elektriska/logiska kretsar som är på (1) eller av (0) Tecken kan kombineras till ord, strängar eller uttryck e n m u s en mus lgoritmer bestående av enkla entydiga instruktioner t ex: konkatenering av strängar problemlösning som sökning Datorprogram är skrivna i högnivå programmeringsspråk i f m > 1 if m>1 Language of Thought (Fodor, 1975) Förklarar hur FSS kan fungera i mänskligt medvetande Mentalese ett internt språk med er och meningar som transformeras i medvetandet Propositionella attityder och Intentional Realism Belifs och Desires är exempel på psykologiska De kallas ofta för propositionella attityder eftersom de uttrycker attityder (jag tror på, jag önskar, etc) till propositioner (det är soligt idag, jag kommer att klara tentan, etc) Mycket mänskligt beteende kan förklaras i termer av propositionella attityder så därför måste de finnas (Fodors argument) De realiseras i fysiska som kan orsaka beteende Linköpings universitet 3

4 Exempel Causation by content Sinnesintryck (t ex ljud och ljusvågor) omvandlas successivt via informations-bearbetning till olika representationer som resulterar i handling Hjälp ljudvågor och hjärnaktivering (fysiska ) -> Någon behöver hjälp (Belief Uppfattnig av situation) -> Jag vill hjälpa (Desire Önskning) -> Jag ska springa mot ljudet (Intention vsikt) -> Mina ben rör sig i riktning mot ljudet (handling Hur kan psykologiska som Beliefs och Desires orsaka beteende? Jämför den fysiska handlingen läkaren som slår med hammaren mot knät utför och som reflexmässigt får benet att röra sig, med den viljestyrda benrörelsen hos den som önskar gå på lina och ska ta första steget I det senare fallet är det innehållet i önskan (desire) som orsakar beteendet Vi måste skilja på fysiska/formella egenskaper hos representationer och deras semantiska egenskaper Symbol Syntax och Semantik Formal transformation rule/ Syntactics Meaning/Semantics 1. Fa Georgina is tall 2. Ga Georgina has red hair 3. Fa & Ga If complex s S and S* appear on earlier lines then write S & S* 4. x (Fx & Gx) If on an earlier line there is a complex containing a name then replace the name by x and write x in front of the result Georgina is tall and has red hair Something is tall and has red hair Language of Thought 1. Det sker kausal interaktion mellan olika fysiska 2. De fysiska en har en meningslik struktur som avgör hur de interagerar med varandra (Syntaktisk nivå) 3. Kausala relationer mellan meningar respekterar de logiska/rationella relationerna mellan innehållet dessa meningar representerar (Semantisk nivå) Meningar uttryckta i LOT är: Fysiska strukturer som kan manipuleras enligt regler Meningar uttryckta i LOT är: Representationer av i världen, propositionella attityder Kinesiska rummet Tankeexperiment (filosofisk metod) Kritik mot grundtanken med LOT manipulation är inte tillräckligt för intelligens Kinesiska rummet 31 Linköpings universitet 4

5 Kinesiska rummet (Searle, 1980) Kinesiska rummet motargument Systemsvaret Personen utför flera komplicerade deluppgifter: känner igen kinesiska tecken, slår upp i regelbok, sätter ihop svar Systemet som helhet, dvs personen och regelboken, förstår kinesiska Robotsvaret Behöver interagera med omgivning och andra människor för att kunna förstå Symbol grounding problem Kinesiska rummet illustrerar ett vidare problem gapet mellan formell bearbetning av er och genuin tanke och förståelse Men hur blir er meningsfulla? ord (lingvistiska er) är meningsfulla eftersom vi lär oss en betydelse när vi lär oss att använda dem men tankar verka ha betydelse i sig själva vi har kört fast Möjliga vägar Kognition är inte informationsbearbetning Kognition är icke-iska informationsbearbetning Linköpings universitet 5