Kunstig intelligens. Thomas Bolander, Lektor, DTU Informatik. Selskabet for Filosofi og Psykologi, 23. maj Thomas Bolander, KU, 23/5-12 p.

Transkript

1 Kunstig intelligens Thomas Bolander, Lektor, DTU Informatik Selskabet for Filosofi og Psykologi, 23. maj 2012 Thomas Bolander, KU, 23/5-12 p. 1/32

2 Lidt om mig selv Thomas Bolander Lektor i logik and kunstig intelligens ved DTU Informatik (siden 2007). Leder af imars Lab (intelligent Multi-Agent Robotic Systems Lab) på DTU Informatik. Studieleder for Matematik på Folkeuniversitetet i København. Aktuel forskning: At udstyre kunstig intelligens-systemer med en Theory of Mind. Thomas Bolander, KU, 23/5-12 p. 2/32

3 Kunstig intelligens i science fiction Thomas Bolander, KU, 23/5-12 p. 3/32

4 Kunstig intelligens i vores nære omgivelser Thomas Bolander, KU, 23/5-12 p. 4/32

5 Hvad er kunstig intelligens? Vil vi nogensinde få kunstig intelligens på science fiction-niveau? Svært spørgsmål! Lad os starte med et (tilsyneladende) simplere spørgsmål: Hvad er kunstig intelligens? John McCarthy, den kunstige intelligens fader, siger: John McCarthy, 2006 Artificial intelligence is the science and engineering of making intelligent machines, especially intelligent computer programs. Super, men hvad er intelligens??? Thomas Bolander, KU, 23/5-12 p. 5/32

6 Hvad er intelligens? Intelligens er et meget vanskeligt begreb. En (forsøgsvis) definition af 52 amerikanske psykologer (1994): Intelligence is a very general mental capability that, among other things, involves the ability to reason, plan, solve problems, think abstractly, comprehend complex ideas, learn quickly and learn from experience. Karakteriserer helt klart nogen af nøgleegenskaberne som kunstig intelligens-systemer skal have. Men til hvilken grad? Og hvordan tester vi det? Thomas Bolander, KU, 23/5-12 p. 6/32

7 Turing-testen Alan Turing-artikel fra 1950: Kan maskiner tænke? Hvordan kan vi teste det? Svært, men følgende kan vi teste: Kan en computer opføre sig uskelneligt fra et menneske? Turing Test: 1 dommer, 1 computer, 1 menneske. Dommerens opgave: Hvem er hvem mellem computer og menneske. Alan Turing, 1954 Thomas Bolander, KU, 23/5-12 p. 7/32

8 Loebner-prisen Loebner-prisen: Årlig chatbot-konkurrence om at klare Turing-testen bedst muligt. Bedste chatbot: 4.000$. Klarer Turing-testen fuldstændigt: $. De penge er stadig i banken! Følgende slide: En dialog med chatbotten Jabberwacky (Cleverbot), en af de mest vindende gennem årene. Thomas Bolander, KU, 23/5-12 p. 8/32

9 Jabberwacky: Have you read any books lately? Thomas: Yes. Jabberwacky: What books have you read? Thomas: I am a strange loop. Jabberwacky: Yes you are. Thomas: Is that supposed to be funny? Jabberwacky: Yes. Thomas: OK, accepted, it was kind of funny. Jabberwacky: No. Who are you trying to convince? Thomas: You. Jabberwacky: Tell me something funny. Thomas: The best joke I know is in Danish. Jabberwacky: That s a poem I guess, tell me another. Thomas: Why don t you tell me one? Jabberwacky: I don t know any. Thomas: How can you not know any jokes? Jabberwacky: No, not that, what about star wars? Thomas: I don t like star wars. Jabberwacky: Why don t you like star wars? Thomas: I find it boring. Jabberwacky: How very British of me. I m sorry. Are you going out tonight? Thomas: No, I m preparing a talk for tomorrow. Jabberwacky: Preparing to become what? Thomas Bolander, KU, 23/5-12 p. 9/32

10 Chatbots i vores nære omgivelser Chatbots bliver bragt til live: SAS (Eva), IKEA (Anna),... Og chatbots dør: Frederiksberg Kommune (Betty), Odense kommune (Knud),... Karakteristisk: Matcher centrale ord i spørgsmålet mod ord i en database. Anna (IKEA): Q: Er IKEA billigere end ILVA? A: IKEAs koncept er lave priser... Q: Er øl billigere end vin? A: IKEAs koncept er lave priser... Thomas Bolander, KU, 23/5-12 p. 10/32

11 Chatbots i vores nære omgivelser Eva (SAS): Q: Er SAS billigere end Air France? A: Jeg kan forstå, at du gerne vil vide noget om kampagner og specialpriser... Q: Er øl billigere end vin? A: Jeg tror, at du spørger om, hvad du må medbringe i bagagen... Thomas Bolander, KU, 23/5-12 p. 11/32

12 Turing-testen og dens relevans Konklusion: At bestå Turing-testen er stadig ikke lige rundt om hjørnet Men hvor relevant er den overhovedet? Thomas Bolander, KU, 23/5-12 p. 12/32

13 Lidt historie: Den tidlige optimisme Den kunstige intelligens historie er næsten lige så lang som computerens egen: startende i de tidlige 1950 ere. Den tidlige periode (50 ere og 60 ere) karakteriseret ved: Meget høje forventninger Kraftig undervurdering af kompleksiteten af den menneskelige hjerne. It is not my aim to surprise or shock you but the simplest way I can summerize is to say that there are now in the world machines that think, that learn and that create. Moreover, their ability to do these things is going to increase rapidly until in a visible future the range of problems they can handle will be coextensive with the range to which the human mind has been applied (Herbert Simon, 1957). Denne visible future trækker øjensynligt ud... Thomas Bolander, KU, 23/5-12 p. 13/32

14 Landvindinger i 50 erne og 60 erne Den grænseløse optimisme i 50 erne og 60 erne kom ikke ud af ingenting. Computere overvandt mange problemer som tilsyneladende krævede rigtig intelligens : 1. Spille skak (bedre end de fleste amatører). 2. Bevise geometriske sætninger (bedre end de fleste matematikstuderende). 3. Løse geometriske analogi-problemer (IQ-tests). 4. Det første elektroniske menneske, Shakey the Robot. Vi har ræssonering (alle), planlægning (1 & 4), abstrakt tænkning (2 & 3), læring (4). Thomas Bolander, KU, 23/5-12 p. 14/32

15 Maskinoversættelse De tidlige succeser i kunstig intelligens skabte en stemning af: Hvis vi kan gøre dette, kan vi gøre hvad som helst. Og det forsøgte de så... Maskinoversættelses-projekt: fra russisk til engelsk. Reaktion på den succesfulde opsendelse af Sputnik (1957). De var for naive: Oversættelse ved simple syntaks-transformationer. Oversættelse engelsk russisk engelsk: The spirit is willing but the flesh is weak The vodka is good but the meat is rotten. Maskinoversættelse i dag med Google Translate: Pilots are flying planes Piloter flyver fly. Men are flying planes Mænd er flyvende fly. Thomas Bolander, KU, 23/5-12 p. 15/32

16 Den kunstige intelligens storhed og fald Slut 60 ere: Færre succeser. Stadig ingen tænkende maskiner i den stærke betydning som forventet/lovet. Resultat: Stor skuffelse! I 1973 sløjfede den britiske stat al støtte til kunstig intelligens baseret på en rapport som konkluderede: in no part of the field have discoveries made so far produced the major impact that was then promised. Så kan man lære ikke at love for meget! Thomas Bolander, KU, 23/5-12 p. 16/32

17 Nyt liv til kunstig intelligens Fra slutningen af 80 erne: Kunstig intelligens vækkes til live igen. Nu mere en mere realistisk stemning: Vi tager hvad vi kan få USAs forsvar bruger et planlægningssystem til at håndtere Golfkrigs-logistikken. Besparelse større end samlet sum investeret i kunstig intelligens i årene Førerløs bil kører 1000 km på offentlige veje i Frankrig IBMs skakcomputer Deep Blue slår verdensmesteren Gary Kasparov En computer vinder en konkurrence i aktiehandel IBMs Jeopardy-computer Watson slår de hidtil mest vindende Jeopardy-mestre. Thomas Bolander, KU, 23/5-12 p. 17/32

18 Deep Blue Men: 90 ernes og 00 ernes kunstig intelligens-systemer er ikke mere tænkende maskiner i den stærke betydning end systemerne fra 50 erne og 60 erne. Deep Blue er baseret på nøjagtig samme strategi som skakcomputerne fra 50 erne. Forskellen er primært en dramatisk øgning i beregningskraft: 500 specialdesignede skakprocessorer beregner 200 millioner træk i sekundet. Thomas Bolander, KU, 23/5-12 p. 18/32

19 Kasparov om Deep Blue Gary Kasparov om Deep Blue i Huffington Post, 2010: The AI crowd, too, was pleased with the result and the attention, but dismayed by the fact that Deep Blue was hardly what their predecessors had imagined decades earlier when they dreamed of creating a machine to defeat the world chess champion. Instead of a computer that thought and played chess like a human, with human creativity and intuition, they got one that played like a machine, systematically evaluating 200 million possible moves on the chess board per second and winning with brute number-crunching force. Deep Blue was only intelligent the way your programmable alarm clock is intelligent. (Not that losing to a $10 million alarm clock made me feel any better). Thomas Bolander, KU, 23/5-12 p. 19/32

20 Watson 200 millioner sider tekst i hukommelsen processorkerner. Processerer bøger i sekundet! Watson er ringest på korte spørgsmål med få sproglige spor at gå efter. Thomas Bolander, KU, 23/5-12 p. 20/32

21 Modstridende følelser Succeser i kunstig intelligens leder ofte til modstridende følelser: Vi er imponerede over hvad kunstig intelligens-systemerne kan. Vi er skuffede over hvordan de gør det. Thomas Bolander, KU, 23/5-12 p. 21/32

22 Hvis Turing-testen bliver bestået Men hvad hvis et kunstig intelligens-system til sidst består Turing-testen? Formodentlig vil det samme ske: Computer: En maskine som kan flippe bits i henhold til en strengt defineret opskrift. Kan simuleres af et menneske: Manuelt og mekanisk benyttede papir, blyant og et stykke (meget stort) papir. Hvor er tænkningen og forståelsen? Vi mennesker må da være mere end det? Thomas Bolander, KU, 23/5-12 p. 22/32

23 Karakteristika ved kunstig intelligens-systemer i dag Programmeret til at løse specifikke, afgrænsede problemer fremfor at kunne tilegne sig helt nye kompetencer (som mennesker kan). Simple algoritmer fremfor højere kognitive evner. En masse rå beregningskraft. Kunstig intelligens er os overlegen på rå beregningskraft, men ikke på højere kognitive evner. beregningskraft kognitive evner Thomas Bolander, KU, 23/5-12 p. 23/32

24 Karakteristika ved kunstig intelligens i dag Succes eller fiasko? Succes og fiasko: Succes: specifikke velafgrænsede problemer (svag KI). Fiasko: dynamisk og fleksibel intelligens, som selvstændigt kan lære vilka rlige nye opgaver som mennesker kan (stærk KI). Eksempel. Watson spiller ikke skak og Deep Blue ikke Jeopardy. Og de vil heller ikke være i stand til at lære det. Wired Magazine, januar 2011 Thomas Bolander, KU, 23/5-12 p. 24/32

25 Den kunstige intelligens fremtid Betyder dette at højere kognitive evner er irrelevante i forhold til kunstig intelligens? Nej, bestemt ikke! Eksempel. Menneske + skakcomputer spiller meget bedre end to skakcomputere. Højere kognitive evner er essentielle for den kunstige intelligens hellige gral: generisk kunstig intelligens. Men vi er ikke helt der endnu... + > + Thomas Bolander, KU, 23/5-12 p. 25/32

26 Det store spørgsmål Tilbage til det oprindelige spørgsmål: Vil vi nogensinde få kunstig intelligens på science fiction-niveau? Tjaaaaa...??? Status: Ingen evidens for at der ikke skulle være teoretisk muligt at simulere alle menneskets hjerneprocesser. Dog: For at udvikle intelligens på vores niveau kræves også vores niveau af sensorer (input) og aktuatorer (output). Resultat: Måske vores niveau af intelligens, men ikke nødvendigvis vores type af intelligens (måske ingen Turing-test vinder). Thomas Bolander, KU, 23/5-12 p. 26/32

27 Kunstig intelligens i kursus på DTU Thomas Bolander, KU, 23/5-12 p. 27/32

28 Asociale robotter Frustrerede brugere af hospitalsrobotter i USA: TUG was a hospital worker, and its colleagues expected it to have some social smarts, the absence of which led to frustration for example, when it always spoke in the same way in both quiet and busy situations. I m on the phone! If you say TUG has arrived one more time I m going to kick you in your camera. It doesn t have the manners we teach our children. I find it insulting that I stand out of the way for patients... but it just barrels right on. TUG hospitalsrobot Thomas Bolander, KU, 23/5-12 p. 28/32

29 Theory of Mind Hospitalsrobotterne mangler en Theory of Mind (ToM) (Premack & Woodruff, 1978): Evnen til at tillægge andre agenter mentale tilstande (viden, overbevisninger, ønsker, mål). En ToM er essentiel for succesfuld social interaktion. Autistiske børn har ofte en defekt ToM (Baron-Cohen et al., 1985). Testes med false-belief tasks. En af disse kaldes Sally-Anne testen. Thomas Bolander, KU, 23/5-12 p. 29/32

30 Anne Sally No ToM! No ToM Anne Sally Thomas Bolander, KU, 23/5-12 p. 30/32

31 Anne Sally ToM! ToM Anne Sally Thomas Bolander, KU, 23/5-12 p. 31/32

32 Vores værktøjer til ToM-modellering Modallogik, især dynamisk epistemisk logik (filosofi matematik datalogi). Automatiseret planlægning (datalogi). Pragmatik, især talehandlingsteori og implikatur (filosofi datalogi). Theory of Mind-teorier (psykologi datalogi). Perspektiver: Anvendelse: Socialt intelligente robotter og andre kunstig intelligens-systemer. For eksempel hospitalsrobotter, i computerspil og i applikationer som Siri på iphone 4S. Erkendelse: En dybere matematisk forståelse af ToM og forudsætningerne for intelligent social interageren i det hele taget. Thomas Bolander, KU, 23/5-12 p. 32/32