1. 1 AI - Introduction Bertil Ekdahl respeo@telia.com

2. 2 It is the science and engineering of making intelligent machines, especially intelligent computer programs. It is related to the similar task of using computers to understand human intelligence, but AI does not have to confine itself to methods that are biologically observable. What is AI? John McCarthy, http://www-formal.stanford.edu/jmc/whatisai/

3. 3 When did it start? Alan Turing –1947 lecture on intelligent machines. –1950 article: Computing Machinery and Intelligence.

4. 4 The Turing Test (Borrowed from Ola Flygt.)

5. 5 Penrose, Roger, “The Emperor’s New Mind” A Turing Machine

6. 6 Two symbols where B means “blank” and 1 is the tally symbol.

7. 7 ENIAC (Electronic Numerical Integrator And Calculator)

8. 8 EDVAC (Electronic Discrete Variable Automatic Computer)

9. 9 Dartmouth Artificial Intelligence (AI) Conference We propose that a 2 month, 10 man study of artificial intelligence be carried out during the summer of 1956 at Dartmouth College in Hanover, New Hampshire. The study is to proceed on the basis of the conjecture that every aspect of learning or any other feature of intelligence can in principle be so precisely described that a machine can be made to simulate it. An attempt will be made to find how to make machines use language, form abstractions and concepts, solve kinds of problems now reserved for humans, and improve themselves. Dartmouth AI Project proposal: J. McCarthy et al.; Aug. 31, 1955. (http://www-formal.stanford.edu/jmc/history/dartmouth.html)

10. 10 Why such a conjecture? … every aspect of learning […] be so precisely described that a machine can be made to simulate it. Tabula rasa

11. 11 But the human intellect, which is the lowest in the order of intellects and the most removed from the perfection of the Divine intellect, is in potency with regard to things intelligible, and is at first "like a clean tablet on which nothing is written", as the Philosopher [Aristotle] says. (Thomas Aquinas, Summa Theologica 1.79.2, 1265 - 1274)

12. 12 Connectionism Rumelhart & McClelland: generic associationist networks, subjected to massive amounts of training, could explain all of cognition.

13. 13 Rumelhart & McClelland was left with the answer: Why is people smarter than rats? Answer: [The] question does seem a bit puzzling. […] another aspect to the difference […] is that the human environment includes other people and the CULTURAL devices that they have developed to organize their thinking process. (1986) A problem

14. 14 Why such a conjecture? …make machines use language, form abstractions and concepts … No difference between formal language (programming language) and natural language?

15. 15 Everything is a question of representation?

16. 16 Roman digits

17. 17 Binary digits

18. 18 shift out

19. 19 Time 2h 30min 15s + 3h 45min 37s =?

20. 20 Fifty-five Femtiofem Fünfundfünfzig Femoghalvtreds

21. 21 What is a Knowledge Representation? A KR is a Surrogate A KR is a Set of Ontological Commitments A KR is a Fragmentary Theory Of Intelligent Reasoning A KR is a Medium for Efficient Computation A KR is a Medium of Human Expression (R. Davis, H. Shrobe, and P. Szolovits. What is a Knowledge Representation? AI Magazine, 14(1):17-33, 1993).

22. 22 Knowledge representation in AI Logic Semantic nets Conceptual graphs Neural nets Object oriented methods

23. 23 Logic Production system: IF … THEN IF you have pain in your back AND you have eaten many Panocode THEN examine your bile.

24. 24 Pain in your back? Yes No Eaten Panocode?

25. 25 G: Men are all alike. P: IN WHAT WAY? G: They’re always bugging us about something or other. P: CAN YOU THINK OF A SPECIFIC EXAMPLE? G: Well, my boyfriend made me come here. P: YOUR BOYFRIEND MADE YOU COME HERE? G: He says I’m depressed much of the time. P: I AM SORRY TO HERE THAT YOU ARE DEPRESSED. G: It’s true. I am unhappy. P: DO YOU THINK COMING HERE WILL HELP YOU NOT TO BE UNHAPPY? G: I need some help, that much seems certain. P: WHAT WOULD IT MEAN TO YOU IF YOU GOT SOME HELP? G: Perhaps I could learn to get along with my mother. P: TELL ME MORE ABOUT YOUR FAMILY.

26. 26 (I remember X) ---> (Why do you remember X just now?) Person: I remember my mother. ELIZA: Why do you remember your mother just now? (My {family-member} Y me) ---> (Who else in your family Y you?) Person: My father hates me. ELIZA: Who else in your family hates you? Rules without left hand side. ELIZA: Can you elaborate on that for me?, or ELIZA: That is very interesting. Why do you say that?

27. 27 Logic goes beyond IF … THEN-rules The author of the Iliad wrote the Odyssey; therefore someone wrote both the Iliad and the Odyssey. No one admires anyone who admires everyone who admires someone.

28. 28 Semantic nets

29. 29 MammalBear Animal Fish Water Whale Fur Vertebra Cat isa lives in isa has isa has

30. 30 Nixon Pacifist Quaker Republican isa

31. 31 CG: John is going to Boston by bus. Conceptual Graph

32. 32 /* schema facts */ man::person. woman::person. person[hasFather=>man]. person[hasMother=>woman]. /* facts */ abraham:man. sarah:woman. isaac:man[hasFather->abraham; hasMother->sarah]. /* rules consisting of a rule head and a rule body */ FORALL X,Y X[hasSon->>Y] X]. /* query */ FORALL X,Y >Y[hasHasFather->abraham]]. Object method

33. 33 (John McCarthy, http://www-formal.stanford.edu/jmc/whatisai/) Q. How far is AI from reaching human-level intelligence? When will it happen? A. A few people think that human-level intelligence can be achieved by writing large numbers of programs of the kind people are now writing and assembling vast knowledge bases of facts in the languages now used for expressing knowledge. However, most AI researchers believe that new fundamental ideas are required, and therefore it cannot be predicted when human level intelligence will be achieved.

34. 34 Why have we made limited progress in AI? Because we haven't developed sophisticated models of thinking, we need better programming languages and architectures, and we haven't focused on common sense problems that every normal child can solve. (Minsky, 2002)

35. 35 What’s the problem? Semantics

36. 36 Fifty-five Femtiofem Fünfundfünfzig Femoghalvtreds Roman: LV Binary: 110111 Octal: 101101 Decimal: 55

37. 37 Susan saw the man in the park with a dog. Susan saw the man in the park with a statue. Susan saw the man in the park with a telescope

38. 38 Computer versus Common Sense http://video.google.com/videoplay?docid=-7704388615049492068

39. 39 END