Академический Документы
Профессиональный Документы
Культура Документы
Allen Newell
Department of Computer Science
Carnegie-Mellon University
Pittsburgh, Pennsylvania 15213
1 am grateful for extensive comments on an earlier draft provided This research was sponsored by the Defense Advanced Research
by Jon Bentley, Danny Bobrow, H. T Kung, John McCarthy, John Projects Agency (DOD), ARPA Order No 3597, monitored by the
McDermott, Greg Harris, Zenon Pylyshyn, Mike Rychener and Air Force Avionics Laboratory Under Contract F33615-78-C- 1551
Herbert Simon. They all tried in their several (not necessarily The views and conclusions contained in this document are those of
compatible) ways to keep me from error. the authors and should not be interpreted as representing the official
*I have already provided some comments, as president, on such policies, either expressed or implied, of the Defense Advanced
matters (Newell, 1980a). Research Projects Agency or the US Government
Chomsky. Knowledge of language In Gundelson, K (Ed ), Moore, R. C Reasoning about Knoivledge and Action
Language, Mind and Kno\czledge, Minneapolis, Minn : Technical Note 191, SRI International, Ott 1980
University of Minnesota Press, 1975.
Newell, A Limitations of the current stock of ideas for
Dennent, D. C. Brainstorms. Philocophical essavs on mind problem solving In Kent, A & Taulbee, 0 (Eds.), Corzfer-
and psychologv Montgomery, VT: Bradford Books 1978 em-e on Electronic Jflformation Handling, Washington, DC:
Spartan, 1965
EIman, L D , F Hayes-Roth, V. R Lesser, and D. R
Reddy, “The Hearsay-11 Speech-Understanding System: Newell, A AAAI President’s Message, AI Magazine, 1980,
Integrating Knowledge to Resolve Uncertainty,” Computing 1. l-4
Srtrveljs I2, (2), June 1980, 213-253
Newell, A Physical symbol systems Cognitive Science,
Hayes, P In deference of logic In Proceedings qf the Fifth 1980, 4, 135-183
International Joint Conference on Art$icial Intelligence
Available from: Pittsburgh, PA Computer Science Depart- Newell, A. Review of Nils Nilsson, Principles of Artificial
ment, Carnegie-Mellon University, 1977 Intelligence. Contemporar 1’ Pyvcholog\B, 1981, 26, 50-S I
Hintikka, J KnoMaledge and Be&f: Ithaca, NY Cornell Newell, A & Simon, H A Computer science as empirical
University Press 1962 inquiry: Symbols and search Comn1rmicationy of the ACM,
1976, 19(3), 113-126
Konolige, K A First-order Formalization of Kno\~~ledge and
Action for a Multiagent Planning Svstem. Technical Note Nilsson, N Principles qj Artificial Intelligence, Palo Alto,
232, SRI International, Dec. 1980 CA: Tioga 1980
Loveland, D W. Automated Theotem Proving. A logical Piaget, J The Language and Thought qf the Child Atlantic
basis. Amsterdam: North-Holland 1978. Highlands, NJ: Humanities Press 1923
Lute, R D. & Raiffa, H Games and Decisions New York: Robinson, J A A machine-oriented logic based on the
Wiley 1957 resolution principle Journal qf the ACM, 1965, 12. 23-41
McCarthy, J Predicate Calculus In PI oceedings of the F{fth Schank, R D Conceptual Jrzfoi matiou Processing, Amster-
Jntet national Joint Conference on Art$cial Jntelligence dam: North Holland 1975
Available from: Pittsburgh, PA: Computer Science Depart-
ment, Carnegie-Mellon University, 1977 (continued on paKe 33)