Some Philosophical Problems from the Standpoint of Artificial Intelligence

Some Philosophical Problems from the Standpoint of Artificial Intelligence (1969)

Cached

Download Links

[www-formal.stanford.edu]

Other Repositories/Bibliography

CiteULike

by John Mccarthy , Patrick J. Hayes

Venue:	Machine Intelligence
Citations:	1359 - 22 self

BibTeX

@INPROCEEDINGS{Mccarthy69somephilosophical,
    author = {John Mccarthy and Patrick J. Hayes},
    title = {Some Philosophical Problems from the Standpoint of Artificial Intelligence},
    booktitle = {Machine Intelligence},
    year = {1969},
    pages = {463--502},
    publisher = {Edinburgh University Press}
}

Years of Citing Articles

Bookmark

OpenURL

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

Citations

567	Computing machinery and intelligence - Turing - 1950
538	Artificial Intelligence Through Simulated Evolution - Fogel, Owens, et al. - 1966
184	Combinatory Logic - Curry, Feys - 1958
182	Situations and actions and causal laws - McCarthy - 1963
155	1963: ‘Semantical considerations on modal logic - Kripke
154	Present and Future - Past - 1967
145	Steps toward artificial intelligence - Minsky - 1961
141	Knowledge and belief: an introduction to the logic of the two notions - Hintikka - 1962
133	Towards a mathematical science of computation - McCarthy - 1962
105	Programming a Computer for Playing Chess - Shannon - 1950
84	Introduction to mathematical logic - Church - 1956
76	Time and Modality - Prior - 1957
67	Thershold Logic - Lewis, Coates - 1967
49	A learning machine: Part I - Friedberg
49	Hypothetical Reasoning - Rescher - 1964
39	Theorem-proving by resolution as a basis for question-answering systems, in - Green - 1969
39	Semantical analysis of modal logic I’, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 9 - Kripke - 1963
37	Report on a General Problem-Solving Program - Newell, Shaw, et al. - 1960
24	The Logical Form of Action Sentences. In The Logic of Decision and Action, edited by N - Davidson - 1967
19	The Modes of Modality - Hintikka - 1963
18	G.H.: Norm and Action: A Logical Enquiry - Wright - 1963
16	The logic of commands - Rescher - 1966
13	A New Approach to the Logical Theory of Interrogatives. TBL Verlag Gunter - ˚Aqvist - 1975
13	A Learning Machine: Part II - Friedberg, Dunham, et al. - 1959
12	Limitations of the Current Stock of Ideas about Problem Solving - Newell - 1965
8	Reference and Modality’, in his From a Logical Point of View - Quine - 1953
7	An algebraic study of tense logic with linear time - Bull - 1968
7	The search for generality - Newell, Ernst - 1965
6	Termination of algorithms - Manna - 1969
5	The Logic of Rational Decision - Simon - 1965
3	Different Constructions in Terms of Basic Epistemological Verbs’, in J. Hintikka, The Intentions of Intentionality and Other New Models for Modalities - Hintikka - 1975
3	Programs with common sense. Mechanization of thought processes - McCarthy - 1959
2	He could have done otherwise - Chisholm - 1967
2	Communication: A Logical Model - Harrah - 1963
2	Indexicals, possible worlds, and epistemic logic - Hintikka - 1967
1	The formal analysis of normative systems. Reprinted in The Logic of decision and action - Anderson - 1956
1	A functional calculus of the first order based on strict implication - Barcan-Marcus - 1946
1	Modalities and intensional languages. Boston studies - Barcan-Marcus - 1963
1	An analysis of questions - Belnap - 1963
1	The substitution interpretation of the quantifiers - Belnap, Dunn - 1968
1	The logic of change, action and norms - Castañeda - 1965
1	The logic of knowing - Chisholm - 1963
1	The logic of interrogatives. Formal systems and recursive functions - Cresswell - 1965
1	States, activities and performances - Evans - 1967
1	Knowledge, identity and existence - Follesdal - 1967
1	On thought: the extrinsic theory - Galanter, Gerstenhaber - 1956
1	A program and a set of concepts for philosophical logic - Hintikka - 1967
1	Existence and identity in epistemic contexts - Hintikka - 1967
1	A note on quantification and modalities - Kanger - 1957
1	Semantical analysis of modal logic II. The theory of models (eds - Kripke - 1965