Om maskiner kunde tala

Relevanta dokument
Gränser och gränssnitt mellan människa och maskin

DATORER OCH PROGRAM. Datorn är en symbolmaskin

Introduktion till programmering och Python Grundkurs i programmering med Python

PROGRAMMERING. Ämnets syfte. Kurser i ämnet

Programmering och begrepp

Programmering och begrepp

DATORER OCH PROGRAM. Programmerade maskiner Program beteendeplan och beteendegenerator Generalitet och portabilitet Datorn är en symbolmaskin

PROGRAMMERING. Ämnets syfte. Kurser i ämnet

Innehålls förteckning

Introduktion till programmering

Objektorientering/ Klasser

Inledning. Vad är ett datorprogram, egentligen? Olika språk. Problemlösning och algoritmer. 1DV433 Strukturerad programmering med C Mats Loock

PROGRAMMERING. Ämnets syfte. Kurser i ämnet

Inledande programmering med C# (1DV402) Introduktion till programmering

I Vallentuna erbjuds barn med grav språkstörning en speciell språkträning, TINS

Program & programmering

Moralisk oenighet bara på ytan?

SKOLFS. beslutade den -- maj 2015.

BARN MED AUTISM ATT FÖRA SAMTAL MED

Föreläsning 1: Intro till kursen och programmering

Föreläsning 1: Intro till kursen och programmering

Barnets psykologi. Usha Goswami. Översättning av Lisa Sjösten. fri tanke

Föreläsning 2. Operativsystem och programmering

Linköpings universitet

Alla datorprogram har en sak gemensam; alla processerar indata för att producera något slags resultat, utdata.

Datormetaforen. Från människa till dator Från dator till människa o.s.v.

Sammanfattning av modulen modeller och representationer Hur går jag vidare?

Vi erövr ar verkligheten bit för bit genom att vi får ett språk för våra erfarenheter. Ett barns språkutveckling är ett fascinerande skådespel, en

PROGRAMMERING. Ämnets syfte. Kurser i ämnet

Nya Medier. Gränssnitt, Interaktivitet och Digital kod

SKOLFS. beslutade den XXX 2017.

Tillämpad experimentalpsykologi [2] Tillämpad experimentalpsykologi [1] Tillämpad experimentalpsykologi [3] Empirisk forskningsansats

Objektorienterad programmering, allmänt

Viktiga egenskaper hos ett program (Meyer): Objektorienterad programmering, allmänt. Vilka egenskaper vill vi att våra program ska ha?

Kognition. Kognition, interaktion och användare. Överblick - kognition. Data-information-kunskap. Nivåer av kognition. Dä ä bar å åk.

ENKEL Programmering 3

Viktiga begrepp. Algoritm. Array. Binärkod. Blockprogrammering. Bugg / fel och felsökning. Dataspel. Dator

Tillämpad experimentalpsykologi [2] Tillämpad experimentalpsykologi [1] Empirisk forskningsansats. Tillämpad experimentalpsykologi [3] Variabler

Användning Dessa rollkort kan användas som stöd i produktutvecklingsprocessen eller för sig själva. De beskriver olika yrken och vilken roll

Användning Dessa rollkort kan användas som stöd i produktutvecklingsprocessen. De beskriver olika yrken och vilken roll personerna med dessa yrken

Programmeringsteknik I

Neural bas för kognition

Logik: sanning, konsekvens, bevis

Studier med barn, fördelar. Kognitiv utveckling. Upplägg. Många aspekter. Generella aspekter. Barndomens kognitiva utveckling

Programmering. Den första datorn hette ENIAC.

IBSE Ett självreflekterande(självkritiskt) verktyg för lärare. Riktlinjer för lärare

a White Paper by Idea2Innovation Framtidens arbetssätt.

Objektorienterad programmering. Grundläggande begrepp

Fyra positioner under ett konsultativt samtal

Formell logik Föreläsning 1. Robin Stenwall

Sammanfattning kap. 1. Människor och komplexa system. Indirekta slutledningar. Sammanfattning kap.2. Formativa modeller. Sammanfattning kap.

PROGRAMMERING ÅK 9 INTRODUKTION

SPÅRFORDONSTEKNIK. Ämnets syfte

Perspektiv på kunskap

Drömmaskiner. Den moderna tekniken i människans tjänst Drömmaskiner: Från Minimetern till Jag Vill-appen (från 1998 till idag) Björn Breidegard

Språkteknologi och Open Source

Mot en gemensam definition av systemiskt tänkande - i dag och inför framtiden.

2. Konsten att skapa gemenskap ur trenätsperspektivet

Programmering. Seminarier i datavetenskap, datorteknik och informationsteknik. Niklas Broberg

Skolan skall i sin undervisning i biologi sträva efter att eleven

Föreläsning 9: Turingmaskiner och oavgörbarhet. Turingmaskinen. Den maximalt förenklade modell för beräkning vi kommer använda är turingmaskinen.

Programmering, grundkurs, 8.0 hp, Elektro, KTH, hösten Programmering: att instruera en maskin att utföra en uppgift, kräver olika språk:

Kognition crash course

Formell logik Föreläsning 1. Robin Stenwall

Ett projektarbete i svenska, teknik och engelska, riktat mot DICE. Thoren Innovation School HT2012.

Företagskulturens betydelse för säkerheten

Kommunikation och Interaktion

Kognition TEK210 (4,5 hp)

- Är strategin Guds? - Strategins värld :

Digitalt lärande och programmering i klassrummet

Introduktion till programmering, hösten 2011

Kan jag bara nå min bild av framtiden kommer allt blir bra.

Modellering av Dynamiska system Bengt Carlsson Rum 2211

Enskild skriftlig uppgift

Språket, individen och samhället HT Introduktion till sociolingvistik. Några sociolingvistiska frågor. Några sociolingvistiska frågor, forts.

Komplexiologi löser de accelererande problemen med psykisk ohälsa!

Barns lek och lärande i perspektivet av förskolans verksamhetsutveckling

Undervisningen i ämnet psykologi ska ge eleverna förutsättningar att utveckla följande:

Organisationskultur. Organisationskulturer och kommunikation. Kultur (Schein 1985) företagskultur. Teori Z (Ouchi 1981)

Kognitiv psykologi. Schema. Tentamen Introduktion.

Klipp-och-klistra DNA: fixa mutationen med gen editering DNA, RNA och Protein

Operatörer och användargränssnitt vid processtyrning

Metodologier Forskningsdesign

Tänkande och kommunikation hos andra djurarter än människa

Kommentarer till bedömningsmatris för Tala Kurs D

FÖRSLAG TILL KURSPLAN INOM KOMMUNAL VUXENUTBILDNING GRUNDLÄGGANDE NIVÅ

Språk-, läs- och skrivutveckling i förskolan. Uppsala universitet Oscar Björk

Modellering av Dynamiska system Bengt Carlsson Rum 2211

ENGELSKA FÖR DÖVA. Ämnets syfte

Autism en introduktion

3.6 Moderna språk. Centralt innehåll

Introduktion till programmering D0009E. Föreläsning 1: Programmets väg

Kognitionsvetenskapligt kandidatprogram Bachelor Programme in Cognitive Science 180 Högskolepoäng

Annorlunda tänkande vid intellektuell funktionsnedsättning. Grundproblem. Grundproblem. SvenOlof Dahlgren E-post:

krävs för att kunna utföra arbete. Den finns i många former men kan inte förstöras, bara omvandlas från en form till en annan.

Teknisk testning för otekniska testare

Undervisningen i ämnet moderna språk ska ge eleverna förutsättningar att utveckla följande:

Översyn av styrande dokument

Turingmaskiner och oavgörbarhet. Turingmaskinen. Den maximalt förenklade modell för beräkning vi kommer använda är turingmaskinen.

Problemskapande beteende och låg affektivt bemötande

Transkript:

Staffan Larsson, forskarassistent i lingvistik Ludwig Wittgenstein skriver i Filosofiska Undersökningar (1953): Om ett lejon kunde tala, så skulle vi inte förstå det. Varför inte? Enligt en tolkning vill Wittgenstein med detta göra oss uppmärksamma på att språket först och främst är ett socialt fenomen som uppkommer i samspelet mellan människor. Då det mänskliga språket uppkommit i interaktionen mellan just människor, snarare än mellan människor och lejon, så är det också tillgängligt bara för människor. Ett språk som uppkommit mellan lejon (om de nu kunde tala) skulle på samma sätt vara otillgängligt för oss människor. Dessutom finns förstås avgörande skillnader mellan människors och lejons fysionomi, kognition och levnadsmiljöer som ger olika grundförutsättningar för de sociala interaktioner som människor respektive lejon kan delta i. Sammantaget resulterar dessa skillnader i att människors och lejons livsvärldar, och därmed deras språk, skulle vara mycket olika. Inom språkteknologin utvecklas metoder som möjliggör kommunikation mellan människor och maskiner med hjälp av naturliga (mänskliga) språk. Vid en första anblick verkar detta motsäga Wittgensteins påpekande; det mänskliga språket har inte uppkommit i interaktion mellan människor och maskiner och är således inte tillgängligt för maskiner de kan inte förstå vad vi talar om. I denna artikel vill jag undersöka en samling tankegångar och idéer från olika håll i ett försök att kasta ljus på frågan om maskiners (o)möjlighet att förstå och använda mänskliga språk. Hjärnans maskinkod? I Neal Stephensons science fiction-roman Snow Crash (1992) visar det sig att ett gammalt sumeriskt språk fungerar som ett hjärnans maskinkod som gör det möjligt att infektera människor med ett mentalt virus och därmed fullständigt kontrollera deras beteende och tankar. Analogin med datorprogrammering och datorvirus är tydlig. Givet antagandet att hjärnan 155

i princip fungerar på samma sätt som en dator följer att det också måste finnas en hjärnans motsvarighet till datorernas maskinkod, som möjliggör total kontroll över maskinens tillstånd. Men är en hjärnans maskinkod verkligen möjlig? Den så kallade simulationssemantiken är en kognitivt orienterad teori om språklig betydelse som bygger på idén att vi, när vi förstår språk, exekverar en mental simulation; vi skapar oss (enkelt uttryckt) en mental bild av det språkliga innehållet. I en simulation aktiveras samma hjärnstrukturer som skulle ha använts om vi faktiskt befunnit oss i den verkliga situation som motsvarar den (fiktiva) simulationen. Varje ord är kopplat till en simulator (ordets betydelse ) som aktiveras då vi känner igen ordet, och språket gör det således möjligt att kontrollera simulationen. En roman kan ses som ett program skrivet i naturligt språk som, när det körs, ger upphov till en simulation i läsarens medvetande. Enligt detta synsätt kan mänskliga språk bäst förstås som ett hjärnans programmeringsspråk skillnaden mot datorernas programmeringsspråk är helt enkelt att mänskliga språk exekveras på människohjärnor istället för på datorer. Finns det då någon avgörande skillnad mellan en människa och en dator vad gäller förmågan till språkförståelse? Komplicerat eller komplext? Inom det tvärvetenskapliga studiet av komplexa system görs en distinktion mellan komplicerade och komplexa system. Ett komplicerat system, till exempel ett flygplan eller en dator, kan bestå av ett stort antal komponenter, men kan alltid ges en uttömmande beskrivning i termer av de enskilda komponenterna. En nyckelegenskap hos komplicerade (men inte komplexa) system är att deras beteende är begripligt, beskrivbart och förutsägbart. Ett komplext system kan däremot inte förstås enbart i termer av sina komponenter, då det inte är komponenterna själva (de kan vara mycket enkla) utan den rika interaktionen mellan dem som är det primära. I komplicerade system finns ofta en komponent som kontrollerar de övriga komponenterna (till exempel centralprocessorn i en dator), men i komplexa system har ingen komponent kontroll över de övriga komponenterna. Exempel på komplexa system är klimatsystem, ekologiska system, den mänskliga hjärnan, (de flesta) sociala system samt mänskliga språk. 156

En nyckelegenskap hos komplexa system är möjligheten till självorganisering, det vill säga förmågan att utveckla och anpassa sin interna struktur för att manipulera och hantera förändringar i sin omgivning. Ett självorganiserande systems struktur är inte designat och planerat utan uppstår i interaktionen mellan dess komponenter. Att nya fenomen kan uppstå spontant gör också att komplexa system inte är förutsägbara, i motsats till de enbart komplicerade systemen. En annan konsekvens av förmågan till självorganisering är att komplexa system är föränderliga och anpassningsbara och kan hantera förändringar i omgivningen. Komplicerade system, däremot, är ofta statiska på så sätt att det är svårt (dock inte omöjligt) att förändra dem, och sådana förändringar kräver ofta medveten och noggrann planering av en designer eller konstruktör (eller programmerare). Språk och kod I My Mother was a Computer (2006) ställer N. Katherine Hayles frågan vad den grundläggande skillnaden är mellan språk (mänskliga språk) och kod (i betydelsen programmeringsspråk). Ett svar är att språk är avsedda att förstås enbart av människor, medan programmeringsspråk måste förstås av både datorer och människor (för att det ska vara möjligt för en människa att programmera en dator). Programspråkskonstruktörer lägger ner mycket möda på att göra programmeringsspråken mer begripliga för människor; ett exempel på en framgångsrik innovation på detta område är de så kallade objektorienterade programmeringsspråken såsom Java. Hayles utvecklar utifrån Saussure och Derrida en teoretisk ansats till att förstå betydelse hos programmeringsspråk i kontrast till betydelse hos mänskliga språk. Jag kommer här inte att närmare gå in på denna ansats utan istället fokusera på ett annat sätt att förstå betydelsen hos datorkod. Enligt denna alternativa ansats, som antyds men inte utvecklas av Hayles, kan en maskins beteende beskrivas på flera olika nivåer: som elektriska spänningsförändringar i datorns kretsar; som ett flöde av ettor och nollor; som exekverandet av ett programmeringsspråk som till exempel Java; eller utifrån ett grafiskt gränssnitt på datorns skärm. De olika beskrivningsnivåerna erbjuder olika sätt att tala om, tänka på, och kontrollera datorns beteende. Eftersom datorn inte är komplex, utan bara komplicerad, är det i princip möjligt att ge en komplett förklaring av datorns beteende enbart utifrån fysikens lagar. En sådan förklaring skulle dock vara ohanterlig för 157

en människa och därför använder vi oss hellre av de högre beskrivningsnivåerna när vi pratar och tänker om datorns beteende. Hayles påpekar att programmeringsspråkens kraftfullhet ligger i just att de både är sätt att tala om och tänka på datorns beteende (dvs. begripligt för människor) och att koden har direkta fysikaliska och kausala effekter på datorns beteende som gör det möjligt för oss att kontrollera detta beteende in i minsta detalj. Vi kan förtydliga genom att tillägga att detta är möjligt just tack vare att datorn är just ett komplicerat system snarare än ett komplext sådant. Ett komplext system tillåter helt enkelt inte den typ av strikt kontroll som är grunden för traditionell datorprogrammering. Både mänskliga språk och programmeringsspråk kan ses som sätt att påverka beteendet hos andra (människor eller maskiner) genom användandet av språkliga yttranden (talade, skrivna eller programmerade). Enligt Hayles är yttranden i mänskliga språk knutna till det yttre beteendet genom komplexa kedjor av orsak och effekt i den mänskliga organismen. Utifrån kontrasten mellan komplicerade och komplexa system kan vi kontrastera detta mot de bara komplicerade orsakssammanhangen mellan programkod och iakttagbart beteende i en dator. Människospråk och datorkod skiljer sig även med avseende på de sociala strukturer som reglerar deras utveckling. Både naturliga språk och programmeringsspråk förändras över tid, men på radikalt olika sätt. Programmeringsspråk kontrolleras normalt av en liten grupp utvecklare som har mer eller mindre fullständig makt över programmeringsspråket. Mänskliga språk, däremot, utvecklas genom människors dagliga interaktioner där vissa kanske har mer makt än andra men där ingen kan förhindra att språket förändras. Om människor börjar använda ett ord på ett nytt sätt (till exempel surfa för att beteckna Internetanvändning) så kommer ordets betydelse att förändras. Om däremot en eller flera programmerare försöker använda ett ord i ett programmeringsspråk på ett annat sätt än vad som avsetts av programspråkets utvecklare, så blir resultatet inte att språket förändras utan att programmen inte fungerar. Även detta är en konsekvens av skillnaden mellan komplexa och komplicerade system. Människors hjärnor är komplexa, självorganiserande och därmed flexibla system som kan förstå och anpassa sig till språkliga innovationer. Datorer däremot är komplicerade och därmed rigida strukturer som inte kan anpassa sig på detta sätt. 158

Komplexa maskiner, komplicerade människor Vi kan nu ge ett svar på frågan om huruvida det kan finnas en hjärnans maskinkod som skulle göra det möjligt att kontrollera en människas beteende i detalj. Svaret är helt enkelt: Nej. Maskinkodens förmåga att direkt kontrollera beteende kommer just av att den fungerar i ett komplicerat men förutsägbart system. Hjärnan är ett komplext system där sådan kontroll inte är möjlig, och därför är en hjärnans maskinkod inte möjlig. Samtidigt är denna gränsdragning inte absolut. På senare år har forskare konstruerat datorprogram som kan lära sig rudimentära språk på ett sätt som påminner om mänsklig språkinlärning, och genom att låta flera sådana program interagera i ett socialt nätverk kan nya språkliga konventioner uppstå genom självorganisering. Dessa experiment ligger oerhört långt från den mänskliga interaktionens rikedom, och datorernas radikalt människofrämmande fysiologiska, kognitiva och ekologiska förutsättningar gör att det verkar osannolikt att datorer (av den typ vi har idag) någonsin skulle kunna närma sig människans förmåga att förstå och använda mänskliga språk. Lika väl som det finns komplexa maskiner, så kan man också hitta exempel på försök att reducera bort människors komplexitet och göra om dem till förvisso komplicerade men ändå förutsägbara komponenter i rigida och centraliserade sociala system. Byråkratiska och kanske framför allt militära organisationer är exempel på detta. Det är nu dags att återvända till vår ursprungliga fråga. Hur kan språkteknologin vara möjlig, givet det som sagts ovan? Hur kan datorer, som inte är komplexa och dynamiska och som därmed inte har förmågan att ingå i komplexa sociala interaktioner och system, ändå fås att interagera med människor med hjälp av mänskliga språk? Ett kanske nedslående svar är att det bara kan ske om (de flexibla) människorna anpassar sig till (de oflexibla) maskinerna. Det naturliga språk som datorerna använder är i själva verkat bara datorkod utklätt till mänskligt språk. Även språkteknologin kan således anklagas för att tvinga människor att reducera bort det komplexa till förmån för det enbart komplicerade. Å andra sidan finns det en stor mängd vardagliga mänskliga aktiviteter (till exempel biljettbokning) som mer eller mindre stelnat i sin form och som därmed blivit tillräckligt förutsägbara för att datorer ska kunna delta 159

i dem. I dessa aktiviteter förefaller det möjligt att introducera språkteknologiska hjälpmedel utan negativa effekter. Detta gäller även interaktioner mellan människa och maskin som redan nu sker helt på maskinens villkor, till exempel handhavandet av mobiltelefoner. Om det synsätt som utvecklats här är giltigt, så har det konsekvenser för när vi kan förvänta oss positiva effekter av att introducera språkteknologiska hjälpmedel. Cybernetiska språk? Slutligen: i den mån datorer kan tilldelas den komplexitet, flexibilitet, inlärning och självorganisering som krävs för att kunna delta i komplexa sociala interaktioner så kan man spekulera om möjligheten för människor och maskiner att ingå i nya sociala nätverk där nya språk kan uppstå, utifrån och trots våra skilda förutsättningar. Lejonen kan vi lämna därhän; de skulle knappast vara särskilt intresserade av att tala med oss människor även om de kunde. Men för maskinerna, som vi byggt för att tjäna våra egna syften, är situationen en annan. Resultatet skulle inte bli att datorerna förstår och använder mänskliga språk, utan att det i interaktionen mellan människor och maskiner uppstår nya människa-maskin-språk (vi kanske kan kalla dem cybernetiska språk) som kan förstås och användas av både oss och dem. Det är en öppen fråga om detta är möjligt, kanske likaså om det är önskvärt. 160