What Computers Can't Do: The Limits of Artificial Intelligence is a controversial work on artificial intelligence, authored by Hubert Dreyfus, a professor of philosophy at the University of California, Berkeley. The book deals with the idea that thought, intelligence or reason can be reduced to computation. After a summary of the idea's history Dreyfus proceeds to attack this project, and show why it is impossible, regardless of the claims of the Artificial Intelligence (AI) research community. No other book has ever produced as much controversy and emotion in the Artificial Intelligence community.

The book's argument

Dreyfus summarizes the History of artificial intelligence both as a conceptual aspiration (up to the 20th century) and as a technology (since). The book takes great exception to the unwarranted optimism that seems to permeate the field, for example. Herbert Simon, following his General Problem Solver (1957), predicts that within 10 years a computer will

1. Be world champion in Chess and
2. Discover and prove an important new mathematical theorem. In the same timescale
3. most theories in psychology will take the form of computer programs.

Dreyfus also ridicules the public's credulity regarding anything robotic or Artificial Intelligence-related, e.g. quoting the following claim from a US newspaper, in 1968:

Cosmos, the West German publishing house... has come up with a new idea in gifts... It's a genuine (if small) computer, and it costs about $20. Battery operated, it looks like a portable typewriter. But it can be programmed like any big computer to translate foreign languages, diagnose illnesses, even provide a weather forecast.

Within this atmosphere of wild optimism no critical discussion of any underlying conceptual difficulties is allowed. Dreyfus points out major differences between Human's and machine's thought that Artificial Intelligence research stumbles across time and again:

* Fringe consciousness vs. Heuristically guided search
* Ambiguity tolerance vs. context-free precision
* Essential/inessential discrimination vs. trial-and-error search
* Perspicuous Grouping vs. Character Lists

These difficulties are not coincidental. All work in Cognitive Simulation and in Artificial Intelligence is predicated on one basic assumption: that Humans in some fundamental way process information in ways that computers can emulate. This is no small assumption, because all computer-based information is explicit, discreet, linear, rule-based and definitive, while we have no evidence that human thought is so. The assumption that human minds function like general-purpose symbol-manipulating machines amounts to:

1. A Biological Assumption - That at some level people operate in a digital manner
2. A Psychological Assumption - All thought is calculation
3. An Epistemological Assumption - That all knowledge can be formalized
4. An Ontological Assumption - That our world is comprised of context-free facts

All these assumptions would be very convenient if they were true, however there is little evidence to support them and much to refute.

Dreyfus argues for the role of the body in intelligent behavior, for the importance of the overall situation for orderly behavior, and the inapplicability of any rule-set. He also stresses the importance of specifically Human needs as determinators of the situation (in the Heideggerian sense) which is the context in which the interpretation of the world occurs.

Bibliographical Data

The book initially appeared under this title in 1972 (ISBN 0-06-090613-8), and a second edition with a new introduction was published under the same name in 1979 (ISBN 0-06-090624-3). A third edition was published under the name What Computers Still Can't Do (ISBN 0-262-54067-3) in 1992.

Source : wikipedia