Computing Machinery and Intelligence By Alan M. Turing Computing Machinery and Intelligence Published in “Mind: A Quarterly Review of Psychology and Philosophy”, in 1950. “I propose to consider the question, ‘Can machines think?’” About the paper Describes the imitation game, now called the Turing Test. Possibly one of most important and disputed topics in AI, philosophy of mind, cognitive science. The foundation of AI, and its ultimate goal? Useless and even harmful? A key paper regardless. The Imitation Game is man, WhichWhich is machine, which andand which is is woman??? woman??? Let’s try it…computer of poet? At six I cannot pray: Pray for lovers, through narrow streets And pray to fly But the Virgin in their dark wintry bed Let’s try it…computer of poet? What seas what shores what granite islands toward my timbers And woodthrush calling through the fog My daughter. Let’s try it…computer of poet? Men with picked voices chant the names of cities in a huge gallery: promises that pull through descending stairways to a deep rumbling. Let’s try it…computer of poet? Where were thou, sad Hour, selected from whose race is guiding me, Lured by the love of Autumn's being, Thou, from heaven is gone, where was lorn Urania When rocked to fly with thee in her clarion o'er the arms of death. A Brief History of AI, preTuring Test Greek mythology: Hephaestus, idea of intelligent robots. 13th century: talking heads, supposedly owned by Robert Bacon, Albert the Great 15th century: da Vinci drafted robot design 16th century: the Maharal of Prague’s Golem 17th century: Descartes – “animals are complex machines” 19th century: Charles Babbage’s Analytical Engine 1940’s: Isaac Asimov – “Three Laws of Robotics” 1943: McCulloch and Pitts, model neurons with algorithms? Turing’s contemporaries, and subsequent related work in AI Claude Shannon, 1950: algorithm for playing Chess. Alan Newell and Herbert Simon, 1956: one of first expert systems, Logic Theorist. Noam Chomsky, 1957: analyze language mathematically, Syntactic Structures. Friedberg, 1958: genetic algorithms. Joseph Weizenbaum, 1966: writes computer program ELIZA, with some success at imitation game Computerized human psychologist Minsky and Papert, 1968: wrote book Perceptrons, showing some limitations of neural nets. Slowed research in area. Kurzweil Reading Machine, 1976: read printed text. MYCIN, 1979: expert system that diagnosed some diseases. Proponents and Opponents of AI Lots of debate about potential success and limitations of AI. Herbert Simon, 1958: “within ten years a digital computer will be the world’s chess champion.” Hubert Dreyfus, 1972: What Computers Can’t Do Human intelligence is more than manipulation of symbols. John Searle, 1980: Opposed idea of strong AI, that machines can think, with “Chinese Room” thought experiment. The Paper ‘Can machines think?’ Description of machines, and universality of digital computers Possible objections to the question and the test, with responses: Not a meaningful question, definitional issues Instead, suggests imitation game Theological, mathematical, arguments from consciousness, originality, etc. Learning machines Digital Computers ‘Are there imaginable digital computers which would do well in the imitation game?’ Manchester Mark 1 Predictions In 1950, Turing predicted that 50 years later it will be possible to program a computer with ~100 Mb memory to pass TT 70% of the time, with 5 minute conversations. It will be natural to speak of computers ‘thinking’. “[The machine] may be used to help in making up its own programmes, or to predict the effect of alterations in its own structure.” “We may hope that machines will eventually compete with men in all purely intellectual fields.” Some Objections Theological objection: Thinking is part of humans’ souls, and so animals/machines can’t think. Head-in-the-sand objection: Consequences of thinking machines are dreadful, so let’s hope it’s not possible. Futuristic movies and books build upon this fear. Machines will never be able to do X. X = {be kind, friendly, have sense of humor, fall in love, etc.} Mathematical Objection Gödel’s Incompleteness Theorem: in any consistent logical system that includes number theory, there are statements that can’t be proved or disproved The halting problem: no machine can determine whether another machine will halt on a given input These show limitations to discrete-state machines But humans are not infallible Judge of the imitation game will not know if incorrect response is because of limitation or human error. Consciousness “Not until a machine can write a sonnet…because of thoughts and emotions felt…could we agree that machine equals brain…” – Professor Jefferson Really just attack on TT, but TT does not test whether computer thinks or feels. Solipsism: the only way to really know if a machine is thinking is to be the machine. Lady Lovelace’s Objection Wrote about Babbage’s Analytical Engine. Machine can not originate anything, and only does what it is programmed to do. But what about learning machines? Maybe machines can’t surprise? But then again, humans often are surprised by machines. In addition, what is surprise? Theorems may not be surprising after they are proven, but is there no virtue in proving them? Continuity of the Nervous System Nervous system is not a discrete-state machine, so can’t mimic by computer. Again, interrogator can’t tell difference Extra-Sensory Perception Seems to acknowledge overwhelming statistical evidence for telepathy. Imitation game fails with ESP, since human can communicate with interrogator via ESP. Telepathic human is better at guessing games (i.e. which hand is coin in?) To solve this, Turing suggests putting subjects in ‘telepathy-proof room’. Learning Machines “Presumably the child brain is something like a notebook as one buys it from the stationer’s. Rather little mechanism, and lots of blank sheets.” Replicate child brain, and then feed it information. Gives estimate of amount of storage in human brain: 109 decimal digits. Much less than currently believed. Believes that once memory is available, constructing a computer with a human-like mind is “mainly one of programming”. Even discusses ways of “teaching” computer. Later debate on the TT Stuart Shieber’s analogy: Deniers: intelligence is like bad cold. There is a germ, a hidden cause. Can’t “fake it”. Approvers: intelligence is like fluency in Italian. Talk to someone in Italian for an hour. Can’t say, “he doesn’t really know Italian, he’s just faking it.” Now say someone gets good grades, does well on Psychometry Can you say, “He’s not really intelligent, he’s just faking it to get into a good University”? Searle’s “Chinese Room” Thought experiment, 1980. Refined consciousness objection. There is a room, with a man who only speaks English. Man has book, with instructions: given some scribble in Chinese, output this scribble. A man fluent in Chinese sends messages (in Chinese) into room, and gets responses (also in Chinese). He can’t distinguish b/w man in room and fluent Chinese speaker. But does this mean the room knows Chinese?? Conclusion: TT only tests for “weak” AI, not “strong” AI. Psychologism and Behaviorism Ned Block, 1981. Intelligence can’t be based only on behavior TT does not demonstrate general capacity of machine for producing reasonable responses Even a mindless machine can pass TT: Have all possible conversations of given length in memory Machine just looks up correct response Clearly not intelligent For intelligence, need capacity and compactness: No exponential blow-up in storage TT Variations Harnad’s Total Turing Test: same as TT, but machine has to respond to all inputs, not just verbal. Needs robot with sensorimotor capabilities Watts’s Inverted Turing Test: roles reversed. Computer shouldn’t be able to distinguish its own outputs from those of a human. Schweizer’s Truly Total Turing Test: machines shouldn’t just be able to converse or play chess, but develop language and invent chess. Subject Matter Expert Turing Test: test only in some field. TT as Interactive Proof Shieber’s argument in favor of TT, against Block: Block: “Intelligence is capacity to produce sensible verbal responses to verbal stimuli without exponential storage” Shieber: TT does test for this! Conventional proof: prover P sends proof of assertion to verifier V, who verifies correctness. IP adds interaction and randomness Interaction: many rounds of message-passing Randomness: V may use random bits in message Also, V approves, but possibly with some small chance of error Interactive Proof of Capacity TT as proof of capacity “capacity to produce sensible responses to stimuli” Consider space of sequences of verbal stimuli A machine/person has capacity if it answers correctly on, say, 50% of space Now run k tests, and say subject passes 75% of time Chernoff: subject has capacity with probability exp(O(k)) Interactive Proof of Compactness TT as proof of compactness How can TT test for storage of machine? Assumption: machine can’t store more than amount of information in world. Upper bound: “without exponential blow-up in storage” Store bit at finest granularity: 10-35 meters Volume of universe: 1079 meters Total storage capacity of universe: < 10200 So computer needs capacity to pass a TT of log 10200 = 670 bits = 140 words < 1 minute of conversation! Current TT Achievements No computer has passed TT to date. AOLiza: modern spin-off of ELIZA IRC chatbots: people have conversations online with machines, can’t distinguish Loebner Prize: annual TT competition, prizes for passing TT and for “most human conversation”. Longest Bets Foundation has $10,000 bet b/w Mitch Kapor and Ray Kurzweil: No prize awarded for former yet. Will a computer pass a TT by 2029? CAPTCHA’s: completely automated public Turing test to tell computers and humans apart Conversations with a Computer PROGRAM: So what do you do for a living? JUDGE: I think. I do research. I write. I love. I live. PROGRAM: I wonder whether you think sometimes! I am feeling like the judge here! JUDGE: Huh? Conversations with a Computer PROGRAM: Is love the most important thing to you? How important is that to you? JUDGE: essential cure to my existential schizophrenia. PROGRAM: A striking example of the essential identity of the two tongues. Existential schizophrenia, that’s amusing. So do computers think? Interview with Gary Kasparov’s advisor after loss to Deep Blue: Q: “Did Gary Kasparov think the computer was thinking?” A: “Not thinking but that it was showing intelligent behavior…it understands strategy…” What now? “We can only see a short distance ahead, but we can see plenty there needs to be done.” -Alan M. Turing