Kan en dator vara intelligent? SIMON JANGHEDE och C HRISTOFFER RYDBERG
|
|
- Birgitta Larsson
- för 9 år sedan
- Visningar:
Transkript
1 Kan en dator vara intelligent? SIMON JANGHEDE och C HRISTOFFER RYDBERG Examensarbete Stockholm, Sverige 2011
2 Kan en dator vara intelligent? SIMON JANGHEDE och C HRISTOFFER RYDBERG Examensarbete i datalogi om 15 högskolepoäng vid Programmet för datateknik Kungliga Tekniska Högskolan år 2011 Handledare på CSC var Lars Kjelldahl Examinator var Mads Dam URL: janghede_simon_och_rydberg_christoffer_k11052.pdf Kungliga tekniska högskolan Skolan för datavetenskap och kommunikation KTH CSC Stockholm URL:
3 Abstract Artificial Intelligence (AI) is commonly known today as something you would see in a Science Fiction movie with intelligent robots and machines. The things that are implemented today and people refer to as AI are widely used all around the market in places such as games, robots and web based computer scripts. The question is though if these scripts, programs and smart solutions can be called intelligent? Can a computer ever be intelligent? To be able to answer this question you would have to define what AI actually means. An approach to this has been done by several professors and doctors specialized in AI but certainly everyone has their own opinion. In this paper we aim to present and conclude the arguments from the opposing sides of the battle between the sides of Is artificial intelligence possible?, discuss these arguments and present our own ideas about it. Our aim is to present our ideas without forcing them to the reader. This meaning that we leave room for the reader to judge, keep his/her opinion or to have a sudden change of heart throughout the discussion. 1
4 Innehållsförteckning Abstract Introduktion Bakgrund Problemformulering Syfte... 4 DEL I AI idag Robotik Smarta scripts Självstyrda spelare Människans hjärna en superdator? Datorn slår hjärnan... 9 DEL II Intelligenstester Turingtest Det kinesiska rummet Existensen av artificiell intelligens Argument för att en dator kan vara intelligent Argument mot att en dator kan vara intelligent DEL III Analys och Diskussion Dagsläget Vi ser framåt Slutsats Referenslista
5 1. Introduktion 1.1 Bakgrund Många kanske förknippar Artificiell Intelligens (AI) med Science Fiction och tänker på en avlägsen framtid när robotar har tagit över världen, men faktum är att AI redan idag är ett välanvänt begrepp. De flesta som gillar datorspel har nog hört det användas när man talar om datorstyrda spelare och det är bara ett av många exempel. AI används brett för att beskriva system som är självlärande eller kan analysera situationer och utifrån det ta smarta beslut. Frågan är bara hur rätt det är att kalla dessa system intelligenta. Såhär beskriver nationalencyklopedin beskriver begreppet AI: artificiell intelligens, AI, dels intelligens som man tillskriver t.ex. ett datorsystem, dels ett forskningsområde inriktat mot att konstruera datorsystem som uppvisar intelligent beteende. Syftet är att på konstgjord väg efterlikna hjärnans förmåga att dra slutsatser, planera, lösa problem, förstå naturligt språk, lära etc. Källa: Nationalencyklopedin. Hämtat 25:e mars - Utifrån ovanstående definition känns det naturligt att ifrågasätta till vilken grad intelligent beteende vittnar om faktisk intelligens. Vore det inte mer korrekt att säga att intelligensen ligger hos programmerarna, som talat om för programmet exakt hur det ska bete sig, snarare än hos programmet i sig? Var drar man då gränsen mellan att vara intelligent och att bete sig intelligent? Såhär ser det ut om man slår upp begreppet intelligens i nationalencyklopedin: intelligens, förstånd, begåvning, tankeförmåga, skarpsinne; förmåga till tänkande och analys. Källa: Nationalencyklopedin. Hämtat 25:e mars - Vi fastnar här för det första ordet: förstånd. Hur kan man vara intelligent om man inte förstår vad man gör? Vi vill påstå att intelligens är något som uppstår tillsammans med förståelse och därmed en medvetenhet om den egna existensen. Det är under detta antagande om vad intelligens egentligen är som vi fortsätter i vår uppsats på jakt efter den intelligenta maskinen. 3
6 1.2 Problemformulering Man brukar tala om svag respektive stark AI. Svag AI definieras av Ray Kurzweil som maskinell intelligens som motsvarar eller överstiger den mänskliga intelligensen för specifika uppgifter. Varje gång man skickar ett e-post ringer ett mobiltelefonsamtal är det smarta algoritmer som får rutt på informationen. AI-program kan diagnostisera hjärtsjukdomar, flyga och landa flygplan, eller göra automatiserade investeringsbeslut. Det finns oändligt med användningsområden. 1 Stark AI är artificiell intelligens som motsvarar eller överstiger den mänskliga intelligensen inom alla uppgifter, där man ställer sig frågan om det är möjligt att skapa en maskin som kan lösa alla problem människor löser med hjälp av sin intelligens. Denna fråga är den som AIforskare är mest intresserade av att svara på. Den definierar tillämpningsområdet för vad maskiner kommer att kunna göra i framtiden och styr AI-forskningens riktning. Räcker det med att maskinen beter sig som att den tänker, eller måste den verkligen kunna tänka? Såhär beskriver John Searle, en amerikansk filosof och forskare, begreppet stark AI: [...] the computer is not merely a tool in the study of the mind, rather the appropriately programmed computer really is a mind in the sense that computers given the right programs can be literally said to understand and have other cognitive states. Källa: Internet Encyclopedia of Philosophy. Hämtat 12e April Datorer kan i dagsläget lättsamt utföra kraftfulla beräkningar som för en människa skulle ta mycket lång tid. Tvärtom finns det saker som för en människa är helt triviala men för en dator otroligt komplicerat att utföra. Beror dessa skillnader på att vi ännu inte har lyckats hitta algoritmer för de processer som möjliggör vårt intellekt? Eller är hjärnan helt enkelt för avancerad för att vara algoritmisk? Denna typ av frågor utgör grunden för vår uppsats som har som mål att ge klarhet i frågan: Kan en maskin vara intelligent?. 1.3 Syfte Syftet med uppsatsen är att ge en bild av hur långt man har kommit inom AI-forskning och diskutera hur långt man kan komma. Vi kommer beskriva några av de AI-system och projekt som finns i dagsläget samt jämföra den mänskliga hjärnans prestanda med dagens datorer. Slutligen kommer vi presentera de argument som finns för och emot att en dator kan vara intelligent, diskutera dessa argument och presentera våra egna idéer och slutsatser. Vårt mål är att presentera våra idéer utan att tvinga dem till läsaren. Det råder delade meningar om ämnet och det är ingen som med säkerhet vet hur framtiden kommer se ut. 4
7 DEL I 2 AI idag Idag används termen Artificiell Intelligens inom en rad olika områden. Några exempel är robotik, datorspel och smarta scripts på hemsidor. Denna typ av AI är såkallad svag AI, som till skillnad från stark AI endast simulerar intelligens utan att egentligen skapa det. Dessa AIsystem är algoritmiska och är med andra ord programmerade att följa ett visst mönster för att lösa olika uppgifter. Frågan om stark AI kan uppnås med algoritmiska lösningar diskuteras senare i uppsatsen. algori tm, följd av instruktioner för ett beräkningsarbete som i ett ändligt antal steg löser ett beräkningsproblem och därmed kan utgöra grunden för ett datorprogram. Källa: Nationalencyklopedin - Tidigt gick AI-forskningen ut på att skapa algoritmer som imiterar steg-för-steg hur en människa resonerar när hon försöker lösa ett pussel eller att dra logiska slutsatser. Under slutet av 80- och 90-talet hade forskningen lett till framgångsrika metoder för att lösa problem där faktorer såsom osäkerhet och ofullständig information spelar in. Detta gjordes med hjälp av koncepten kring sannolikhetslära. Nedan beskrivs lite av den AI som finns idag. 2.1 Robotik Som vi nämnt tidigare tolkar ofta människor smarta maskiner, lösningar och finurliga algoritmer som intelligenta. Idag finns smarta robotar som anses ha mycket avancerad AI. De är programmerade att lösa en viss uppgift på egen hand, gärna smidigt och snyggt och ofta genom att imitera mänskligt beteende och på så sätt verka intelligenta i betraktarens ögon. Stora utmaningar inom området robotik och AI är objektmanipulation och navigation. Dessa utmaningar har dessutom underliggande faktorer som att veta var man är, veta vad som är runt en och hitta en väg till sitt mål. Ett system som kan tyckas intelligent är exempelvis IBM s Deep Blue 2 som år 1997 slog den dåvarande världsmästaren Garry Kasparov i Schack. Det var en sex omgångar lång match som slutade i två vinster till Deep Blue, en till Kasparov och tre matcher oavgjort. Under den andra matchen berättade Kasparov att han ibland såg djupt intellekt och kreativitet i maskinens pjäsrörelser och påstod att mänskliga schackspelare hade hjälpt maskinen under spelets gång och därmed fuskat. Det var första gången i historien en dator slog en regerande världsmästare. 5
8 Stanford University s tävlingsbidrag med vilken de vann DARPA i Grand Challenge med år 2005 är också ett exempel på en mycket avancerad och smart konstruerad robot. 3 Tävlingen går ut på att göra det bästa förarlösa fordonet och få det att köra en lång och svår off-road-bana på kortast tid. Att fordonet ska vara förarlöst innebär självklart att det inte får vara fjärr- eller radiostyrt. Fordonet ska alltså köra helt på egen hand. Banan var 212 km lång och fordonet körde Vinnaren av 2007 års DARPA. denna sträcka i off-road på 6 timmar och 53 minuter med en medel-hastighet på 30.7 km/h. 4 Vid nästa lopp två år senare var det helt annan terräng det var storstadstrafik med allt vad det innebar. 5 Det finns många robotar som är extremt imponerande men vi kan tyvärr inte berätta om alla. En till som vi gärna vill nämna är datorn som i Februari 2011 vann amerikanska Jeopardy mot de två Jeopardy-mästarna Ken Jennings och Brad Rutter. Datorn kallas Watson 6 och är konstruerad av IBM. Datorn är på papper bara en frågelösningsmaskin men är enligt utvecklarna mycket mer än så. När de utvecklade Watson så var de tvungna att tackla ett spel some inte bara behövde encyclopediskt minne, utan även förmågan att trassla upp hackiga och otydliga påståenden. Detta tillsammans med lagom mycket tur och snabba och strategiska knapptryckningar ska enligt IBM ha lett till vinsten. Förutom 1 miljondollar i prispengar och bra publicitet för IBM ser de vinsten som ett stort steg mot framtidens AI. [...] that the company has taken a big step toward a world in which intelligent machines will understand and respond to humans, and perhaps inevitably, replace some of them. Källa: NY Times. Redan nu vidareutvecklas Watson s teknologi av IBM och andra företag för att eventuellt kunna ändra på hur läkare handskas med sina patienter och hur konsumenter köper produkter. i DARPA betyder The Defense Advanced Research Projects Agency och är en gren i tates Department of Defense och är ansvarig för att utveckla splitter ny teknik till den amerikanska militären. 6
9 2.2 Smarta scripts Värt att nämna är självklart bottar och annan mjukvara som utvecklats av människan för att sprida spam med reklam via mail, inlägg på forum och via andra metoder. Många hemsidor gör sitt bästa för att hålla dessa datorstyrda bottar borta från sina mailservrar och hemsidor med hjälp av blockader och speciella knapptryckningar man måste göra för att bevisa att man är människa. Det kan handla om allt från att klicka in en enkel ja- eller nejknapp som frågar Är du människa? till de mer populärare metoderna med bilder med text som ligger huller om buller som en människa lätt kan skriva av. Ett dator-program kan ha väldigt svårt att läsa av dessa bokstäver och fastnar därmed på dessa säkerhetskontroller. En väldigt populär säkerhetskontroll idag som används på ett stort antal sidor kallas för CAPTCHA 7 som står för Completely Automated Public Turing Test To Tell Computers and Humans Apart. Vad ett Turingtest är återkommer vi till lite senare. Ett exempel på en sådan check ses i bilden här ovan. Att tolka en bild som denna kan bli väldigt svårt för en dator, men är helt klart görbart för en människa. Idag kan inte en dator läsa koden och få det korrekt nedskrivet, men uvecklingen går framåt och bot-skaparna försöker självklart få sin mjukvara att slå koden men som CAPTCHA själva säger: CAPTCHA tests are based on open problems in artificial intelligence (AI): decoding images of distorted text, for instance, is well beyond the capabilities of modern computers. Therefore, CAPTCHAs also offer well-defined challenges for the AI community, and induce security researchers, as well as otherwise malicious programmers, to work on advancing the field of AI. CAPTCHAs are thus a win-win situation: either a CAPTCHA is not broken and there is a way to differentiate humans from computers, or the CAPTCHA is broken and an AI problem is solved. Källa: CAPTCHAs officiella hemsida. 7
10 2.3 Självstyrda spelare Artificiell intelligens i dator- och konsolspel brukar man ofta kalla en teknik som går ut på att försöka imitera mänskliga spelare för att skapa en motståndare eller en lagkamrat som verkar mänsklig. Faktum är dock att termen AI oftast används för att beskriva en sammankoppling med tekniker från robotik, datorgrafik, matematik och allmän datorvetenskap. AI i spel brukar vara väldigt centrerade på att se bra ut. Man vill få djur och andra varelser att röra sig naturligt och få reaktionstider hos de datorstyrda spelarna att verka mänskliga. Approachen från traditionell AI är alltså lite annorlunda; man går runt problem, småfuskar och i många fall tonar ner de icke-mänskliga spelarnas förmågor för att det ska bli rättvist mot de människor som spelar. Ett exempel på detta är i first-person shooter -spel där det skulle Ett first-person shooter-spel. vara lätt att ge datorstyrda spelare en reaktionstid och träffsäkerhet som skulle vara totalt bortom mänsklig förmåga, men hur roligt skulle det då vara att spela? 8
11 3 Människans hjärna en superdator? Datorer kan göra logiska beräkningar med otroliga hastigheter och lagra minne som är felfritt och konstant utan att förändras genom tid på grund av glömska. Samtidigt är hjärnan otroligt advancerad och tillåter oss ta in mängder av information genom våra ögon och öron och tolka detta, bilda uppfattningar och ta blixtsnabba beslut. Men är datorn eller hjärnan överlägsen när man ser till processorkraft och anpassningsförmåga? Detta är en svår jämförelse att göra delvis för att hjärnan och datorn inte fungerar på samma sätt men också för att man inte vet exakt hur hjärnan fungerar. 3.1 Datorn slår hjärnan Faktum är att hårdvaran nu börjar närma sig den mänskliga hjärnan i termen instruktioner per sekund eller flops ii. Ray Kurzweil berättar om The Law of Accelerating Returns 8 där han bygger på Moores lag 9 om datorutvecklingstrenden. Det förklaras att istället för att datorprestandad fördubblas var 18e år (Moores lag) så går det markant mer exponentiellt. Detta kan demonstreras med en tabell över utvecklingen hos superdatorer under de senaste årtiondena. Hastighet År Tidsdifferans 1 Megaflops Gigaflops år 1 Teraflops år 1 Petaflops år Källa: Se referens 6. Här syns det tydligt att utvecklingen går mer exponentiellt än vad Moore förklarade. Kurzweil ger förklaringen att så fort tekniken närmar sig något sort hinder eller en barriär, så kommer ny teknik uppfinnas så att vi kan passera hindret och att detta i sin tur ger en sorts accelererande effekt. Teknik på teknik som nyttjar och är kopplade till varandra och växer likt ett oändligt stort legohus. Kurzweil uppskattar den mänskliga hjärnan till en kapacitet på 20 petaflops ( ) 10 och än idag har ingen dator kommit upp i den hastigheten. Den idag högst uppmätta hastigheten är från en kinesisk superdator i slutet av 2010 och uppmätte 2.5 petaflops. 11 Vi ser alltså tydligt att datorn kommer gå om hjärnan om man ser till beräknings- och instruktionsbehandlingshastighet inom en snar framtid. En något äldre illustration av detta följer i bilden här under ur Kurzweils bok. ii Flop betyder Floating Point Operation. Ofta används istället Flops vilket betyder Floating Operations Per Second. Flops är ett sätt att mäta en dators prestanda. - Hämtat 29e Mars
12 Boken skrevs och illustrationen gjordes 2001 och visar utvecklingen fram tills dess och framtidsprognosen utifrån det. Till vänster i y-axeln har vi som bekant antal flops och längst x-axeln årtal. Till höger i figuren presenteras hjärnkapaciteten hos olika arter vilka motsvarar de röda linjerna. Från botten till toppen: En insekt, en mus, en mänsklig hjärna, alla mänskliga hjärnor kombinerat. Notera att grafen växer ganska långsamt, men ändå exponentiellt. Enligt Kurzweil har alltså skrivbordsdatorn kommit att ha samma beräknings- och processhastighet som den mänskliga hjärnan runt år Han förklarar också att runt år 2045 så kommer den artificiella intelligensen att nå en punkt där den kan förbättra sig själv så pass så att den frångår allting den mänskliga hjärnan någonsin skulle kunna skapa. Det som tidigare förklarades som ett oändligt legohus skulle växa så fort att vi människor hamnar långt på efterkälke. Detta är ett scenario som science fiction författaren Vernor Vinge kallar för Teknologisk singularitet eller engelskans singularity. 10
13 DEL II 4 Intelligenstester 4.1 Turingtest Turingtestet introducerades år 1950 av Alan M. Turing som ett imitationsspel. Syftet med testet är att avgöra om ett datorprogram är intelligent. En förklaring av originalspelet eller leken kan ges genom att citera Turing: The new form of the problem can be described in terms of a game which we call the "imitation game." It is played with three people, a man (A), a woman (B), and an interrogator (C) who may be of either sex. The interrogator stays in a room apart from the other two. The object of the game for the interrogator is to determine which of the other two is the man and which is the woman. He knows them by labels X and Y, and at the end of the game he says either "X is A and Y is B" or "X is B and Y is A." The interrogator is allowed to put questions to A and B. Källa: När vi idag talar om Turingtest så är det tänkt att vår man och kvinna istället är en människa och en dator. Dessa är ansluta till någon sorts chat-program tillsammans med frågeställaren C. C s uppdrag är att komma på vem av de två som är datorn. Datorns uppdrag är att lyckas lura frågeställaren. Lyckas den så anses den vara intelligent. 12 Testet har blivit kritiserat i en mängd olika diskussioner relaterade till AI, filosofi och kognitionsvetenskap iii under de senaste 60 åren. Kritiken har dessutom trappats upp ytterligare allt eftersom AIn har gjort stora framsteg inom robotiken. Kritiken har till stor det handlat om att testet inte behandlar inlärning och att det således inte behandlar intelligens. Testet behandlar konsten att imitera en människa i samtal, med allt som det kan innebära bland annat ironi och lögn för egen vinning. Många menar på att det bara är en bråkdel av vad det innebär att vara intelligent. 13 Vad kritiken än gäller så har Turingtestet varit ett ovärdeligt verktyg för forskningen om artificiell intelligens fram tills idag. I dagens internetsamhälle så har det bland annat utvecklats verktyg baserat på Turingtestet för att filtrera bort spam-bottar och liknande. Detta nämndes tidigare i detta dokument bland annat när vi pratade om CAPTCHA på sida 6. CAPTCHA som står för Completely Automated Public Turing Test To Tell Computers and Humans Apart. Vilket är precis det testet är ämnat att göra. iii Kognitionsvetenskap är ett forskningsområde när man studerar det mänskliga tänkandets natur. 11
14 4.2 Det kinesiska rummet Det kinesiska rummet är ett tankeexpriment som John Searle introducerade år 1980 i sin artikel Minds, Brains and Programs. 14 Searle utmanar Turingtestet och vill demonstrera att bara för att en maskin kan simulera en intelligent konversation betyder inte det att den nödvändigtvis förstår konversationen. Experimentet är ett av de största och mest använda motargument till att datorer en dag kommer kunna tänka. Experimentet går ut på att en person, A, ska simulera en infödd kinesisk talare. A blir instängd i ett rum med en tjock instruktionsbok skriven på engelska. I rummet finns dessutom en stor låda fylld med kinesiska tecken. Genom en lucka i väggen skjuter människor in frågor på kinesiska och väntar sig ett svar från A. Den tjocka instruktionsboken talar om för A, utifrån den inskickade lappen, hur man kombinerar kinesiska tecken till ett svar. I boken står ingenting om tecknens betydelse. A har därför ingen aning vad varken frågorna eller svaren betyder. Människorna utanför rummet kan omöjligt veta att A inte talar kinesiska. De skickar in frågor på kinesiska och får ut vettiga svar på kinesiska. Av det drar de slutsatsen att A förstår kinesiska. Searle menar med detta tankeexperiment att på samma sätt som A inte förstår ett ord kinesiska förstår datorn absolut ingenting men svarar ändå på användarens input. Härifrån argumenterar han vidare varför en dator inte kan vara intelligent. 15 Vi återkommer till detta i 5.2 när vi lägger fram argument mot stark AI. 12
15 5 Existensen av artificiell intelligens 5.1 Argument för att en dator kan vara intelligent Det är huvudsakligen en vetenskaplig fråga att förstå människans hjärna. En stor del av denna förståelse kommer från neurovetenskap som omfattar praktiskt taget alla aspekter av hjärnan och nervsystemet, såsom perception, inlärning och minne. Stora framsteg har gjorts de senaste åren, genom positronemissionstomografi och magnetisk resonanstomografi (MRT), för att att upptäcka hur hjärnan arbetar med exempelvis språk och problemlösning. 16 Avancerade datorsystem möjliggör för neuroforskare att utforma modeller av nervceller och deras kopplingar i hjärnan. Detta arbete kan enligt Society for Neuroscience leda till datorprogram som kan förstå tal och svara på talade frågor. Ray Kurzweil skriver i sin artikel Long Live AI att det är rimligt att dra slutsatsen att vi efter två decennier kommer ha effektiva modeller för den större delen av hjärnan. För att förstå principerna för mänsklig intelligens måste vi, enligt Kurzweil, bakåtkompilera den mänskliga hjärnan. Han skriver att det har gjorts större framsteg än de flesta inser inom det området. Den spatiala och temporala resolutionen av hjärnskanning går framåt i exponentiell takt och har i stort sett fördubblats varje år. Skanningsverktyg kan nu se enskilda nervceller signalera till varandra i realtid. Vi har redan matematiska modeller och simuleringar av några dussin regioner i hjärnan, inklusive lillhjärnan, som omfattar mer än hälften av nervcellerna. 1 Vid Institute of Electronics, Microelectronics and Nanotechnology i Frankrike har en forskargrupp ledd av Dominique Vuillaume tagit fram en ny transistor som kan komma att möjliggöra det för datorer att tänka på samma sätt som människor. Transistorn kan nämligen replikera det komplicerade sätt som nervceller, eller neuroner, i hjärnan kommunicerar med varandra via synapser. Dessa transistorer anses kunna leda till skapandet av datorer som i viss mån kan härma vårt sätt att tänka. 17 Det har dessutom gjorts stora framsteg i kognitionsvetenskap den senaste tiden där man bygger beräkningsmodeller av mänskliga aktiviteter. Genom att konstruera modeller som kan köras på en dator kan man pröva olika typer av teorier och idéer och lära sig mer om hur människan fungerar och hur våra erfarenheter påverkar oss. 18 Om vi kan lära oss mer om den mänskliga inlärningen är det ett steg närmre att bygga en maskin med samma inlärningsmekanismer. En sådan maskin skulle förvärva kunskap och erfarenhet mycket på samma sätt som ett spädbarn. Kognitionsvetenskapsmodellerna tillsammans med neurovetenskap kan hjälpa oss relatera det mänskliga beteendet tillbaka till våra erfarenheter och lämpliga kretsar i våra hjärnor. När vi bättre förstår våra hjärnors natur bör det inte vara omöjligt att skapa artificiella hjärnor baserade på vår förståelse. 13
16 På 1960-talet kunde den mest komplexa dator ockupera ett stort rum. Med tiden har storleken på datorer har minskat rejält och antalet kopplingselement, transistorer, har ökat. Enligt nationalencyklopedin 19 kan idag en enda integrerad krets, med stor minneskapacitet, innehålla hundramiljontals transistorer. Detta kan jämföras med hjärnans kopplingselement, så kallade neuroner. Enligt Illustrerad Vetenskap finns det närmare 100 miljarder neuroner i en människas hjärna. 20 Den mänskliga hjärnan är mindre och snabbare än dagens datorer, om man nu kan göra en sådan jämförelse. Frågan är bara hur länge detta kommer vara en sanning. Tekniken har gjort enorma framsteg och kommer med all sannolikhet fortsätta att göra det. Enligt Illustrerad Vetenskap tror många forskare att datorerna kommer gå om hjärnan redan om några decennier. Det verkar rimligt att tro att vi genom vetenskapliga framsteg kommer göra det möjligt att förstå sinnet och genom tekniska framsteg en dag kunna bygga ett. Det finns redan idag ett stort projekt för att försöka simulera en mänsklig hjärna, som kallas The Blue Brain Project. 21 Projektet utgör ett viktigt första steg mot att uppnå en fullständig virtuell mänsklig hjärna och har redan demonstrerat en modell av en råttas cortical column iv som består av ungefär nervceller. De har arbetat mycket med att förklara nervcellernas beteenden och deras sätt att ansluta till varandra och forma kretsar. Dessa iaktagelser har översatts till matematiska algoritmer för att representera nervcellernas beteende på ett realistiskt sätt. Enligt Church Turing-tesen kan varje tänkbar beräkningsprocess utföras av en Turingmaskin. Detta argument kan även appliceras för människor och datorer. Givet ett problem som kan lösas av en människa, kan denna lösning ses som en algoritm som kan köras på en vanlig digital dator. Det är möjligt att det kommer ta mycket längre tid för datorn att lösa problemet, men om datorn har tillgång till all data som människan hade bör det vara teoretiskt möjligt. AI-forskningsområdet grundades vid en konferens på campus Dartmouth College under sommaren Det är nu 55 år sedan. Idag kan datorer visa förståelse för mänskligt språk, lösa problem och till och med lära sig nya saker. Det kanske tar ytterligare 55 år innan vi har implementerat en intelligent maskin, det kanske tar 100 år, eller 1000 år. Poängen är att vi har all tid i världen och utveckligen går ständigt framåt. iv Det finns ingen bra översättning, men en förklaring följer. Cortical Column är den del av Hjärnbarken som tros vara den del av hjärnan som är ansvarig för de högre funktionerna så som medvetande och medvetet tänkande. - Hämtat 12e April
17 5.2 Argument mot att en dator kan vara intelligent Som vi beskrev i inledningen av uppsatsen är den första frågan man bör ställa sig när intelligens uppstår. Vi vill påstå att en dator, för att den ska kunna klassas som intelligent, måste vara medveten om sin egen existens. Om datorn inte vet varför den utför uppgifter, oavsett hur smarta lösningar den kan hitta, är den inget annat än en beräknande maskin. Jag tänker, alltså är jag, om datorn kan inse så mycket har man inte bara skapat intelligens, utan möjligtvis även liv. Nästa fråga man bör ställa sig är om detta är rimligt att åstadkomma. Matematikern och fysikern Roger Penrose anser att hjärnan måste ha en biologisk struktur för att kunna stödja ett medvetande. Enligt hans teorier uppstår medvetandet från våglika kvantummekaniska effekter som involverar proteintrådar i nervceller. I sin bok Shadows of the Mind (1997) argumenterar Penrose att den mänskliga tankeförmågan är för avancerad för att vara algoritmisk och att medvetandet måste bygga på kvantfysikaliska fenomen. Hans argument är till stor del grundade på Gödels ofullständighetsteorem. I boken Att resonera logiskt beskriver Hans Rosing Gödels ofullständighetsteorem på följande sätt: 22 [...] Det säger att i varje formellt system, som är tillräckligt komplicerat för att innehålla de naturliga talen, kan man skriva en sann formel som inte kan bevisas inom systemet. Källa: Se referens 19. Penrose använder detta till att formulera ett bevis för att människans hjärna inte är en dator, genom att visa att hjärnan kan veta saker som inte ens den mest kapabla algoritm kan räkna ut. Beviset, även känt som Goodelian Proof, har dock kritiserats av många matematiker, dataloger och filosofer som påpekat brister som gör att beviset inte håller. 23 Men även om Penrose inte har lyckats med sitt bevis är det inte heller någon som lyckats bevisa motsatsen, dvs. att en hjärnan är en dator. John Searle, professor i filosofi vid University of California, hävdar också att datorer aldrig kommer bli intelligenta, även om hans åsikter skiljer sig en aning från Penroses. Searle accepterar att beteendet associerat med ett medvetande kan imiteras, men hävdar att ett sådant beteende inte innebär ett faktiskt medvetande. Penrose hävdar att vi inte ens kan få rätt beteende från en dator eftersom dess beroende av beräkning kommer att ge det begränsningar som inte delas av våra hjärnor. Genom sitt tankeexperiment, det kinesiska rummet, som beskrevs tidigare i uppsatsen vill Searl visa att datorer inte kan vara intelligenta. Han menar på att personen i experimentet förstår Kinesiska på samma sätt en dator kan förstå språk, eller överhuvudtaget någonting den gör, med andra ord inte alls. Hans poäng är att datorer är beräknande maskiner som säkert kan efterlikna intelligens men aldrig förstå varför de gör vad de gör. 24 Funktionalister ställer sig kritiska till Searls tankeexperiment och menar på att ett samvete kan definieras som en mängd processer inuti hjärnan. Utifrån det dras slutsatsen att allt som utför samma informationsprocesser som en människa också har ett medvetande. Med andra ord, om 15
18 vi programmerar en dator med dessa processer skulle den vara lika medvetet som en människa när den utför diverse uppgifter. Searlie argumenterar dock, liksom Penrose, att detta är en omöjlighet eftersom medvetandet är en fysisk egenskap, såsom matsmältning eller eld. Oavsett hur bra du simulerar matsmältning så kommer ingen mat smältas och oavsett hur bra du simulerar eld kommer ingenting brännas. Observatörer plockar ut vissa mönster i världen och ser dem som informationsprocesser, men processerna i sig är inte existerande saker i världen. Eftersom de inte existerar på en fysisk nivå, hävdar Searle, kan de inte ha någon kausal effekt och därmed inte skapa ett medvetande
19 DEL III 6 Analys och Diskussion 6.1 Dagsläget AI-forskare har lyckats skapa datorer som kan utföra uppgifter som är otroligt komplicerade för människor, samtidigt har de kämpat med att klara uppgifter som för en människa är helt triviala. Med dagens datorer, även om man skulle utöka prestandan enormt, anser vi att det är omöjligt att implementera en tänkande medveten maskin oavsätt hur många algoritmer man försöker proppa in. Av det vi har läst om hjärnan, tillsammans med vårt eget kunnande om datorer som programmerare och blivande civilingenjörer, drar vi slutsatsen att datorer i dagens läge inte kan jämställas med hjärnan. Datorer är strikt bestämda i sitt beteende och kan därför inte göra fria val. Det är sant att en del datorprogram kan lära sig saker av sina misstag, men det görs genom att följa algoritmer där tidigare misstag eller händelser sparas i minnet och kan återanvändas på ett eller annat sätt. Det är sant att datorer kan vinna över schackspelare på världsnivå, men det beror på datorernas enorma beräkningskapacitet som den mänskliga hjärnan inte kan jämföras med. Det har ingenting med intelligens att göra. Lika lite som att en miniräknare är intelligent för att den kan beräkna avancerade multiplikationer på millisekunder som för en människa skulle ta mycket lång tid. Att Turingtest fortfarande används idag kan man vara kritisk mot. Många professorer och forskare har länge varit kritiska framför allt då för att de själva anser att en enkel konversation inte avgör om en dator är intelligent eller inte. Det testet gör är att utgå ifrån faktumet att vår intelligens är baserad på hur vi beter oss och utifrån det kunna avgöra vad som är intelligent. Som vi alla dock vet är detta inte sant för man kan alltid säga eller göra en sak men mena en annan. Med detta inkluderas bland annat misstag, lögn och ironi. Om man nu frågar en dator vad den tycker om vädret så kommer man inte få en åsikt, detta eftersom en dator inte har en åsikt. Den har svar, minne och hastighet. Artighet och ironi kan alltid programmeras in smart men en dator kan idag inte ge sin ärliga åsikt för den tycker helt enkelt ingenting. Den har inget medvetande. Professorerna anser därför att Turingtestet är vänligt i ett internetsamhälle men skrapar knappt på ytan av vad intelligens egentligen är. 26 Det kinesiska rummet är däremot en vidare mer accepterad term. Detta av anledningen att argumentet går mycket djupare ner i de bakomliggande faktorerna. Argumentet förklarar bland annat för oss att det finns mer till medvetandet än vårt beteende. 6.2 Vi ser framåt Vem säger att inte datorerna kommer se annorlunda ut i framtiden? I argumenten för stark AI nämns försök i Frankrike att replikera sättet neuroner i hjärnan kommunicerar med varandra. Blue Brain Project forskar för att simulera en mänsklig hjärna, samtidigt finns det säkert fler forskningsprojekt inom området världen över. Kanske kommer man kunna få datorerna att mer och mer efterlikna hjärnans sätt att hantera information. 17
20 Om Roger Penrose och John Searle har rätt i sina teorier om att människans medvetande måste bygga på kvantfysikaliska fenomen är det möjligt att detta aldrig kommer gå att simulera med digitala komponenter. I framtiden kanske man kan skapa intelligens genom att använda både biologiska och digitala komponenter. Det låter i dagsläget mycket som science fiction, men människan är uppfinningsrik och tenderar att hela tiden göra det omöjliga möjligt. Ett exempel på detta sätter Alan Winfield, professor på University of the West of England, som för närvarande forskar med hybridrobotar. I hans forskningsprojekt provar han att sätta hjärnceller från råttor i robotar, så att bara hjärnan på roboten är biologisk medan resten är mekaniskt. Genom att göra detta kan man jämföra de markanta skillnaderna mellan dessa hybridrobotar och robotar med mjukvaruhjärnor. Winfield kommer bland annat fram till att den biologiska hjärnan ändrar sin fysiska uppbyggnad under inlärning och blir således mycket bra på det den lär sig, men det tar istället tid. 27 Det ultimata målet med artificiell intelligensen vore att skapa ett medvetande. Men hur avgör vi om vi har lyckats? Det är en grundläggande fråga för AI som leder in på såkallad solopism: en idé inom filosofi att förekomsten av medvetande i en annan varelse inte kan bevisas. Men om medvetandet inte kan bevisas, kan ingenjörer och forskare någonsin visa att AI har skapats? Självklart underlättar det om roboten kan prata och kommunicera och därigenom skulle man kunna dra slutsatser. Det är samma problem som att avgöra om djur som katter eller apor har ett medvetande. Vet djuren om att de existerar, kan de tänka fritt? Eller går de genom livet och lever på hundra procent instinkter och inlärning? Att ha en hjärna går hand i hand med att ha en kropp, men är det ett krav? Forskare inom robotik är högst beroende av AI-forskning eftersom de behöver AI för att få deras robotar att fungera. Men är det omvända sant även för AIforskarna? En del tror att man inte kan befria hjärnan från kroppen, att det måste ses som en helhet med hela kroppen eftersom hjärnan inte arbetar isolerat. Hjärnan fungerar tillsammans med immunsystemet och det endokrina systemet och det autonoma nervsystemet - liksom sig självt och det centrala nervsystemet. Samtidigt är många AI-forskare inte alls intresserade av robotar eftersom de tror att de kan implementera ett intellekt direkt i en dator. 28 Om intelligens inte behöver en kropp kanske vi i framtiden kommer ha nätverk som kan tänka, tycka och övervaka sig själva. Eller kylskåp som tänker och tycker att du äter för lite nyttig mat? För att undvika att sväva ut för mycket så sätter vi punkt för diskussionen kring intelligens och kroppar här. 18
21 Det finns många som tror att det bara är en tidsfråga tills vi får AI som kan jämföras med det mänskliga intellektet och ofta hänvisar man till Moore s lag. Men denna lag om teknikutvecklingens takt sätter inte en lag på att allt är tekniskt möjligt. Bara för att vi får datorer som teoretiskt sett är tillräckligt snabba för att simulera en hjärna betyder inte det att det faktiskt är möjligt att utföra. Till exempel kan man inte bygga en bro enbart för att man har tillräckligt stora mängder stål. Bara för att vi kan fantisera om ett resultat så betyder inte det att det någonsin kommer att vara möjligt. Fler exempel på detta skulle vara fordon som svävar och därmed trotsar gravitationen eller möjligheten att kunna uppnå total osynlighet genom perfekt omdirigering av ljusstrålar. Det är alltid svårt att förutse framtiden. Om man kunde åka tillbaka några hundra år i tiden och ställa frågan om människan någonsin kommer kunna landa på månen skulle de flesta förmodligen svara att det är omöjligt. Kanske är det samma sak med AI. När vi försöker förutse framtiden utgår vi ofta från den teknologin vi har idag, men morgondagen kommer ständigt med nya upptäckter. People who are much wiser than myself have made predictions about the future that have turned out to be ridiculously false. I think it's not because they were stupid, it's because such predictions are impossible to make. Källa: Daphne Koller, professor inom AI i Stanford University in California. [24] 19
22 7 Slutsats Du kan lära en dator otroligt mycket genom att stoppa in algoritm efter algoritm. Teoretiskt sett skulle en dator med oslagbar prestanda efter oändligt många algoritmer kunna allt förutom att tänka. Ett samvete är inte något som magiskt uppstår bara för att man lär en maskin tillräckligt mycket. Likadant är intelligens inte ett mått på hur många uppgifter man kan utföra. Intelligens är ens förmågan att tänka att existera. Vi tror inte att det kan beskrivas med algoritmer. Med det säger vi inte att medvetandet är något magiskt som står utanför vetenskapens gränser. Någonting sker i hjärnan som gör oss medvetna, oavsett om det beror på kvantfysikaliska fenomen eller något annat. Det högsta man kan hoppas åstadkomma med algoritmiska processer är att efterlikna intelligens, aldrig att skapa det. En dator kan hitta bästa vägen från norra Stockholm till södra Stockholm på kortast tid, en annan kan köra bil igenom en storstad på egen hand och en tredje kan snabbt hitta ketchupen längst in i matvaruhuset. Det är imponerande men det är inte intelligens, det behövs någonting mer. Detta är slutsatsen vi drar, som mycket väl kan vara fel. I framtiden kanske datorer kommer se helt annorlunda ut och kunskapen om hjärnan vara häpnandsväckande mycket större. En dag kanske vi kommer förstå exakt vad samvetet är och hur det skapas, även digitalt. Men om den dagen kommer är det förmodligen långt efter vår levnadstid. 20
23 Referenslista Hämtat 14:e juni Artikel om AI av Ray Kurzweil Hämtat 31a Mars Schacklösningssystemet Hämtat 31a Mars DARPA Grand Challenge Hämtat 31a Mars Information om tävlingen gällande resultat Hämtat 13e April DARPA 2007, storstadstrafik. 6 Hämtat 31a Mars Artikel om Jeopardy-datorn Watson Hämtat 2a April CAPTCHAs officiella hemsida Hämtat 29e Mars Ray Kurzweils bok The Law of Accelerating Returns. Illustrationer och information. 9 ftp://download.intel.com/museum/moores_law/articles-press_releases/gordon_moore_1965_article.pdf - Hämtat 29e Mars Moores lag Hämtat 29e Mars Idéer, illustrationer och länkar Hämtat 29e Mars Kinesisk superdator satte nytt rekord Hämtat 12e April Kort info om Turing Test Hämtat 12e April Argument mot Turingtest Hämtat 12e April Information om Kinesiska Rummet Hämtat 12e April Kinesiska experimentet i detalj Hämtat 10e April Information om människans nervsystem och vetenskapen kring detta Hämtat 9e April Transistorer härmar den mänskliga hjärnans neuroner Hämtat 10e April Kort information om Kognition Hämtat 9e April Nationalencyklopedin om integrerade kretsar Hämtat 11e April Antalet neuroner i den mänskliga hjärnan samt informationen till de nästkommande styckena Hämtat 10e April The Blue Brain Project s officiella hemsida Hämtat 12e April Hans Rosing, Att resonera logiskt, kap Hämtat 12e April Penrose s bevis Hämtat 12e April Kinesiska rummet Hämtat 12e April Kinesiska rummet Hämtat 14e April Stöd till diskussion Hämtat 13e April Stöd för diskussion Hämtat 13e April Stöd för diskussion. 21
24
Artificiell intelligens, eller Kommer din dator att bli klokare än dig? (eller kanske är den redan det?)
Artificiell intelligens, eller Kommer din dator att bli klokare än dig? (eller kanske är den redan det?) 1.a November 2011 Innan vi börjar R.I.P. John McCarthy (1924 2011) Grundare av ämnet artificiell
Artificiell intelligens, eller Kommer din dator att bli klokare än dig? (eller kanske är den redan det?)
Artificiell intelligens, eller Kommer din dator att bli klokare än dig? (eller kanske är den redan det?) 4e november 2014 Intelligens Vad är det? ett mänskligt egenskap Kan det jämföras? Kan det mätas?
Artificiell intelligens, eller Kommer din dator att bli klokare än dig? (eller kanske är den redan det?)
Artificiell intelligens, eller Kommer din dator att bli klokare än dig? (eller kanske är den redan det?) Building Watson:! http://www.youtube.com/watch?v=3g2h3dz8rnc!! 29e oktober 2013 Intelligens Vad
Självkörande bilar. Alvin Karlsson TE14A 9/3-2015
Självkörande bilar Alvin Karlsson TE14A 9/3-2015 Abstract This report is about driverless cars and if they would make the traffic safer in the future. Google is currently working on their driverless car
COMPUTABILITY BERÄKNINGSBARHET. Källa: Goldschlager, Lister: Computer Science A Modern Introduction 2. upplaga 1988, Prentice Hall
COMPUTABILITY BERÄKNINGSBARHET Källa: Goldschlager, Lister: Computer Science A Modern Introduction 2. upplaga 1988, Prentice Hall Den centrala frågan: givet ett problem, kan det ha en algoritmisk lösning?
Datormetaforen. Från människa till dator Från dator till människa o.s.v.
Datormetaforen Från människa till dator Från dator till människa o.s.v. Det mekaniska tänkandet Räknemaskin tillverkad av Pascal 1642 Hjärnan ett avancerat urverk 1800-talet Henry Colebrooke, (president
Writing with context. Att skriva med sammanhang
Writing with context Att skriva med sammanhang What makes a piece of writing easy and interesting to read? Discuss in pairs and write down one word (in English or Swedish) to express your opinion http://korta.nu/sust(answer
Cacheminne Intel Core i7
EDT621 Datorarkitekturer med operativsystem 7,5 hp 2015-12-07 Cacheminne i Intel Core i7 Författare: Adnan Karahmetovic Handledare: Erik Larsson Innehåll 1. Inledning... 1 1.1 Syfte... 1 1.2 Frågeställning...
Bakgrund. Bakgrund. Bakgrund. Håkan Jonsson Institutionen för systemteknik Luleå tekniska universitet Luleå, Sverige
Är varje påstående som kan formuleras matematiskt*) alltid antingen sant eller falskt? *) Inom Institutionen för systemteknik Luleå tekniska universitet Luleå, Sverige Exempel: 12 = 13 nej, falskt n! >
ARTIFICIELL INTELLIGENS
ARTIFICIELL INTELLIGENS www..se Så fungerar det Artificiell Intelligens (AI) är intelligens som uppvisas av maskiner. Uttrycket användes för första gången 1955 i ett forskningsförslag med syftet att hitta
Linköpings universitet
2016-08-24 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
Beräkning med ord. -hur en dator hanterar perception. Linköpings universitet Artificiell intelligens 2 2010-10-03 Erik Claesson 880816-1692
Beräkning med ord -hur en dator hanterar perception 2010-10-03 Erik Claesson 880816-1692 Innehåll Inledning... 3 Syfte... 3 Kan datorer hantera perception?... 4 Naturligt språk... 4 Fuzzy Granulation...
Utbildningsplaner för kandidat-, magister och masterprogram. 1. Identifikation. Avancerad nivå
1. Identifikation Programmets namn Omfattning Nivå Programkod Ev. koder på inriktningar Beslutsuppgifter Ändringsuppgifter Masterprogram i kognitionsvetenskap 120 hp Avancerad nivå HAKOG Fastställd av
Ökat personligt engagemang En studie om coachande förhållningssätt
Lärarutbildningen Fakulteten för lärande och samhälle Individ och samhälle Uppsats 7,5 högskolepoäng Ökat personligt engagemang En studie om coachande förhållningssätt Increased personal involvement A
Obemannade flygplan. Namn: Hampus Hägg. Datum: 2015-03-02. Klass: TE14B. Gruppmedlemmar: Gustav, Emilia, Henric och Didrik
Namn: Hampus Hägg Obemannade flygplan Datum: 2015-03-02 Klass: TE14B Gruppmedlemmar: Gustav, Emilia, Henric och Didrik Handledare: David, Björn och Jimmy Abstract In this task I ve been focusing on unmanned
Hur leder vi transformationer?
Hur leder vi transformationer? Offentlig chef 14 mars 2019 #offentligchef @gaialeadership Vad är transformation? Hur leder vi en transformation? 7 steg för en lyckad transformation I think there are good
Introduktion till logik
Introduktion till logik Av Johan Johansson Johan.johansson@guldstadsgymnasiet.se Logik sägs som många andra saker komma från de grekiska filosoferna, och ordet kommer också därifrån. Grekerna kallade det
Lutande torn och kluriga konster!
Lutande torn och kluriga konster! Aktiviteter för barn under Vetenskapsfestivalens skolprogram 2001 Innehåll 1 Bygga lutande torn som inte faller 2 2 Om konsten att vinna betingat godis i spel 5 3 Den
CHANGE WITH THE BRAIN IN MIND. Frukostseminarium 11 oktober 2018
CHANGE WITH THE BRAIN IN MIND Frukostseminarium 11 oktober 2018 EGNA FÖRÄNDRINGAR ü Fundera på ett par förändringar du drivit eller varit del av ü De som gått bra och det som gått dåligt. Vi pratar om
Vätebränsle. Namn: Rasmus Rynell. Klass: TE14A. Datum: 2015-03-09
Vätebränsle Namn: Rasmus Rynell Klass: TE14A Datum: 2015-03-09 Abstract This report is about Hydrogen as the future fuel. I chose this topic because I think that it s really interesting to look in to the
Världen. Sida 1 av 8. Detta är en del av SvD:s digitala urval för dig som är. prenumerant.
Världen Av Jani Pirttisalo 21 mar, 2016 4 delningar Kan utrota mänskligheten eller rädda den Om datorutvecklingen fortsätter som den gjort de senaste årtiondena så kommer vi inom en ganska snar framtid
Kvalitetsarbete I Landstinget i Kalmar län. 24 oktober 2007 Eva Arvidsson
Kvalitetsarbete I Landstinget i Kalmar län 24 oktober 2007 Eva Arvidsson Bakgrund Sammanhållen primärvård 2005 Nytt ekonomiskt system Olika tradition och förutsättningar Olika pågående projekt Get the
Information technology Open Document Format for Office Applications (OpenDocument) v1.0 (ISO/IEC 26300:2006, IDT) SWEDISH STANDARDS INSTITUTE
SVENSK STANDARD SS-ISO/IEC 26300:2008 Fastställd/Approved: 2008-06-17 Publicerad/Published: 2008-08-04 Utgåva/Edition: 1 Språk/Language: engelska/english ICS: 35.240.30 Information technology Open Document
Edward de Bono: Sex tänkande hattar
Edward de Bono: Sex tänkande hattar Tänkandet är vår viktigaste mänskliga resurs. Men vårt största problem är att vi blandar ihop olika saker när vi tänker. Vi försöker för mycket på en gång; vi blandar
Mis/trusting Open Access JUTTA
Mis/trusting Open Access JUTTA HAIDER, @JUTTAHAIDER Open Access och jag - en kärleksrelation JUTTA HAIDER, @JUTTAHAIDER Open Access har blivit vuxen, vuxen nog att tåla konstruktiv kritik. Vetenskap såsom
TDDD92 Artificiell intelligens -- projekt
jonas.kvarnstrom@liu.se 2018 TDDD92 Artificiell intelligens -- projekt Kursinformation Outline Om oss Om kursen i allmänhet Om den individuella uppgiften Om det gemensamma projektet Diskussion och frågor
Programmering eller Datalogiskt tänkande
Programmering eller Datalogiskt tänkande I förskolan handlar programmering om att få en begynnande förståelse vad det kan innebära. Barnen ges ett kreativt utrymme och har möjlighet att forma sin egen
Make a speech. How to make the perfect speech. söndag 6 oktober 13
Make a speech How to make the perfect speech FOPPA FOPPA Finding FOPPA Finding Organizing FOPPA Finding Organizing Phrasing FOPPA Finding Organizing Phrasing Preparing FOPPA Finding Organizing Phrasing
Programmering i skolan varför då? Lisa Söderlund Pedagogik och kommunikation
Programmering i skolan varför då? Lisa Söderlund Pedagogik och kommunikation lisa@kodcentrum.se KODCENTRUM En ideell förening som helt gratis introducerar barn och unga till programmering och digitalt
DATALOGISK TÄNKANDE OCH PROGRAMMERING CETIS OKTOBER 2017
DATALOGISK TÄNKANDE OCH PROGRAMMERING CETIS OKTOBER 2017 VAD ÄR DET FÖRSTA NI TÄNKER PÅ? Datalogiskt tänkande Programmering FRÅGOR I FOKUS IDAG Varför är digitala kompetenser och programmering viktigt
Gränser och gränssnitt mellan människa och maskin
Gränser och gränssnitt mellan människa och maskin Staffan Larsson, fil.dr i allmän språkvetenskap Hur ska vi människor relatera till våra maskiner? Är människan en sorts maskin? Kan maskiner vara mänskliga?
Kommunikation för dataloger
Kommunikation för dataloger - Muntligt moment 1,5hp Stockholms universitet Hösten 2017 Linda Söderlindh, KTH, ECE/Språk Universitetsadjunkt Teknikvetenskaplig kommunikation Momentets upplägg Föreläsning
- A Scrum Planning Tool Case Study to Evaluate the The Rich AJAX Platform
Datavetenskap Opponent(er): Jhonny Carvajal Johan Bjärneryd Respondent(er): Fredrik Häggbom Erik Olsson Haglund Scrumptious - A Scrum Planning Tool Case Study to Evaluate the The Rich AJAX Platform Oppositionsrapport,
Att stödja starka elever genom kreativ matte.
Att stödja starka elever genom kreativ matte. Ett samverkansprojekt mellan Örebro universitet och Örebro kommun på gymnasienivå Fil. dr Maike Schindler, universitetslektor i matematikdidaktik maike.schindler@oru.se
Framtidens fordon. Douglas Halse TE14A 2015-03-09
Framtidens fordon Douglas Halse TE14A 2015-03-09 Abstract This essay is about the potential of future transportation methods. Firstly I picked three different transportation methods that has future potential
1. En oreglerad marknad involverar frihet. 2. Frihet är ett fundamentalt värde. 3. Därav att en fri marknad är moraliskt nödvändigt 1
Linköpings Universitet Gabriella Degerfält Hygrell Politisk Teori 2 930427-7982 733G36 Frihet är ett stort och komplext begrepp. Vad är frihet? Hur förenligt är libertarianismens frihetsdefinition med
Föreläsning 5. Deduktion
Föreläsning 5 Deduktion Hur ett deduktivt system fungerar Komponenter - Vokabulär Ett deduktivt system använder ett visst slags språk som kan kallas för systemets vokabulär. I mindre formella fall är kanske
Syns du, finns du? Examensarbete 15 hp kandidatnivå Medie- och kommunikationsvetenskap
Examensarbete 15 hp kandidatnivå Medie- och kommunikationsvetenskap Syns du, finns du? - En studie över användningen av SEO, PPC och sociala medier som strategiska kommunikationsverktyg i svenska företag
HUME HANDOUT 1. Han erbjuder två argument för denna tes. Vi kan kalla dem "motivationsargumentet" respektive "representationsargumentet.
HUME HANDOUT 1 A. Humes tes i II.iii.3: Konflikter mellan förnuftet och passionerna är omöjliga. Annorlunda uttryckt: en passion kan inte vara oförnuftig (eller förnuftig). Han erbjuder två argument för
Linköpings universitet
Översikt Kognitionsvetenskaplig introduktionskurs Föreläsning 4 Informationsbearbetningsmodeller Vad är kognitionsvetenskap? Kort bakgrund/historik Representation och bearbetning av information Vetenskapliga
Workplan Food. Spring term 2016 Year 7. Name:
Workplan Food Spring term 2016 Year 7 Name: During the time we work with this workplan you will also be getting some tests in English. You cannot practice for these tests. Compulsory o Read My Canadian
Programmering i skolan varför då? Lisa Söderlund Pedagogik och kommunikation
Programmering i skolan varför då? Lisa Söderlund Pedagogik och kommunikation lisa@kodcentrum.se KODCENTRUM En ideell förening som helt gratis introducerar barn och unga till programmering och digitalt
Sammanfattning av programmet UID FutureMap
Sammanfattning av programmet UID FutureMap Världen behöver en ny, socialt hållbar arbetsmodell. Människans fria, trygga medvetande och hälsa skadas av de ekonomiska modeller, som styr världen sedan flera
Titel Mall för Examensarbeten (Arial 28/30 point size, bold)
Titel Mall för Examensarbeten (Arial 28/30 point size, bold) SUBTITLE - Arial 16 / 19 pt FÖRFATTARE FÖRNAMN OCH EFTERNAMN - Arial 16 / 19 pt KTH ROYAL INSTITUTE OF TECHNOLOGY ELEKTROTEKNIK OCH DATAVETENSKAP
Join the Quest 3. Fortsätt glänsa i engelska. Be a Star Reader!
Join the Quest 3 Fortsätt glänsa i engelska. Be a Star Reader! PROVLEKTION: A Book Review, Charlie and the Chocolate Factor by Roald Dahl Följande provlektioner är ett utdrag ur Join the Quest åk 3 Textbook
LÖNEN ETT EFFEKTIVT SÄTT FÖR ÖNSKAD PRESTATION - ENDA FÖRUTSÄTTNINGEN FÖR KONKURRENSKRAFT I EN GLOBAL VÄRLD!
LÖNEN ETT EFFEKTIVT SÄTT FÖR ÖNSKAD PRESTATION - ENDA FÖRUTSÄTTNINGEN FÖR KONKURRENSKRAFT I EN GLOBAL VÄRLD! PRESTATION - UPPNÅDDA RESULTAT INOM GIVNA RAMAR KRAFTER SOM PÅVERKAR PRESTATION FÖR ORGANISATIONER
BOENDEFORMENS BETYDELSE FÖR ASYLSÖKANDES INTEGRATION Lina Sandström
BOENDEFORMENS BETYDELSE FÖR ASYLSÖKANDES INTEGRATION Lina Sandström Frågeställningar Kan asylprocessen förstås som en integrationsprocess? Hur fungerar i sådana fall denna process? Skiljer sig asylprocessen
Chapter 1 : Who do you think you are?
Arbetslag: Gamma Klass: 9A Veckor: 34-39 År: 2019 Chapter 1 : Who do you think you are?. Syfte Förstå och tolka innehållet i talad engelska och i olika slags texter. Formulera sig och kommunicera i tal
Matematikens grundvalar och programmering av datorer
Matematikens grundvalar och programmering av datorer Bengt Nordström Datavetenskap, Chalmers och Göteborgs Universitet, 14 februari, 2005 Datorerna föddes ur logiken 1870: Cantor: Det finns minst två slags
Fuzzy Logic. När oskarpa definitioner blir kristallklara. Åsa Svensson. Linköpings Universitet. Linköping
Fuzzy Logic När oskarpa definitioner blir kristallklara Linköpings Universitet Linköping Sammanfattning I denna fördjupningsuppgift har jag fokuserat på Fuzzy Logic och försökt att beskriva det på ett
Bildesign. Julia Hjalmarsson 2015-03-09 TE14A
Bildesign Julia Hjalmarsson 2015-03-09 TE14A Abstract This essay is about the future of transportation. I have written about the background of car design, how I think trends affects a design as much as
Programmering av NXT Lego- robot Labbrapport för programmering av en Lego- robot
KUNGLIGA TEKNISKA HÖGSKOLAN Programmering av NXT Lego- robot Labbrapport för programmering av en Lego- robot Josef Karlsson Malik 2015-09- 02 jkmalik@kth.se Introduktionskurs i datateknik (II0310) Sammanfattning
Bakgrund och motivation. Definition av algoritmer Beskrivningssätt Algoritmanalys. Algoritmer. Lars Larsson VT 2007. Lars Larsson Algoritmer 1
Algoritmer Lars Larsson VT 2007 Lars Larsson Algoritmer 1 1 2 3 4 5 Lars Larsson Algoritmer 2 Ni som går denna kurs är framtidens projektledare inom mjukvaruutveckling. Som ledare måste ni göra svåra beslut
Teknikprogrammet Klass TE14A, Norrköping. Jacob Almrot. Självstyrda bilar. Datum: 2015-03-09
Teknikprogrammet Klass TE14A, Norrköping. Jacob Almrot Självstyrda bilar Datum: 2015-03-09 Abstract This report is about when you could buy a self-driving car and what they would look like. I also mention
Laboration i datateknik
KUNGLIGA TEKNISKA HÖGSKOLAN Laboration i datateknik Felsökning och programmering av LEGO NXT robot Daniel Willén 2012 09 06 dwill@kth.se Introduktionskurs i datateknik II1310 Sammanfattning Syftet med
Resurscentrums matematikleksaker
Resurscentrums matematikleksaker Aktiviteter för barn och vuxna Innehåll 1 Bygga lutande torn som inte faller 2 2 Om konsten att vinna betingat godis i spel 5 3 Den snåle grosshandlarens våg 6 4 Tornen
F1 Introduktion och ingenjörsrollen
F1 Introduktion och ingenjörsrollen EDAA05 Roger Henriksson Jonas Wisbrant I kursen får du en introduktion till de frågeställningar och problemområden som omfattas av D-programmet och ämnet datavetenskap
F1 Introduktion och ingenjörsrollen EDAA05 Datorer i system! Roger Henriksson!
F1 Introduktion och ingenjörsrollen EDAA05 Roger Henriksson I kursen får du en introduktion till de frågeställningar och problemområden som omfattas av D-programmet och ämnet datavetenskap och underlättar
3. Välj den sprajt (bild) ni vill ha som fallande objekt, t ex en tårta, Cake. Klicka därefter på OK.
Moment 2: Klonspel Instruktioner för deltagare Idag ska du få lära dig om: Kloner - kopior av samma figur (sprajt) Variabler - ett värde, exempelvis antal poäng Slumptal - slå en tärning för att välja
Idiomatiskska uttryck 2
Idiomatiskska uttryck 2 Bortsett från apart from Om man inte tänker på det. - Bilen är lite rostig men bortsett från det är den mycket bra. - Vädret var ganska fint bortsett från vinden. Löpa risk run
ALGORITMER, OPTIMERING OCH LABYRINTER
ALGORITMER, OPTIMERING OCH LABYRINTER Text: Marie Andersson, Learncode AB Illustrationer: Li Rosén Foton: Shutterstock Har du någonsin lagat mat efter recept eller monterat ihop en möbel från IKEA? Då
Grundläggande programmeringsteknik Datorsystem
Datorsystem Från abakus till Z3 Datorsystem Från kursplanen Moment 3, Datorsystem 3hp I detta moment ges en introduktion till datorsystem och dess uppbyggnad. Minneshantering, vad en CPU är och gör samt
Artificiell Intelligens den nya superkraften
Artificiell Intelligens den nya superkraften Socialchefsdagarna, 4 oktober 2018 #CGINext Artificiell Intelligens Förmågan hos mjukvara att agera självständigt på ett intelligent sätt tidigare bara associerat
Språkliga uttrycks mening
Språkliga uttrycks mening Mysteriet med mening består i att den inte tycks ha någon lokalisering inte i världen, inte i medvetandet, inte i ett separat begrepp eller någon idé som svävar mellan ordet medvetandet
Ventilen. Nytt på IT- fronten. System som kan göra intelligenta saker, såsom att efterlikna mänskligt beteende och tänkande
Ventilen Nytt på IT- fronten System som kan göra intelligenta saker, såsom att efterlikna mänskligt beteende och tänkande https://www.youtube.com/watch?v=nfneoooeqx4 https://www.youtube.com/watch?v=nfneoooeqx4
Module 6: Integrals and applications
Department of Mathematics SF65 Calculus Year 5/6 Module 6: Integrals and applications Sections 6. and 6.5 and Chapter 7 in Calculus by Adams and Essex. Three lectures, two tutorials and one seminar. Important
Protokoll Föreningsutskottet 2013-10-22
Protokoll Föreningsutskottet 2013-10-22 Närvarande: Oliver Stenbom, Andreas Estmark, Henrik Almén, Ellinor Ugland, Oliver Jonstoij Berg. 1. Mötets öppnande. Ordförande Oliver Stenbom öppnade mötet. 2.
Institutionen för datavetenskap vid Helsingfors universitet
Institutionen för datavetenskap vid Helsingfors universitet PB 68 Gustaf Hällströms gata 2b Helsingfors universitet www.cs.helsinki.fi www.cs.helsinki.fi/index.sv.html Datavetenskap Datavetenskapen försöker
Ett spel av Michael Schacht för 3-4 personer
#INDUSTRIA Ett spel av Michael Schacht för 3-4 personer [Översatt av Victor Annergård, October 2007] Från gruvor till automatiserade fabriker, styr du din dynasti igenom fem epoker i det här auktionsspelet.
Seminarier - instruktioner och instuderingsfrågor
Uppsala universitet vt 2014, Filosofins klassiker, den nya tiden. Lärare: Robert Callergård Seminarier - instruktioner och instuderingsfrågor På seminarierna diskuterar vi tre klassiska texter två seminarier
Flervariabel Analys för Civilingenjörsutbildning i datateknik
Flervariabel Analys för Civilingenjörsutbildning i datateknik Henrik Shahgholian KTH Royal Inst. of Tech. 2 / 9 Utbildningens mål Gällande matematik: Visa grundliga kunskaper i matematik. Härmed förstås
Sverige kan bli föregångsland inom tillämpning av AI
Sverige kan bli föregångsland inom tillämpning av AI Max Tegmark i exklusiv intervju med BCG Vi har potential att skapa en fantastisk framtid med hjälp av artificiell intelligens - så länge vi vinner kapplöpningen
Kanban är inte din process. (låt mig berätta varför) #DevLin2012 15 Mars 2012
Kanban är inte din process (låt mig berätta varför) #DevLin2012 15 Mars 2012 Torbjörn Tobbe Gyllebring @drunkcod tobbe@cint.com Är du eller känner du en Kanban hipster? Förut körde vi X nu kör vi Kanban
Teknik nu och då. En jämförelse mellan dagens teknik och den som fanns 1969
Teknik nu och då En jämförelse mellan dagens teknik och den som fanns 1969 Ämne: So/ Sv Namn: Daniel Jönsson Handledare: Anna Eriksson Klass: 9 Årtal: 2009 Innehållsförteckning Framsida..1 Innehållsförteckning...2
Någonting står i vägen
Det här vänder sig till dig som driver ett företag, eller precis är på gång att starta upp Någonting står i vägen Om allting hade gått precis så som du tänkt dig och så som det utlovades på säljsidorna
Programmering i skolan varför då? Marie Gustafsson Friberger Geek Girl Mini / Good Measure
Programmering i skolan varför då? Marie Gustafsson Friberger Geek Girl Mini / Good Measure marie.gustafsson@gmail.com (Denna presentation bygger på material från Lisa Söderlund på kodcentrum, eftersom
Tentamen: Programutveckling ht 2015
Tentamen: Programutveckling ht 2015 Datum: 2015-11-04 Tid: 09:00-13:00 Sal: Ansvarig: Resultat: Hjälpmedel: Maxpoäng: Betygsgränser: Anslås inom 3 veckor. Inga 40 p 20 p för G, 32 p för VG. Iakttag följande:
Socionomen i sitt sammanhang. Praktikens mål påverkas av: Socialt arbete. Institutionella sammanhanget
Socionomen i sitt skilda förutsättningar och varierande Förstå och känna igen förutsättningar, underbyggande idéer och dess påverkan på yrkesutövandet. Att förstå förutsättningarna, möjliggör att arbeta
TIDSRESOR OCH ALTERNATIVA UNIVERSUM
TIDSRESOR OCH ALTERNATIVA UNIVERSUM Det här är ett försök att med sunt förnuft och sund logik försöka motbevisa förekomsten av tidsresor. Jag är varken matematiker eller partikelfysiker, men tycker ändå
Support Manual HoistLocatel Electronic Locks
Support Manual HoistLocatel Electronic Locks 1. S70, Create a Terminating Card for Cards Terminating Card 2. Select the card you want to block, look among Card No. Then click on the single arrow pointing
http://marvel.com/games/play/31/create_your_own_superhero http://www.heromachine.com/
Name: Year 9 w. 4-7 The leading comic book publisher, Marvel Comics, is starting a new comic, which it hopes will become as popular as its classics Spiderman, Superman and The Incredible Hulk. Your job
Den Disruptiva Utmaningen. Christian Sandström, Tekn Dr. Chalmers och Ratio. Disruptive, Computer Sweden 16 oktober 2014
Den Disruptiva Utmaningen Christian Sandström, Tekn Dr. Chalmers och Ratio Disruptive, Computer Sweden 16 oktober 2014 Disruptiveinnovation.se ChrisSandstrom www.disruptiveinnovation.se Christian.sandstrom@ratio.se
Three Monkeys Trading. Tänk Just nu
Three Monkeys Trading Tänk Just nu Idag ska vi ta upp ett koncept som är otroligt användbart för en trader i syfte att undvika fällan av fasta eller absoluta uppfattningar. Det är mycket vanligt att en
Projektmodell med kunskapshantering anpassad för Svenska Mässan Koncernen
Examensarbete Projektmodell med kunskapshantering anpassad för Svenska Mässan Koncernen Malin Carlström, Sandra Mårtensson 2010-05-21 Ämne: Informationslogistik Nivå: Kandidat Kurskod: 2IL00E Projektmodell
Människans möte med den mänskliga kroppen. Ett pedagogiskt studiematerial
Människans möte med den mänskliga kroppen Ett pedagogiskt studiematerial Inledning I dag så påverkas vi medvetet och omedvetet av yttre ideal. Ofta så glömmer vi bort att ställa frågan till oss själva
Att skriva en matematisk uppsats
Att skriva en matematisk uppsats Del av kommunikationsspåret på matematikprogrammet. Tidigare har ni skrivit och presenterat kortare texter, nu ska vi fokusera på längre texter. Varför? Det räcker inte
Innehåll. 2015-10-12 Andreas Rosengren
Innehåll Vad är Industri 4.0? Varför just nu? Utmaningar för industrin Vad innebär industri 4.0 för svensk industri? Industriell forskning relaterad till Industri 4.0 FFI LISA Vem är jag? Andreas Rosengren
Välkommen! Teknik, makt och mänsklighetens framtid. Kursintroduktion 19/1
Välkommen! Teknik, makt och mänsklighetens framtid Kursintroduktion 19/1 Presentation av oss CEMUS Teknik, makt och mänsklighetens framtid 7,5 hp (U-G) Ekonomiska, sociala och kulturella perspektiv på
We cannot solve our problems with the same kind of thinking we used when we created them
Spaning mot framtiden Designtänkande som stöd för framtidsvisioner Åsa Wikberg Nilsson Innovation och Design Luleå tekniska universitet We cannot solve our problems with the same kind of thinking we used
1. Compute the following matrix: (2 p) 2. Compute the determinant of the following matrix: (2 p)
UMEÅ UNIVERSITY Department of Mathematics and Mathematical Statistics Pre-exam in mathematics Linear algebra 2012-02-07 1. Compute the following matrix: (2 p 3 1 2 3 2 2 7 ( 4 3 5 2 2. Compute the determinant
Förskola i Bromma- Examensarbete. Henrik Westling. Supervisor. Examiner
Förskola i Bromma- Examensarbete Henrik Westling Handledare/ Supervisor Examinator/ Examiner Ori Merom Erik Wingquist Examensarbete inom arkitektur, grundnivå 15 hp Degree Project in Architecture, First
MinMax Algoritmen Implementation och optimering. Joakim Östlund 15 juni 2004
MinMax Algoritmen Implementation och optimering Joakim Östlund 15 juni 2004 1 Samanfattning MinMax är en algoritm som kan användas i turbaserade spel för att skapa en virituell motståndare. Algoritmen
Solowheel. Namn: Jesper Edqvist. Klass: TE14A. Datum: 2015-03-09
Solowheel Namn: Jesper Edqvist Klass: TE14A Datum: 2015-03-09 Abstract We got an assignment that we should do an essay about something we wanted to dig deeper into. In my case I dug deeper into what a
To Lauren Beukes Tune: Top of the World Written by Marianna Leikomaa
To Lauren Beukes Tune: Top of the World Written by Marianna Leikomaa Life is hard when you re in Zoo City there are criminals most everywhere I see. I did something real bad, got a Sloth on my back and
Klipp-och-klistra DNA: fixa mutationen med gen editering DNA, RNA och Protein
Huntingtons sjukdom forsknings nyheter. I klartext Skriven av forskare För de globala HS medlemmarna. Klipp-och-klistra DNA: fixa mutationen med gen editering Forskare gör exakta ändringar av DNA i ett
Enskild skriftlig uppgift
Enskild skriftlig uppgift Kognition i praktiken G1N Grundläggande teoretiska kunskaper Publicerat och inlämnat 2010-09-13 1968 ord inklusive rubriker Peter Axelsson http://www.petera.se Institutionen för
Optimera, inte eliminera, den mänskliga hjärnan genom AI. Anna-Karin Edstedt Bonamy, MD, PhD Chief Medical Officer, Doctrin AB
Optimera, inte eliminera, den mänskliga hjärnan genom AI Anna-Karin Edstedt Bonamy, MD, PhD Chief Medical Officer, Doctrin AB En av sjukvårdens största utmaningar är ökande personalbrist 4 av 10 läkare
Tre misstag som äter upp din tid och hur kan göra någonting åt dem
Tre misstag som äter upp din tid och hur kan göra någonting åt dem En rapport från PersonligEffektivitet.com Innehåll Inledning... 3 Misstag #1: Önskelistan... 4 Misstag #2: Parkinsons lag... 7 Misstag