ITSLP1100 Introduksjon til kognitive vitenskaper. Erik Velldal 15/01/2008

Transkript

1 ITSLP1100 Introduksjon til kognitive vitenskaper Erik Velldal 15/01/2008 1

2 Praktisk Pensum: Copeland (1993): Artificial Intelligence Flere gjesteforelesninger av andre fra LNS, basert på egne tilleggsartikler. Kontakt: erik.velldal [AT] ifi.uio.no 3 timers skoleeksamen. 2 obligatoriske presentasjoner i gruppene. Selvvalgt tema. 2

3 Forelesningsplan (del 1) Uke 3: Introduksjon. Tidlig AI. Copeland 1-2. Uke 4: Turingtesten og symbolsystem-hypotesen. Cop Uke 5-6: Turingmaskiner, logikk, syntaks og symbolske systemer. Herman Ruge Jervell. Uke 7-8: Lingvistikk og NLP. Semantikk, syntaks og grammatikker. Stephan Oepen. 3

4 Forelesningsplan (del 2) Uke 9: Searle og det kinesiske rommet. Asbjørn Brændeland. Cop. 6. Uke 10-11: Determinisme og bevissthet. Cop Uke 12-14: Fri (påske + midttermineksamen) Uke 15: Sub-symbolsk AI, nevrale nettverk, maskinlæring. Cop. 10. Uke 16: Maskinlæring. Eksempler fra klassifikasjon. Uke 17: Fremtiden, transhumanisme og singularitet. Oppsummering. 4

5 I dag.. Introduksjon til AI. Kort oversikt over de første datamaskinene. Eksempler på noen tidlige og historisk viktige AI-programmer. 5

6 Alan Turing Kryptograf og matematiker. I propose to consider the question, 'Can machines think?' (A Turing, Computing Machinery and Intelligence, 1950) Beskrev den første generelle datamaskinen med lagret program i Vi skal i senere forelesninger høre mer om turingmaskiner og turingtesten. 6

7 Kunstig Intelligens (KI / AI) John McCarthy om AI: «the science and engineering of making intelligent machines.» Dartmouth-konferansen i Fra programmet: «Every aspect of learning or any other feature of intelligence can be so precisely described that a machine can be made to simulate it.» 7

8 Tverrfaglighet 8

9 De første datamaskinene De første elektroniske maskinene ble utviklet uavhengig i Tyskland, USA, og England på ca samme tid. Z3, Tyskland, Verdens første generelle programmerbare datamaskin. Colossus, England, Kodeknekker. ASCC (= Harvard Mark I), USA, Verdens største elektro-mekaniske kalkulator. 9

10 De første datamaskinene ENIAC, USA, 1945, verdens første fullstendig elektroniske generelle datamaskin. The Baby / Manchester Mark I, England, Første maskinen med von Neumannarkitektur og elektromagnetisk lagret program. 10

11 Tidlige og klassiske AI-programmer vi skal se nærmere på Chatbots: ELIZA, Parry, m.fl. Shrdlu. Hacker. Logiske teorembevisere. Ekspertsystemer. Spillprogrammer. 11

12 ELIZA Skrevet av Joseph Weizenbaum i 1966 (MIT) Tidlig eksempel på chatbot / conversational agent Simulerer (eller parodierer) en psykoterapeut Første program som etterlikner menneskelig interaksjon (Forsøk å kjøre 'M-x doctor' i GNU Emacs) 12

13 Brukerdialog med ELIZA Person: Men are all alike. ELIZA: In what way? Person: They're always bugging us about something or other. ELIZA: Can you think of a specific example? Person: Well, my boyfriend made me come here. ELIZA: Your boyfriend made you come here? Person: He says I'm depressed much of the time. ELIZA: I am sorry to hear that you are depressed. Person: It's true. I am unhappy. ELIZA: Do you think coming here will help you not to be unhappy? Person: I need some help, that much seems certain. ELIZA: What would it mean to you if you got some help? Person: Perhaps I could learn to get along with my mother. ELIZA: Tell me more about your family. 13

14 Parry the paranoid program Skrevet av psykiateren Kenneth Colby i 1972 (ved Stanford) En humørsyk og schizofren paranoid chatbot ELIZA og Parry ble flere ganger koblet sammen som samtalepartnere over ARPA-nettet 14

15 Samtale mellom ELIZA og Parry (1) Parry: People get on my nerves sometimes. Eliza: I am not sure I understand you fully. Parry: You should pay more attention. Eliza: Suppose you should pay more attention? Parry: You're entitled to your opinion. Eliza: What makes you think I'm entitled to my opinion? Parry: It bothers me just to be around people. Eliza: Please go on. [Parry continues with some paranoid ramblings about horseracing, bookies, and the Mafia] 15

16 Samtale mellom ELIZA og Parry (2) Parry: I know the mob controls the big rackets. Eliza: Who are you really talking about? Parry: Have you ever really thought about the Mafia? Eliza: Suppose you ever really thought about the Mafia? Parry: Let's talk about something else. Eliza: I am not sure I understand you fully. Parry: You keep asking me the same things, why not change the topic? Eliza: In what way? Parry: I am getting tired of answering the same questions over and over. Eliza: What resemblance do you see? Parry: Why do you need to know that? Eliza: What do you think? 16

17 Samtale mellom ELIZA og Parry (3) Parry: You harp on the same questions too much. Eliza: What does that similarity suggest to you? Parry: I don't get you. Eliza: Do you wish that you did get it? Parry: It's about time you showed some interest in my feelings. Eliza: Oh, I showed some interest in your feelings? (fra George Johnson, The Machinery Of The Mind, 1986) 17

18 Hvordan ELIZA virker Enkle grammatiske transformasjoner. Gjentar tidligere input-setninger og sammen med enkle fraser. Parry: Eliza: You're entitled to your opinion. What makes you think I'm entitled to my opinion? Utnytter nøkkelord..mother.. --> Tell me more about your family. Generelle fraser som siste utvei: Please go on. Tell me more. Svært begrenset representasjon, uten semantikk eller dialogstruktur. 18

19 Moderne eksempler på chatbots: ALICE og Jabberwacky En samtale mellom ALICE og Jabberwacky: ALICE: Jabberwacky: ALICE: Jabber.: ALICE: Jabber.: ALICE: Jabber.: ALICE: Who created you? My mother gave birth to me. Is that what you mean? Jabberwacky, I meant exactly what I said. Do you believe in God? Of course I believe in God. Why do you believe in God? The Bible tells us to believe in God. That s circular reasoning. I m glad we have that all cleared up. 19

20 Shrdlu Skrevet av Terry Winograd ved MIT, En virtuell robot som utfører kommandoer i en «mikro-verden» bestående av geometriske figurer med forskjellig form og farge. Tre typer kunnskap: Syntaks Semantikk Deduksjon 20

21 Hacker Skrevet av Gerald Sussman ved MIT, Program for enkel problemløsning i en begrenset mikro-verden (slik som Shrdlu). Kan automatisk lære seg nye funksjoner. Regler for selv-programmering ved å transformere tidligere funksjons-definisjoner. Vi skal senere se flere eksempler på maskinlæring, -programmer som kan trenes opp og bli bedre gjennom erfaring. 21

22 Ekspertsystemer Hva er en ekspert? Har ferdigheter, kunnskap og erfaring utover det normale på et begrenset felt. Har spesialkompetanse til å fatte gode og effektive beslutninger. Kan løse standardproblemer ved hjelp av «snarveier» og tommelfingerregler. Hva er et ekspertsystem? Et system for automatiserte ekspertløsninger på komplekse problemer. Forsøker å prestere på linje med menneskelige eksperter. Basert på en kunnskapsbase og heuristiske slutningsregler. 22

23 Mycin Eksempel på et tidlig ekspertsystem, utviklet på Stanford på begynnelsen av 70-tallet. Diagnostiserer bakterielle blodinfeksjoner. Hver diagnose gis med en «sikkerhetsfaktor». Foreslår ev. tilpasset antibiotika-behandling. Knowledge engineering: hvordan best ekstrahere og representere den menneskelige ekspertisen og kunnskapen. 23

24 Spillprogrammer: Sjakk Også eksempel på et slags ekspertsystem. Feng-hsiung Hsu: ChipTest + Deep Thought (CMU) og Deep Blue (IBM). Deep Thought tapte mot verdensmesteren Garry Kasparov i Men Deep Blue vant over Kasparov i Kasparov beskyldte IBM for juks og mente at trekkene til Deep Blue var så intelligente og kreative at mennesker var nødt til å stå bak. 24

25 Chess is the Drosophila of Artificial Intelligence. (Alexander Kronrod i 1965, russisk matematiker) However, computer chess has developed much as genetics might have if the geneticists had concentrated their efforts starting in 1910 on breeding racing Drosophila. We would have some science, but mainly we would have very fast fruit flies. (John McCarthy, 1997) 25

26 Eksemplene viser programmer som;..kommuniserer med oss via et naturlig språk...innen et avgrenset område kan gjøre det bedre enn menneskelige eksperter, inkludert programmereren selv...lærer av erfaring...programmerer seg selv...kan resonnere logisk. 26

27 «Human AI vs. Alien AI» Herbert A. Simon: AI can have two purposes. One is to use the power of computers to augment human thinking, just as we use motors to augment human or horse power. Robotics and expert systems are major branches of that. The other is to use a computer's artificial intelligence to understand how humans think. In a humanoid way. If you test your programs not merely by what they can accomplish, but how they accomplish it, then you're really doing cognitive science; you're using AI to understand the human mind. (The Sciences of the Artificial, 1996) 27

28 «Human AI vs. Alien AI» To forskjellige perspektiver og motiver: A) Målet er bare å lage systemer som fungerer bra. Pragmatisk og ingeniørmessig tilnærming. B) Målet er å si noe om hvordan menneskelig kognisjon fungerer. 28

29 (xkcd.com) 29