SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE

@article{McCarthy1981SOMEPP,
  title={SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE},
  author={John McCarthy},
  journal={Machine intelligence},
  year={1981}
}
  • J. McCarthy
  • Published 1 October 1987
  • Computer Science
  • Machine intelligence
Abstract A computer program capable of acting intelligently in the world must have a general representation of the world in terms of which its inputs are interpreted. Designing such a program requires commitments about what knowledge is and how it is obtained. Thus, some of the major traditional problems of philosophy arise in artificial intelligence. More specifically, we want a computer program that decides what to do by inferring in a formal language that a certain strategy will achieve its… Expand
CONCEPTS OF LOGICAL AI
Logical AI involves representing knowledge of an agent’s world, its goals and the current situation by sentences in logic. The agent decides what to do by inferring that a certain action or course ofExpand
Concept of logical AI
TLDR
This chapter presents candidates, some of them well known, but others new, that need to be studied to achieve logical AI of human level. Expand
Beyond Rationalism: Symbols, Patterns and Behavior
TLDR
It is suggested that studying physically instantiated autonomous agents is an important step in the understanding of (intelligent) behavior and whether a rationalistic perspective is appropriate and if not what the alternatives are. Expand
THE PHILOSOPHY OF AI AND THE AI OF PHILOSOPHY
The philosophy of X, where X is a science, involves philosophers analyzing the concepts of X and sometimes commenting on what concepts are or are not likely to be coherent. Artificial intelligenceExpand
REPRESENTATIONS AS CONTROL SUBSTATES
Since first presenting a paper criticising excessive reliance on logical representations in AI at the second IJCAI at Imperial College London in 1971, I have been trying to understand whatExpand
Deductive Plan Generation
TLDR
A modified version of the connection method is developed to solve the frame problem without the need of any frame axioms and in the linear connection method proofs are restricted such that each literal is connected at most once. Expand
REPRESENTATIONS AS CONTROL SUB-STATES
Since first presenting a paper criticising excessive reliance on logical representations in AI at the second IJCAI at Imperial College London in 1971, I have been trying to understand whatExpand
Representing Mental Events (or the Lack Thereof)
TLDR
This paper represents a number of examples with such a level of granularity as to enable a system to reason about itself so as to learn from its reasoning failures, changing its background knowledge to avoid repetition of the failure. Expand
The logical modelling of computational multi-agent systems
TLDR
This thesis defines a model of agents and multi-agent systems, and then defines two execution models, which describe how agents may act and interact, and a number of logics, with various properties, are developed in this way. Expand
Active Logics: A Unified Formal Approach to Episodic Reasoning
TLDR
A formal architecture that is more closely tied to implementational constraints than is usual for formalisms, and which has been used to solve a number of commonsense problems in a uniied manner is described. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 104 REFERENCES
From a Logical Point of View
TLDR
It is the wish of the author to keep general terms distinct from abstract singular terms, so that the over-all dis­ pensability of some assumption that has always rankled as ad hoc and unintuitive is discovered. Expand
Modal Logics I: Modalities and Intensional Languages
TLDR
The subject of this paper is the foundations of modal logic: the underlying assumptions, the underpinnings of the logic in which an operator corresponding to ‘necessarily’ operates on sentences whereas ‘is necessary’ ought to be viewed as a predicate of sentences. Expand
The substitution interpretation of the quantifiers
I The basic formal ideas of this interpretation were in a certain sense anticipated by E. W. Beth with his "reduced logic" in [3]. We are grateful to Professor Bas C. van Fraassen for bringing thisExpand
Boston Studies in the Philosophy of Science
"Semantic incommensurability", i.e., non-translatabilityofconcepts taken from different theories, is at the focus of the argument. 1 attempt to give a rational reconstruction of the notion underlyingExpand
The Logic of Interrogatives
Publisher Summary This chapter describes the logic of interrogatives. It presents a formal analysis of a concept that bears many resemblances to the hypothesis that p is the answer to d, where p is aExpand
Steps toward Artificial Intelligence
  • M. Minsky
  • Computer Science
  • Proceedings of the IRE
  • 1961
TLDR
The discussion is supported by extensive citation of the literature and by descriptions of a few of the most successful heuristic (problem-solving) programs constructed to date. Expand
Programming a computer for playing chess
This paper is concerned with the problem of constructing a computing routine or “program” for a modern general purpose computer which will enable it to play chess. Although perhaps of no practicalExpand
An Algebraic Study of Tense Logics with Linear Time
  • R. A. Bull
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1968
TLDR
The purpose of this paper is to give completeness proofs for three axiom systems, GH1, GHlr, GHli, with respect to tense logic with time linear and rational, real, and integral, respectively. Expand
The Modes of Modality
TLDR
The point of the paper is to recommend a specific method for the study of this variety of systems of modal logic and the variety of philosophically interesting interpretations which can often be given of them. 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
...
1
2
3
4
5
...