What Computers Still Can't Do

@article{McCarthy1996WhatCS,
  title={What Computers Still Can't Do},
  author={John McCarthy and Hubert L. Dreyfus},
  journal={Artif. Intell.},
  year={1996},
  volume={80},
  pages={143-150}
}
Hubert Dreyfus claims that “symbolic AI” is a “degenerating research program”, i.e. is not making progress. It’s hard to see how he would know, since he makes no claim to have read much of the recent literature. In defending “symbolic AI”, I shall concentrate on just one part of symbolic AI-the logic-based approach. It was first proposed in [7], attracted only intermittent following at first, but has had an increasing number of workers since 1970.’ I think other approaches to AI will also… Expand

Topics from this paper

From Here to Human-Level AI
TLDR
Overcoming the ''brittleness'' of present AI systems and reaching human-level AI requires programs that deal with the common sense informatic situation-in which the phenomena to be taken into account in achieving a goal are not fixed in advance. Expand
Robots and Rule-Following
TLDR
It is shown that Wittgenstein’s externalist analysis of psychological capacities entails that most, even all, future “artificially intelligent” computers and robots will not use language, possess concepts, or reason. Expand
Will There Be Superintelligence and Would It Hate Us?
TLDR
Science fiction is relevant here because it is argued that science fiction has been a motivation in the revival of the notion of superintelligence in Nick Bostrom’s (2016) best-selling book Superintelligence, which has been applauded by Elon Musk, Bill Gates, and Stephen Hawking among others. Expand
From Alan Turing to modern AI: practical solutions and an implicit epistemic stance
TLDR
This paper contends that the construction of any human artifact includes an implicit epistemic stance, and suggests that computational and human intelligence are two different natural kinds, in the philosophical sense, and elaborate on this point in the conclusion. Expand
Hubert Dreyfus, the artificial and the perspective of a doubled philosophy
The contribution by Hubert L. Dreyfus to the debate on the feasibility of AI projects has been surely of great relevance because of his pointing out specific limits of the machine as compared to theExpand
The Turing Test: the first 50 years
  • R. French
  • Medicine, Psychology
  • Trends in Cognitive Sciences
  • 2000
TLDR
The present article chronicles the comments and controversy surrounding Turing's classic article from its publication to the present, concluding with the prediction that the Turing Test will remain important, not only as a landmark in the history of the development of intelligent machines, but also with real relevance to future generations of people living in a world in which the cognitive capacities of machines will be vastly greater than they are now. Expand
Information, Knowledge and the Future of Machines (Part III)
TLDR
How to design agency, and how to compare designed and evolved agency, are the fundamental problems of Artificial Intelligence (AI). Expand
Artificial intelligence: History, foundations, and philosophical issues
TLDR
The chapter discusses the evolutionary computing, the microworld approach to AI, robotics, expert systems, commonsense reasoning, neuron-like computing, and situated AI, and the “Godel Objection” to AI. Expand
Does the Principle of Computational Equivalence Overcome the Objections against Computationalism
Computationalism has been variously defined as the idea that the human mind can be modelled by means of mechanisms broadly equivalent to Turing Machines. Computationalism’s claims have been hotlyExpand
The Tacit Dimension C
I begin by outlining some of the positions that have been taken by those who have reflected upon the nature of language. In his early work Wittgenstein asserts that language becomes meaningful whenExpand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 13 REFERENCES
Generality in artificial intelligence
TLDR
In my opinion, getting a language for expressing general commonsense knowledge for inclusion in a general database is the key problem of generality in AI. Expand
Contexts: a formalization and some applications
Traditionally, logical formulas (and other structures) used in representation are supposed to be objective, decontextualized truths. In reality, however, they have many contextual aspects.Expand
Epistemological Problems of Artificial Intelligence
TLDR
This chapter further explains this division of AI, explains some of the epistemological problems, and presents some new results and approaches. Expand
Reflections on the Knowledge Level
TLDR
The paper claims these concepts of knowledge and knowledge-level system are used in practice by the AI and computer science community, hence understood implicitly, and is just making explicit to the community what it already knows in practice. Expand
Propositional Logic of Context
TLDR
This paper describes both the syntax and semantics of a general propositional language of context, and gives a Hilbert style proof system for this language, and provides soundness and completeness results for various extensions of the general system. Expand
A framework for representing knowledge
TLDR
The enormous problem of the volume of background common sense knowledge required to understand even very simple natural language texts is discussed and it is suggested that networks of frames are a reasonable approach to represent such knowledge. Expand
Programs with common sense
Abstract : This paper discusses programs to manipulate in a suitable formal language (most likely a part of the predicate calculus) common instrumental statements. The basic program will drawExpand
The Knowledge Level
TLDR
A theory of the nature of knowledge is proposed, namely, that there is another computer system level immediately above the symbol (or program) level and knowledge itself is the processing medium at this level and the principle of rationality plays a central role. Expand
What are the Limitations of the Situation Calculus?
TLDR
The structure of the housing is such that all surfaces exposed to liquid are free of screw threads or other surface configurations which are not readily sanitizable or sterilizable, particularly by autoclaving. Expand
Handbook of Logic for Artificial Intelligence and Logic Programming, Vol. 3 (Oxford
  • Programs with common sense,
  • 1993
...
1
2
...