For decades now computer scientists and futurists have been telling us that computers will achieve human-level artificial intelligence soon. That day appears to be off in the distant future. Why? In this penetrating skeptical critique of AI, computer scientist Peter Kassan reviews the numerous reasons why this problem is harder than anyone anticipated.
On March 24, 2005, an announcement was made in newspapers across the country, from the New York Times1 to the San Francisco Chronicle,2 that a company3 had been founded to apply neuroscience research to achieve human-level artificial intelligence. The reason the press release was so widely picked up is that the man behind it was Jeff Hawkins, the brilliant inventor of the PalmPilot, an invention that made him both wealthy and respected.4
You’d think from the news reports that the idea of approaching the pursuit of artificial human-level intelligence by modeling the brain was a novel one. Actually, a Web search for “computational neuroscience” finds over a hundred thousand webpages and several major research centers.5 At least two journals are devoted to the subject.6 Over 6,000 papers are available online. Amazon lists more than 50 books about it. A Web search for “human brain project” finds more than eighteen thousand matches.7 Many researchers think of modeling the human brain or creating a “virtual” brain a feasible project, even if a “grand challenge.”8 In other words, the idea isn’t a new one.
Hawkins’ approach sounds simple. Create a machine with artificial “senses” and then allow it to learn, build a model of its world, see analogies, make predictions, solve problems, and give us their solutions.9 This sounds eerily similar to what Alan Turing10 suggested in 1948. He, too, proposed to create an artificial “man” equipped with senses and an artificial brain that could “roam the countryside,” like Frankenstein’s monster, and learn whatever it needed to survive.11
The fact is, we have no unifying theory of neuroscience. We don’t know what to build, much less how to build it.12 As one observer put it, neuroscience appears to be making “antiprogress” — the more information we acquire, the less we seem to know.13 Thirty years ago, the estimated number of neurons was between three and ten billion. Nowadays, the estimate is 100 billion. Thirty years ago it was assumed that the brain’s glial cells, which outnumber neurons by nine times, were purely structural and had no other function. In 2004, it was reported that this wasn’t true.14
Even the most ardent artificial intelligence (A.I.) advocates admit that, so far at least, the quest for human-level intelligence has been a total failure.15 Despite its checkered history, however, Hawkins concludes A.I. will happen: “Yes, we can build intelligent machines.”16
A Brief History of A.I.
Duplicating or mimicking human-level intelligence is an old notion — perhaps as old as humanity itself. In the 19th century, as Charles Babbage conceived of ways to mechanize calculation, people started thinking it was possible — or arguing that it wasn’t. Toward the middle of the 20th century, as mathematical geniuses Claude Shannon,17 Norbert Wiener,18 John von Neumann,19 Alan Turing, and others laid the foundations of the theory of computing, the necessary tool seemed available.
In 1955, a research project on artificial intelligence was proposed; a conference the following summer is considered the official inauguration of the field. The proposal20 is fascinating for its assertions, assumptions, hubris, and naïveté, all of which have characterized the field of A.I. ever since. The authors proposed that ten people could make significant progress in the field in two months. That ten-person, two-month project is still going strong — 50 years later. And it’s involved the efforts of more like tens of thousands of people.
A.I. has splintered into three largely independent and mutually contradictory areas (connectionism, computationalism, and robotics), each of which has its own subdivisions and contradictions. Much of the activity in each of the areas has little to do with the original goals of mechanizing (or computerizing) human-level intelligence. However, in pursuit of that original goal, each of the three has its own set of problems, in addition to the many that they share.
Connectionism is the modern version of a philosophy of mind known as associationism.21 Connectionism has applications to psychology and cognitive science, as well as underlying the schools of A.I.22 that include both artificial neural networks23 (ubiquitously said to be “inspired by” the nervous system) and the attempt to model the brain.
The latest estimates are that the human brain contains about 30 billion neurons in the cerebral cortex — the part of the brain associated with consciousness and intelligence. The 30 billion neurons of the cerebral cortex contain about a thousand trillion synapses (connections between neurons).24
Without a detailed model of how synapses work on a neurochemical level, there’s no hope of modeling how the brain works.25 Unlike the idealized and simplified connections in so-called artificial neural networks, those synapses are extremely variable in nature — they can have different cycle times, they can use different neurotransmitters, and so on. How much data must be gathered about each synapse? Somewhere between kilobytes (tens of thousands of numbers) and megabytes (millions of numbers).26 And since the cycle time of synapses can be more than a thousand cycles per second, we may have to process those numbers a thousand times each second.
Have we succeeded in modeling the brain of any animal, no matter how simple? The nervous system of a nematode (worm) known as C. (Caenorhabditis) elegans has been studied extensively for about 40 years. Several websites27 and probably thousands of scientists are devoted exclusively or primarily to it. Although C. elegans is a very simple organism, it may be the most complicated creature to have its nervous system fully mapped. C. elegans has just over three hundred neurons, and they’ve been studied exhaustively. But mapping is not the same as modeling. No one has created a computer model of this nervous system — and the number of neurons in the human cortex alone is 100 million times larger. C. elegans has about seven thousand synapses.28 The number of synapses in the human cortex alone is over 100 billion times larger.
The proposals to achieve human-level artificial intelligence by modeling the human brain fail to acknowledge the lack of any realistic computer model of a synapse, the lack of any realistic model of a neuron, the lack of any model of how glial cells interact with neurons, and the literally astronomical scale of what is to be simulated.
The typical artificial neural network consists of no more than 64 input “neurons,” approximately the same number of “hidden neurons,” and a number of output “neurons” between one and 256.29 This, despite a 1988 prediction by one computer guru that by now the world should be filled with “neuroprocessors” containing about 100 million artificial neurons.30
Even if every neuron in each layer of a three- layer artificial neural net with 64 neurons in each layer is connected to every neuron in the succeeding layer, and if all the neurons in the output layer are connected to each other (to allow creation of a “winner-takes-all” arrangement permitting only a single output neuron to fire), the total number of “synapses” can be no more than about 17 million, although most artificial neural networks typically contain much, much less — usually no more than a hundred or so.
Furthermore, artificial neurons resemble generalized Boolean logic gates more than actual neurons. Each neuron can be described by a single number — its “threshold.” Each synapse can be described by a single number — the strength of the connection — rather than the estimated minimum of ten thousand numbers required for a real synapse. Thus, the human cortex is at least 600 billion times more complicated than any artificial neural network yet devised.
It is impossible to say how many lines of code the model of the brain would require; conceivably, the program itself might be relatively simple, with all the complexity in the data for each neuron and each synapse. But the distinction between the program and the data is unimportant. If each synapse were handled by the equivalent of only a single line of code, the program to simulate the cerebral cortex would be roughly 25 million times larger than what’s probably the largest software product ever written, Microsoft Windows, said to be about 40 million lines of code.31 As a software project grows in size, the probability of failure increases.32 The probability of successfully completing a project 25 million times more complex than Windows is effectively zero.
Moore’s “Law” is often invoked at this stage in the A.I. argument.33 But Moore’s Law is more of an observation than a law, and it is often misconstrued to mean that about every 18 months computers and everything associated with them double in capacity, speed, and so on. But Moore’s Law won’t solve the complexity problem at all. There’s another “law,” this one attributed to Nicklaus Wirth: Software gets slower faster than hardware gets faster.34 Even though, according to Moore’s Law, your personal computer should be about a hundred thousand times more powerful than it was 25 years ago, your word processor isn’t. Moore’s Law doesn’t apply to software.
And perhaps last, there is the problem of testing. The minimum number of software errors observed has been about 2.5 errors per function point.35 A software program large enough to simulate the human brain would contain about 20 trillion errors.
Testing conventional software (such as a word processor or Windows) involves, among many other things, confirming that its behavior matches detailed specifications of what it is intended to do in the case of every possible input. If it doesn’t, the software is examined and fixed. Connectionistic software comes with no such specifications — only the vague description that it is to “learn” a “pattern” or act “like” a natural system, such as the brain. Even if one discovers that a connectionistic software program isn’t acting the way you want it do, there’s no way to “fix” it, because the behavior of the program is the result of an untraceable and unpredictable network of interconnections.
Testing connectionistic software is also impossible due to what’s known as the combinatorial explosion. The retina (of a single eye) contains about 120 million rods and 7 million cones.36 Even if each of those 127 million neurons were merely binary, like the beloved 8×8 input grid of the typical artificial neural network (that is, either responded or didn’t respond to light), the number of different possible combinations of input is a number greater than 1 followed by 38,230,809 zeroes. (The number of particles in the universe has been estimated to be about 1 followed by only 80 zeroes.37) Testing an artificial neural network with input consisting of an 8×8 binary grid is, by comparison, a small job: such a grid can assume any of 18,446,744,073,709,551,616 configurations — orders of magnitude smaller, but still impossible.
Computationalism was originally defined as the “physical symbol system hypothesis,” meaning that “A physical symbol system has the necessary and sufficient means for general intelligent action.”38 (This is actually a “formal symbol system hypothesis,” because the actual physical implementation of such a system is irrelevant.) Although that definition wasn’t published until 1976, it co-existed with connectionism from the very beginning. It has also been referred to as “G.O.F.A.I.” (good old-fashioned artificial intelligence). Computationalism is also referred to as the computational theory of mind.39
The assumption behind computationalism is that we can achieve A.I. without having to simulate the brain. The mind can be treated as a formal symbol system, and the symbols can be manipulated on a purely syntactic level — without regard to their meaning or their context. If the symbols have any meaning at all (which, presumably, they do — or else why bother manipulating them?), that can be ignored until we reach the end of the manipulation. The symbols are at a recognizable level, more-or-less like ordinary words — a so-called “language of thought.”40
The basic move is to treat the informal symbols of natural language as formal symbols. Although, during the early years of computer programming (and A.I.), this was an innovative idea, it has now become a routine practice in computer programming — so ubiquitous that it’s barely noticeable.
Unfortunately, natural language — which may not literally be the language of thought, but which any human-level A.I. program has to be able to handle — can’t be treated as a formal symbol. To give a simple example, “day” sometimes mean “day and night” and sometimes means “day as opposed to night” — depending on context.
Joseph Weizenbaum41 observes that a young man asking a young woman, “Will you come to dinner with me this evening?”42 could, depending on context, simply express the young man’s interest in dining, or his hope to satisfy a desperate longing for love. The context — the so-called “frame” — needed to make sense of even a single sentence may be a person’s entire life.
An essential aspect of the computationalist approach to natural language is to determine the syntax of a sentence so that its semantics can be handled. As an example of why that is impossible, Terry Winograd43 offers a pair of sentences:
The committee denied the group a parade permit because they advocated violence.
The committee denied the group a parade permit because they feared violence.44
The sentences differ by only a single word (of exactly the same grammatical form). Disambiguating these sentences can’t be done without extensive — potentially unlimited — knowledge of the real world.45 No program can do this without recourse to a “knowledge base” about committees, groups seeking marches, etc. In short, it is not possible to analyze a sentence of natural language syntactically until one resolves it semantically. But since one needs to parse the sentence syntactically before one can process it at all, it seems that one has to understand the sentence before one can understand the sentence.
In natural language, the boundaries of the meaning of words are inherently indistinct, whereas the boundaries of formal symbols aren’t. For example, in binary arithmetic, the difference between 0 and 1 is absolute. In natural language, the boundary between day and night is indistinct, and arbitrarily set for different purposes. To have a purely algorithmic system for natural language, we need a system that can manipulate words as if they were meaningless symbols while preserving the truth-value of the propositions, as we can with formal logic. When dealing with words — with natural language — we just can’t use conventional logic, since one “axiom” can affect the “axioms” we already have — birds can fly; but penguins and ostriches are birds that can’t fly. Since the goal is to automate human-style reasoning, the next move is to try to develop a different kind of logic — so-called non-monotonic logic.
What used to be called logic without qualification is now called “monotonic” logic. In this kind of logic, the addition of a new axiom does- n’t change any axioms that have already been processed or inferences that have already been drawn. The attempt to formalize the way people reason is quite recent — and entirely motivated by A.I.. And although the motivation can be traced back to the early years of A.I., the field essentially began with the publication of three papers in 1980.46 However, according to one survey of the field in 2003, despite a quarter-century of work, all that we have are prospects and hope.47
An assumption of computationalists is that the world consists of unambiguous facts that can be manipulated algorithmically. But what is a fact to you may not be a fact to me, and vice versa.48 Furthermore, the computationalist approach assumes that experts apply a set of explicit, formalizable rules. The task of computationalists, then, is simply to debrief the experts on their rules. But, as numerous studies of actual experts have shown,49 only beginners behave that way. At the highest level of expertise, people don’t even recognize that they’re making decisions. Rather, they are fluidly interacting with the changing situation, responding to patterns that they recognize. Thus, the computationalist approach leads to what should be called “beginner systems” rather than “expert systems.”
The way people actually reason can’t be reduced to an algorithmic procedure like arithmetic or formal logic. Even the most ardent practitioners of formal logic spend most of their time explaining and justifying the formal proofs scattered through their books and papers — using natural language (or their own unintelligible versions of it). Even more ironically, none of these practitioners of formal logic — all claiming to be perfectly rational — ever seem to agree with each other about any of their formal proofs.
Computationalist A.I. is plagued by a host of other problems. First of all its systems don’t have any common sense.50 Then there’s “the symbol- grounding problem.”51 The analogy is trying to learn a language from a dictionary (without pictures) — every word (symbol) is simply defined using other words (symbols), so how does anything ever relate to the world? Then there’s the “frame problem” — which is essentially the problem of which context to apply to a given situation.52 Some researchers consider it to be the fundamental problem in both computationalist and connectionist A.I.53
The most serious computationalist attempt to duplicate human-level intelligence — perhaps the only serious attempt — is known as CYC54 — short for enCYClopedia (but certainly meant also to echo “psych”). The head of the original project and the head of CYCORP, Douglas Lenat55 has been making public claims about its imminent success for more than twenty years. The stated goal of CYC is to capture enough human knowledge — including common sense — to, at the very least, pass an unrestricted Turing Test.56 If any computationalist approach could succeed, it would be this mother of all expert systems.
Lenat had made some remarkable predictions: at the end of ten years, by 1994 he projected, the CYC knowledge base will contain 30–50% of consensus reality.57 (It is difficult to say what this prediction means, because it assumes that we know what the totality of consensus reality is and that we know how to quantify and measure it.) The year 1994 would represent another milestone in the project: CYC would, by that time, be able to build its knowledge base by reading online materials and ask questions about it, rather than having people enter information.58 And by 2001, Lenat said, CYC would have become a system with human-level breadth and depth of knowledge.59
In 1990, CYC produced what it termed “A Midterm Report.”60 Given that the effort started in 1984, calling it this implied that the project would be successfully completed by 1996, although in the section labeled “Conclusion” it refers to three possible outcomes that might occur by the end of the 1990s. One would hope that by that time CYC would at least be able to do simple arithmetic. In any case, the three scenarios are labeled “good” (totally failing to meet any of the milestones), “better” (which shifts the achievements to “the early twenty-first century” and that still consists of “doing research”), and “best” (in which the achievement still isn’t “true A.I.” but only the “foundation for … true A.I.” in — 2015).
Even as recently as 2002 (one year after CYC’s predicted achievement of human-level breadth and depth of knowledge), CYC’s website was still quoting Lenat making promises for the future: “This is the most exciting time we’ve ever seen with the project. We stand on the threshold of success.”61
Perhaps most tellingly, Lenat’s principal coworker, R.V. Guha62 left the team in 1994, and was quoted in 1995 as saying “CYC is generally viewed as a failed project. The basic idea of typing in a lot of knowledge is interesting but their knowledge representation technology seems poor.”63 In the same article, Guha is further quoted as saying of CYC, as could be said of so many other A.I. projects, “We were killing ourselves trying to create a pale shadow of what had been promised.” It’s no wonder that GOFA.I. has been declared “brain-dead.”64
The third and last major branch of the river of A.I. is robotics — the attempt to build a machine capable of autonomous intelligent behavior. Robots, at least, appear to address many of problems of connectionism and computationalism: embodiment,65 lack of goals,66 the symbol-grounding problem, and the fact that conventional computer programs are “bedridden.”67
However, when it comes to robots, the disconnect between the popular imagination and reality is perhaps the most dramatic. The notion of a fully humanoid robot is ubiquitous not only in science fiction but in supposedly non-fictional books, journals, and magazines, often by respected workers in the field.
This branch of the river has two sub-branches, one of which (cybernetics) has gone nearly dry, the other of which (computerized robotics) has in turn forked into three sub-branches. Remarkably, although robotics would seem to be the most purely down-to-earth engineering approach to A.I., its practitioners spend as much time publishing papers and books as do the connectionists and the computationalists.
While Turing was speculating about building his mechanical man, W. Grey Walter68 built what was probably the first autonomous vehicle, the robot “turtles” or “tortoises,” Elsie and Elmer. Following a cybernetic approach rather than a computational one, Walter’s turtles were controlled by a simple electronic circuit with a couple of vacuum tubes.
Although the actions of this machine were trivial and exhibited nothing that even suggested intelligence, Grey has been described as a robotics “pioneer” whose work was “highly successful and inspiring.”69 On the basis of experimentation with a device that, speaking generously, simulated an organism with two neurons, he published two articles in Scientific American70 (one per neuron!), as well as a book.71
Cybernetics was the research program founded by Norbert Wiener,72 and was essentially analog in its approach. In comparison with (digital) computer science, it is moribund if not quite dead. Like so many other approaches to artificial intelligence, the cybernetic approach simply failed to scale up.73
The history of computerized robotics closely parallels the history of A.I. in general:
- Grand theoretical visions, such as Turing’s musings (already discussed) about how his mechanical creature would roam the countryside.
- Promising early results, such as Shakey, said to be “the first mobile robot to reason about its actions.”74
- A half-century of stagnation and disappointment.75
- Unrepentant grand promises for the future.
What a roboticist like Hans Moravec predicts for robots is the stuff of science fiction, as is evident by the title of his book, Robot: Mere Machine to Transcendent Mind.76 For example, in 1997 Moravec asked the question, “When will computer hardware match the human brain?” and answered “in the 2020s.”77 This belief that robots will soon transcend human intelligence is echoed by many others in A.I.78
In the field of computerized robots, there are three major approaches:
- TOP-DOWN The approach taken with Shakey and its successors, in which a computationalist computer program controls the robot’s activities.79 Under the covers, the programs take the same approach as good old-fashioned artificial intelligence, except that instead of printing out answers, they cause the robot to do something.
- OUTSIDE-IN Consists of creating robots that imitate the superficial behavior of people, such as responding to the presence of people nearby, tracking eye movement, and so on. This is the approach largely taken recently by people working under Rodney A. Brooks.80
- BOTTOM-UP Consists of creating robots that have no central control, but relatively simple mechanisms to control parts of their behavior. The notion is that by putting together enough of these simple mechanisms (presumably in the right arrangement), intelligence will “emerge.” Brooks has written extensively in support of this approach.81
The claims of roboticists of all camps range from the unintelligible to the unsupportable.
As an example of the unintelligible, consider MIT’s Cog (short for “cognition”). The claim was that Cog displayed the intelligence (and behavior) of, initially, a six-month old infant. The goal was for Cog to eventually display the intelligence of a two-year-old child.82 A basic concept of intelligence — to the extent that anyone can agree on what the word means — is that (all things being equal) it stays constant throughout life. What changes as a child or animal develops is only the behavior. So, to make this statement at all intelligible, it would have to be translated into something like this: the initial goal is only that Cog will display the behavior of a six-month-old child that people consider indicative of intelligence, and later the behavior of a two-year-old child.
Even as corrected, this notion is also fallacious. Whatever behaviors a two-year-old child happens to display, as that child continues to grow and develop it will eventually display all the behavior of a normal adult, because the two- year-old has an entire human brain. However, even if we manage to create a robot that mimics all the behavior of a two-year-old child, there’s reason to believe that that same robot will without any further programming, ten years later, display the behavior of a 12-year-old child, or later, display the behavior of an adult.
Cog never even displayed the intelligent behavior of a typical six-month-old baby.83 For it to behave like a two-year-old child, of course, it would have to use and understand natural language — thus far an insurmountable barrier for A.I..
The unsupportable claim is sometimes made that some robots have achieved “insect-level intelligence,” or at least robots that duplicate the behavior of insects.84 Such claims seem plausible simply because very few people are entomologists, and are unfamiliar with how complex and sophisticated insect behavior actual is.85 Other experts, however, are not sure that we’ve achieved even that level.86
According to the roboticists and their fans, Moore’s Law will come to the rescue. The implication is that we have the programs and the data all ready to go, and all that’s holding us back is a lack of computing power. After all, as soon as computers got powerful enough, they were able to beat the world’s best human chess player, weren’t they? (Well, no — a great deal of additional programming and chess knowledge was also needed.)
Sad to say, even if we had unlimited computer power and storage, we wouldn’t know what to do with it. The programs aren’t ready to go, because there aren’t any programs.
Even if it were true that current robots or computers had attained insect-level intelligence, this wouldn’t indicate that human-level artificial intelligence is attainable. The number of neurons in an insect brain is about 10,000 and in a human cerebrum about 30,000,000,000. But if you put together 3,000,000 cockroaches (this seems to be the A.I. idea behind “swarms”), you get a large cockroach colony, not human-level intelligence. If you somehow managed to graft together 3,000,000 natural or artificial cockroach brains, the results certainly wouldn’t be anything like a human brain, and it is unlikely that it would be any more “intelligent” than the cockroach colony would be. Other species have brains as large as or larger than humans, and none of them display human-level intelligence — natural language, conceptualization, or the ability to reason abstractly.87 The notion that human- level intelligence is an “emergent property” of brains (or other systems) of a certain size or complexity is nothing but hopeful speculation.
With admirable can-do spirit, technological optimism, and a belief in inevitability, psychologists, philosophers, programmers, and engineers are sure they shall succeed, just as people dreamed that heavier-than-air flight would one day be achieved.88 But 50 years after the Wright brothers succeeded with their proof-of-concept flight in 1903, aircraft had been used decisively in two world wars; the helicopter had been invented; several commercial airlines were routinely flying passengers all over the world; the jet airplane had been invented; and the speed of sound had been broken.
After more than 50 years of pursuing human- level artificial intelligence, we have nothing but promises and failures. The quest has become a degenerating research program89 (or actually, an ever-increasing number of competing ones), pursuing an ever-increasing number of irrelevant activities as the original goal recedes ever further into the future — like the mirage it is.
References & Notes
- Markoff, John, “A New Company to Focus on Artificial Intelligence,” New York Times, March 24, 2005, available at www.nytimes.com/2005/03/24/technology/24think.html
- Raine, George, “Palm Founders to Start New Firm,” San Francisco Chronicle, March 24, 2005, available at www.sfgate.com/cgi-bin/article.cgi?file=/chronicle/archive/2005/03/24/BUG07BTARA1.DTL&type=business
- Hawkins is also the author (with Sandra Blakeslee) of On Intelligence, 2004, as well as the director of the Redwood Neurosci-ence Institute (www.rni.org), a research company affiliated with the Helen Wills Neuro-science Institute (http://neuroscienceberkeley.edu) at the University of California at Berkeley. See www.rni.org/HelenWillisNeuroscienceInstitute.html
- For example: The Organization for Computational Neurosciences (www.cnsorg.org); The Swartz Center for Computational Neuroscience at the University of California at San Diego (www.sccn.ucsd.edu); The Computational Neuroscience Program at the University of Minnesota (www.compneuro.umn.edu); and The Laboratory for Computational Neuro-science at the Department of Neurosurgery of Presbyterian University Hospital (www.neuronet.pitt.edu/groups/lcn).
- The Journal of Computational Neuroscience, published by Springer, and another with the identical title from Kluwer Academic Publishers.
- These include pages from the project sponsored by the federal government’s National Institutes of Mental Health that started in 1993 (www.nimh.nihgov/neuro.informatics), as well as human brain projects (many of them funded by the NIMH itself) at Washington University (sig.biostr .washington.edu/projects/brain), the California Institute of Technology (www.gg.caltech.edu/hbp), University of Southern California (www-hbp.usc.edu), University of California at Davis and San Diego (neuroscience.ucdavis.edu/hbp), Cornell University (neocortex.med.cornelledu),.Stanford University (spnl.stanford.edu/tools/human_brain_proj.htm), and elsewhere across the country and the globe.
- See, for example: Adams, Bruce and Stephen Ottley, “Brain Simulation,” 2000, available at www.cybernetics.demon.co.uk/brainsim.html and “The Virtual Brain Machine Project,” 2001, available at www.cybernetics.demon.co.uk/VBM.html; Sloman, Aaron (moderator), “Grand Challenge 5: The Architecture of Brain and Mind,” 2004 [based on a draft by Mike Denham, 2003], available at www.nesc.ac.uk/esi/events/Grand_Challenges/proposals/ ArchitectureOfBrainAndMind.pdf; and Borisyuk, Roman, “The Grand Challenge for the 21st Century: A Theory of the Brain,” ND (2002?), available at www.nesc.ac.uk/esi/events/Grand_Challenges/paneld/d2.pdf.
- Hawkins, Jeff, with Sandra Blakeslee, On Intelligence, 2004.
- The mathematician generally considered to be the founder of computer science.
- Turing, Alan “Intelligent Machinery,” 1948, available at www.turingarchive.org/browse.php/C/11. This is one of at least five versions of what was originally a talk given in 1948 and eventually published. This and several other versions are avail able online at the Turing Archive, www.turingarchive.org.
- As John R. Searle (professor of the philosophy of the mind and language at the University of California at Berkeley) writes in The Mystery of Consciousness, 1997: “The dirty secret of contemporary neuroscience is … [that] [s]o far we do not have a unifying theoretical principle of neuroscience. In the way that we have an atomic theory of matter, a germ theory of disease, a genetic theory of inheritance, a tectonic plate theory of geology, a natural selection theory of evolution, a blood- pumping theory of the heart, and even a contraction theory of the muscles, we do not in that sense have a theory of how the brain works. We know a lot of facts about what actually goes on in the brain, but we do not yet have a unifying theoretical account of how what goes on at the level of the neurobiology enables the brain to do what it does by way of causing, structuring, and organizing our mental life.”
- Horgan, John, The Undiscovered Mind How: the Human Brain Defies Replication, Medication, and Explanation, 1999. The term “anti-progress” is Horgan’s.
- As Douglas R. Fields reports in “The Other Half of the Brain,” Scientific American, April, 2004, “Mounting evidence suggests that glial cells, overlooked for half a century, may be nearly as critical to thinking and learning as neurons are.” Claudia Krebs, Kertsin Hüttmann and Christian Steinhäuser, “The Forgotten Brain Emerges,” Scientific American [Mind] Special, Vol. 14, No. 5, 2004, write: “After disregarding them for decades, neuroscientists now say glial cells may be nearly as important to thinking as neurons are.”
- As James P. Hogan wrote in Mind Matters: Exploring the World of Artificial Intelligence (1997), “[W]e haven’t really come a long way. … [T]he early A.I. vision of reproducing all-around humanlike reasoning and perception remains as elusive as ever.” In “When Machines Outsmart Humans,” 2000, Futures, Vol. 35:7, available at www.nickbostrom.com/2050/outsmart.html, Nick Boostrom, Faculty of Philosophy, Oxford University, England, wrote: “The annals of artificial intelligence are littered with broken promises. Half a century after the first electric computer, we still have nothing that even resembles an intelligent machine, if by ‘intelligent’ we mean possessing the kind of general-purpose smartness that we humans pride ourselves on.” In the “The Complexity Ceiling,” in The Next Fifty Years (edited by John Brockman, 2002), Jaron Lanier (an eminent computer scientist known for coining the phrase “virtual reality” and for founding VPL Research, probably the first virtual reality company, later acquired by Sun Microsystems — see www.sun.com/smi/Press/sunflash/1998-02/sunflash.980223.1.html) wrote, “The first fifty years of general computation, which roughly spanned the second half of the twentieth century, were characterized by extravagant swings between giddy overstatement and embarrassing near-paralysis. The practice of overstatement continues … Accompanying the parade of quixotic overstatements of theoretical computer power has been a humiliating and unending sequence of disappointments in the performance of real information systems.”
- Hawkins, Jeff, with Sandra Blakeslee, On Intelligence, 2004.
- A mathematician at Bell Telephone Laboratories and the inventor of information theory.
- A mathematician and founder of the science of cybernetics.
- A mathematician credited, among other things, with the architecture of serial computers.
- McCarthy, J, M. L. Minsky, N. Rochester, and C.E. Shannon, “A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence,” 1955, available at www.formal.stanford.edu/jmc/history/dartmouth/dartmouth.html
- Associationism is paradoxically both attributed to and rejected by John Locke. Others trace elements of this idea back as far as Aristotle and Plato. See Young, Robert M., “Association of Ideas,” Dictionary of the History of Ideas, available at etext.lib.virginia.edu/cgi-local/DHI/dhiana.cgi?id=dv1-19
- See: Eliasmith, Chris, “Connectionism,” 2004, Dictionary of Philosophy of Mind, available at artsci.wustl.edu/~philos/MindDict/connectionism.html; Garson,James, “Connectionism, ”[1997–2002], The Stanford Encyclopedia of Philosophy, 2002, Edward N. Zalta (ed.), available at plato.stanford.edu/archives/win2002/entries/connectionism; “Connectionism,” 2003, FOLDOP3.0 Free On-Line Dictionary of Philosophy, Gian Paolo Terravecchia, Chief Editor and Project Coordinator, available at www.swif.it/foldop/dizionario.php?ind=fconnectionism; Aizawa, Ken, “History of Connectionism,” 2004, available at www.artsci.wustl.edu/~philos/Mind Dict/connectionismhistory.html; “History of Connectionism,” 2003, FOLDOP3.0 Free On-Line Dictionary of Philosophy, Gian Paolo Terravecchia, Chief Editor and Project Coordinator, available at www.swif.it/foldop/dizionario.php?query=connectionism+history+of; Pollack, Jordan B., “Connectionism: Past, Present, and Future,” 1989, available at demo.cs.brandeis.edu/papers/nnhistory.pdf; Berkeley, Istvan S. N., “A Revisionist History of Connectionism,” 1997, available at www.ucs.louisiana.edu/~isb9112/dept/phil341/histconn.html.
- Generally credited as having been invented by Warren McCullough (a psychiatrist at the University of Chicago) and Walter Pitts (a mathematician and logician at the same university). See McCullough, Warren and Walter Pitts and Walter Pitts, “A logical calculus of the ideas immanent in nervous activity,” 1943, Bulletin of Mathematical Biophysics, Vol. 5, 1943. For a detailed analysis of this difficult-to-find paper, see Piccinini, Gualtiero, “The First Computational Theory of Mind and Brain: A Close Look at McCulloch and Pitts’s ‘Logical Calculus of Ideas Immanent in Nervous Activity’,” ND, available at www.artsci.wustl.edu/~gpiccini/First%20Computational%20Theory.pdf. However, their ideas were similar in many respects to the work of W. Ross Ashby, a British psy chiatrist (see Ashby, W. Ross, “Principles of the Self-Organizing Dynamic System,” 1947, Journal of General Psychology, Vol. 37, 1947, and Ashby, W. Ross, Design for a Brain: The Origin of Adaptive Behaviour, 1952 [First edition], Donald Hebb, a psychologist at McGill University in Canada, (see Hebb, Donald, The Organization of Behavior: A Neuropsychological Theory, 1949, as well, of course, as Norbert Wiener. Later seminal work on artificial neural networks include the Perceptron, credited to Frank Rosenblatt, a professor of Neuro-biology & Behavior at Cornell, working at the Cornell Aeronautical Laboratory in the period 1957–1960. See Rosenblatt, Frank, “The Perceptron: A Probabilistic Model for Information Storage and Organization in the Brain,” 1958, Cornell Aero-nautical Laboratory, Psychological Review, v 65, No. 6, 1958 and Rosenblatt, Frank, Principles of Neurodynamics; Perceptrons and the Theory of Brain Mechanisms, 1962. See also Minsky, Marvin And Papert, Seymour, Perceptrons: an Introduction to Computational Geometry, 1969 [First Edition], 1987 [Expanded Edition].
- These statistics are from Gerald M. Edelman and Giulio Tononi, A Universe of Consciousness: How Matter Becomes Imagination, 2000, but they’re consistent with estimates from a variety of other sources.
- See www.ninds.nih.gov/news_and_events/proceedings/ computationalwkshp_technical.htm.
- Kristen M. Harris, a professor in the department of neurology at the Medical College of Georgia and the principal investigator at the Laboratory of the Synapse Structure and Function at the Medical College of Georgia (synapses.mcg.edu/lab/lab.htm) and the creator of the Synapse Web (synapses.mcg.edu), suggests that the numbers are in the megabytes (personal communication). Mark Ellisman, a professor of both neuroscience and bioengineering and the Director of the National Center for Microscopy and Imaging Research at the Center for Research in Biological Systems of the University of California, San Diego (www-ncmir.ucsd.edu), suggests that there are probably between five and twenty thousand macromolecules involved in the structure, function, and dynamics of each synapse (personal communication).
- Such as www.wormbase.org, www.wormatlas.org, and www.bio logie.ens.fr/bcsgnce.
- See Bessereau, Jean-Louis (group leader), “Genetics and Neurobiology of C. elegans” website, www.biologie.ens.fr/bcsgnce.
- For an example of an artificial neural network with 64 input neurons (and apparently only one output neuron), see “Who Wrote The Book of Life?: Picking Up Where D’Arcy Thompson Left Off,” 1999, on the NASA website, science.nasa.gov/newhome/headlines/ast28may 99_1.htm. This artificial neural network, it is said, will require the resources of a supercomputer to process its 10,000 training cases.
- James Martin, an eminent computer scientist known as “the Guru of the Information Age” and credited with writing over one hundred textbooks predicted this in PC Week, November 21, 1988.
- As James A. Whittaker, an associate professor and director of the Center for Software Engineering Research at the computer sciences department at the Florida Institute of Technology, wrote in How to Break Software: A Practical Guide to Testing, 2003: “Building nontrivial software is an enormously difficult endeavor and usually results in software that fails once it gets fielded.” As Jaron Lanier wrote in “The Complexity Ceiling,” in John Brockman (ed.), The Next Fifty Years, 2002: “ … [T]he complexity of software is currently limited by the ability of human engineers to explicitly analyze and manage it, we can be said to have already reached the complexity ceiling of software as we know it. If we don’t find a different way of thinking about and creating software, we will not be writing programs bigger than about 10 million lines of code no matter how fast, plentiful, or exotic our processors become.”
- As industry expert Capers Jones, Chief Scientist Emeritus at a company called Software Productivity Research (www.spr.com) put it in “Conflict and Litigation Between Clients and Developers,” 2004, unpublished manuscript: “[T]he development of large applications in excess of 10,000 function points [at about 125 lines of code per function point, that’s about 1,250,000 lines of code] is one of the most hazardous and risky undertakings of the modern world.” According to statistics reported by Jones, the probability of a project of 100,000 function points [that is, about 12,500,000 lines of code] failing is about two out of three. As Jaron Lanier wrote in “One-Half of a Manifesto: Why Stupid Software will save the future from neo-Darwinian machines,” Wired, December 2000, available at www.wired.com/wired/archive/8.12/lanier.html, “Getting computers to perform specific tasks of significant complexity in a reliable … way … is essentially impossible.”
- Moore, Gordon E., “Cramming more components onto integrated circuits,” Electronics, April 1965, available at download.intel.com/research/silicon/moorespaper.pdf. See also: Brampton, Martin, “Devil’s Advocate: More to Moore’s Law,” 2004, www.silicon.com/comment/0,39024711,39117869,00.htm; Tuomi, Ilkka, “The Lives and Death of Moore’s Law,” 2002, First Monday, Vol. 7, No. 11, 2002 available at firstmonday.org/issues/issue7_11/tuomi/index.html.
- An eminent computer scientist, now retired, formerly Assistant Professor of Computer Science at Stanford University and at the University of Zurich.
- Jones, Capers, Applied Software Measurement, 1996, and Software Quality: Analysis and Guidelines for Success, 1997. A function point is equivalent to about 125 lines of code.
- Hoffman, Donald D. Visual Intelligence, 1998.
- See www.cs.wpi.edu/~kfisler/Courses/Rice/210/Labs/lab09/univSize.html.
- Newell, A. and Herbert A. Simon [both researchers at the RAND Corporation, perhaps the world’s first “think tank”], “Computer science as empirical enquiry: symbols and search,” Communications of the ACM, Vol. 19, No. 3, 1976.
- Just as connectionism has its antecedents in the philosophy of mind known as associationism, computationalism has been said to be the modern equivalent of rationalist psychology, which has been traced back to Kant and said to have its roots as early as Aristotle. See Fodor, Jerry, The Mind Doesn’t Work That Way: The Scope and Limits of Computational Psychology, 2000; Schwarz, Georg, “What is Computationalism?,” 1990, available at www.aec.at/en/archiv_files/19902/E1990b_107.pdf; Horst, Steven, “The Computational Theory of Mind,” 2003, The Stanford Encyclopedia of Philosophy, Edward N. Zalta (ed.), available at plato.stanford.edu/archives/fall2003/entries/computational-mind.
- As Jerry Fodor (a professor of philosophy at Rutgers University ) explains the idea in The Mind Doesn’t Work That Way: The Scope and Limits of Computational Psychology, 2000, “Mental processes (including … thinking) are computations, that is, they are operations defined on the syntax of mental representations, and they are reliably truth preserving in indefinitely many cases.” See also Aydede, Murat, “The Language of Thought Hypothesis,” 2004, The Stanford Encyclopedia of Philosophy, Edward N. Zalta (ed.), available at plato.stanford.edu/archives/fall2004/entries/language-thought.
- A prominent computer scientist and author, currently Emeritus Professor of Computer Science at the Laboratory for Computer Science at MIT. Weizenbaum is the author of the notorious computer program ELIZA.
- Weizenbaum, Joseph, Computer Power and Human Reason, 1967. Volume 12 Number 2 2006.
- A professor of computer science at Stanford University.
- Winograd, Terry, Understanding Natural Language, 1972.
- As Daniel C. Dennett (a professor of philosophy and director of the Center for Cognitive Studies at Tufts University) points out in Brainchildren: Essays on Designing Minds, 1998, one could imagine a world in which the committee advocated violence and the group seeking the permit feared it.
- Thomason, Richmond, “Logic and Artificial Intelligence,” The Stanford Encyclopedia of Philosophy (2003), Edward N. Zalta (ed.), plato.stanford.edu/archives/fall2003/entries/logic-ai
- As Richmond Thomason wrote in “Logic and Artificial Intelligence,” The Stanford Encyclopedia of Philosophy, 2003, Edward N. Zalta (ed.), plato.stanford.edu/archives/fall2003/entries/logic-ai: “[T]here is reason to hope that the combination of logical methods with planning applications in A.I. can enable the development of a far more comprehensive and adequate theory of practical reasoning than has heretofore been possible. As with many problems having to do with common sense reasoning, the scale and complexity of the formalizations that are required are beyond the traditional techniques of philosophical logic.”
- As Alexander Riegler (postdoctoral fellow at the Center Leo Apostel at the Vrije Universiteit Brussel) puts it in “When is a Cognitive System Embodied?” 2002, Cognitive Systems Research 3, available at www.univie.ac.at/constructivism/people/riegler/papers/riegler02embodiment.pdf: “The wrong assumption [of computationalist approaches] is that the world is a collection of facts that could be arbitrarily combined with each other. Even if we managed the combinatorial complexity, a question would remain: what is a fact?”
- See, for example: Klein, Gary, Sources of Power: How People Make Decision, 1999; and Dreyfus, Hubert L. and Stuart E. Dreyfus, Mind over Machine, 1986.
- As Jerry Fodor wrote in The Mind Doesn’t Work That Way, 2000: “[T]he failure of artificial intelligence to produce successful simulations of routine commonsense cognitive competences is notorious, not to say scandalous.” For one example of an attempted solution, see McCarthy, John, “Artificial Intelligence, Logic and Formalizing Common Sense,” 1990, available at www-formal.stanford.edu/jmc/ailogic/ailogic.html. See also the “Open Mind Common Sense” page at commonsense.media.mit.edu/cgi-bin/search.cgi and the “Commonsense Computing @ Media” page at csc.media.mit.edu.
- As Steven Harnad (at the School of Electronics and Computer Science at the University of Southampton, England ) puts it in “The Symbol Grounding Problem,” 1990, Physica D 42, 1990, available at www.ecs.soton.ac.uk/~harnad/Papers/Harnad/harnad90.sgproblem.html, “How can the meanings of the meaning less symbol tokens, manipulated solely on the basis of their (arbitrary) shapes, be grounded in anything but other meaningless symbols?”
- See Shanahan, Murray, “The Frame Problem,” 2004, The Stanford Encyclopedia of Philosophy, Edward N. Zalta (ed.), available at plato.stanford.edu/archives/spr2004/entries/frame-problem.
- See, for example, Fodor, Jerry, The Mind Doesn’t Work That Way, 2000.
- The story of CYC has been told many times in many books and on many websites, including on CYC’s own website (www.cyc.com). There is also an open-source version, known as OPENCYC (www.opencyc.org). Microelectronics and Computer Technology Corporation was (and apparently still is) part of the University of Texas, Austin. (In 1995, the effort was spun off into the separate corporation now known as CYCORP.)
- A computer science pioneer and a professor at Stanford University and elsewhere.
- As Lanier put it, the Turing Test “is the creation myth of artificial intelligence.” For a thorough introduction, see Oppy, Graham, Dowe, David, “The Turing Test,” 2003, The Stanford Encyclopedia of Philosophy, Edward N. Zalta (ed.), available at plato.stanford.edu/archives/sum2003/entries/turing-test.
- Quoted in Copeland, Jack, Artificial Intelligence, 1993.
- Copeland, Jack, Artificial Intelligence, 1993. A small portion of Copeland’s work on CYC is available at ejap.louisiana.edu/EJAP/1997.spring/copeland976.2.html.
- Copeland, Jack, Artificial Intelligence, 1993.
- See www.opencyc.org/cyc/company/news/APArticle060902.
- A Ph.D. in computer science (Stanford University) and the coauthor of several papers about CYC, including the previously mentioned midterm report, as well as a book about the effort (Lenat, D. B. and R.V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project, 1990).
- Guha, R.V., quoted in D. Stipp, “2001 is just around the corner. Where’s Hal?” Fortune, 1995, cited by Deniz Yuret, available at home.ku.edu.tr/~dyuret/pub/cyc96/node1.html
- Baard, Mark, “A.I. Founder Blasts Modern Research,” Wired News, 2003, available at www.wired.com/news/technology/0,1282,58714,00.html
- See Lakoff, G., and Mark Johnson, Philosophy In the Flesh: The Embodied Mind And Its Challenge To Western Thought, 1999. See also Cowart, Monica, “Embodied Cognition,” ND, The Internet Encyclopedia of Philosophy, available at www.iep.utm.edu/e/embodcog.htm.
- As Pinker wrote in How the Mind Works, 1997, “Without goals, the very concept of intelligence is meaningless.”
- Dennett, Daniel, Brainchildren, 1998.
- A neurophysiologist working at the Burden Neurological Institute in Bristol, England.
- Walter, W. Grey, “An Imitation of Life,” Scientific American, May 1950, and “A Machine that Learns,” Scientific American, August 1951.
- Walter, W. Grey, The Living Brain, 1963.
- Wiener, Norbert, Cybernetics, 1948, 1961.
- As Hans Moravec (an adjunct research professor at the Robotics Institute of Carnegie Mellon University) wrote in Moravec, Hans, Robot: Mere Machine to Transcendent Mind, 1998: “Cybernetics attempted to copy nervous system function by imitating its physical structure. The approach stumbled in the 1960s on the difficulty of constructing all but the simplest artificial nervous systems…”
- This characterization is ubiquitous. See for example www.sri.com/about/timeline/shakey.html. Shakey is widely discussed in the popular histories of A.I. and robots. For the official history, see www.ai.sri.com/shakey.
- As Moravec wrote in Robot: Mere Machine to Transcendent Mind, 1998, the results of all this work “…were like a cold shower … [T]he best robot-control programs, besides being … difficult to write, took hours to find and pick up a few blocks on a table-top, and often failed completely, performing much worse than a six-month-old child.”
- Moravec, Hans, Robot: Mere Machine to Transcendent Mind, 1998.
- Moravec, Hans, “When Will Computer Hardware Match the Human Brain?,” 1997, Journal of Evolution and Technology, 1998, 88. The Defense Advanced Research Projects Agency of the Department of Defense. See www.darpa.mil. 77. Moravec, Hans, “When Will Computer Hardware Match the Human Brain?,” 1997, Journal of Evolution and Technology, 1998, Vol. 1, available at www.transhumanist.com/volume1/mora.
- Again, this is evident from mere book titles, such as Kurzweil, Ray, The Age of Spiritual Machines: When Computers Exceed Human Intelligence, 1999.
- See Dean, Thomas, “Robot Architectures,” 2002, available at www.cs.brown.edu/people/tld/courses/cs148/02/architectures.html.
- A professor of computer science at MIT and director of the MIT Computer Science and Artificial Intelligence Laboratory (www.ai.mit.edu/ projects/humanoid-robotics-group).
- For example, Brooks, Rodney, A, “Intelligence without Representation,” 1987, Artificial Intelligence 47, available at people.csail.mit.edu/u/b/brooks/public_html/papers/representation.pdf.
- See for example, www.eecs.mit.edu/100th/images/Brooks.
- For an indication of what those behaviors are, see www.childdevelopmentinfo.com/development/normaldevelopment.shtml and www.envisage design.com/ohbaby/develop.html.
- See, for example www.uh.edu/engines/epi434.htm. Brooks had expressed this as a two-year goal in Brooks, Rodney, A, “Intelligence without Representation,” 1987, Artificial Intelligence 47, 1991, available at people.csail.mit.edu/u/b/brooks/public_html/papers/representation.pdf. Quoting Hans Moravec in Robot again: “Today’s best commercial robots are controlled by computers just powerful enough to produce insect-grade behavior.”
- For a readable introduction to one type of insect, see Gordon, David George, The Compleat Cockroach: A Comprehensive Guide to the Most Despised (And Least Understood) Creature on Earth, 1996.
- Nils Nillson (principal researcher on Shakey, eminent and pioneering computer scientist, and now professor of engineering, emeritus, at the Artificial Intelligence Laboratory of the Department of Computer Science at Stanford University), personal communication.
- The issue of how to compare the brains of animals of different species is extremely complicated. See Walker, S.F., Animal Thought, 1983, of which Chapter 4, “The Phylogenetic Scale, Brain Size and Brain Cells” is available online at www.psyc.bbk.ac.uk/people/academic/walker_s/pubs/an-thought/at-ch4.html. For indications that even our closest living relative, the chimpanzee, is incapable of reasoning abstractly and forming true concepts, see Povinelli, Daniel J., Folk Physics for Apes: The Chimpanzee’s Theory of How the World Works, 2000.
- The airplane is every A.I. advocate’s favorite analogy. As Edward A. Feigenbaum and Julian Feldman wrote in “What Are the Limits of Artificial Intelligence Research?” in Edward A. Feigenbaum and Julian Feldman (eds.), Computers and Thought, 1963: “Today, despite our ignorance, we can point to that biological milestone, the thinking brain, in the same spirit as the scientists many hundreds of years ago pointed to the bird as a demonstration in nature that mechanisms heavier than air could fly.”
- The concept is that of Imre Lakatos, a philosopher of science at the London School of Economics until his death in 1974. See Lakatos, Imre, “Falsification and the Methodology of Scientific Research Programmers,” in Lakatos, Imre and Alan Musgrave (eds.), Criticism and the Growth of Knowledge: Vol. 4: Proceedings of the International Colloquium in the Philosophy of Science, 1965.