The knowledge level
Artificial IntelligencePublished 1 January 1982
Allen Newell
Citations2,484
SJR quartileQ1
SJR score1.84
SNIP3.30
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
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.
Abstract
Abstract : This paper focuses on a basic substantive problem: the nature of knowledge and representation. There are ample indications that artificial intelligence is in need of substantial work in this area. The paper proposes a theory of the nature of knowledge, namely, that there is another computer system level immediately above the symbol (or program) level. The nature of computer system levels is reviewed, the new level proposed, and its definition is treated in detail. Knowledge itself is the processing medium at this level and the principle of rationality plays a central role. Some consequences of the existence of the knowledge level and some relations to other fields are discussed.
Keywords
Computer Science
American Mathematical Society eBooksTheory of games and economic behavior
16,943 Citations2019Stephan Ramon Garcia, Steven J. Miller
Human Problem Solving
4,923 Citations1972Allen Newell
Mind, Self, and Society
4,876 Citations1967George H. Mead, Charles W. Morris
Journal of the ACMA Machine-Oriented Logic Based on the Resolution Principle
3,885 Citations1965John A. Robinson
The paper concludes with a discussion of several principles which are applicable to the design of efficient proof-procedures employing resolution as the basle logical process.
Principles of Artificial Intelligence
3,336 Citations1982Nils J. Nilsson
This classic introduction to artificial intelligence describes fundamental AI ideas that underlie applications such as natural language processing, automatic programming, robotics, machine vision, automatic theorem proving, and intelligent data retrieval.
Elsevier eBooksSome Philosophical Problems from the Standpoint of Artificial Intelligence
3,289 Citations1981John McCarthy, Patrick J. Hayes
The formalism of this paper represents an advance over McCarthy (1963) and Green (1969) in that it permits proof of the correctness of strategies that contain loops and strategies that involve the acquisition of knowledge; and it is also somewhat more concise.
Language and Thought of the Child
2,647 Citations2005Jean Piaget
Communications of the ACMComputer science as empirical inquiry
2,299 Citations1976Allen Newell, Herbert A. Simon
Computer science is the study of the phenomena surrounding computers; the machine—not just the hardware, but the programmed, living machine—is the organism the authors study.
The Philosophical ReviewBrainstorms: Philosophical Essays on Mind and Psychology.
1,733 Citations1980Gilbert Harman, Daniel C. Dennett
Cognitive SciencePhysical Symbol Systems*
1,458 Citations1980Allen Newell
In this paper, the nature of physical symbol systems is laid out in ways familiar, but not thereby useless, to review the basis of common understanding between the various disciplines.
Knowledge and belief
1,457 Citations1962Jaakko Hintikka
Four cases are reported here in which a large branch or a central venous thrombosis, associated with marked disturbances of the local artery, gave rise to the retinopathy of detachment, with subsequent detachment in three of them.
ACM Computing SurveysThe Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty
1,341 Citations1980Lee D. Erman, Frederick Hayes‐Roth +2 more
The characteristics of the speech problem in particular, the special kinds of problem-solving uncertainty in that domain, the structure of the Hearsay-II system developed to cope with that uncertainty, and the relationship between Hearsey-II's structure and those of other speech-understanding systems are discussed.
Munich Personal RePEc Archive (Ludwig Maximilian University of Munich)Computer Structures: Readings and Examples,
493 Citations1971C. Gordon Bell, Allen Newell
Computer Structures utilizes a case study approach to cover 40 distinct computer types, and to provide a taxonomical framework for analyzing the 1000 different computers now extant.
Elsevier eBooksREASONING ABOUT KNOWLEDGE AND ACTION
372 Citations1981Robert C. Moore
The importance of having systems that understand the concept of knowledge, and how knowledge is related to action, and a logic of knowledge based on the idea of possible worlds is presented.
CogPrints (Cogprints)Ascribing Mental Qualities to Machines
240 Citations1979John McCarthy
Some new definitional tools are proposed: definitions relative to an approximate theory and second order structural definitions for mental qualities to a machine.
Cognitive ScienceCognitive Science: The Newest Science of the Artificial*
239 Citations1980Herbert A. Simon
It might have been necessary a decade ago to argue for the commonality of the information processes that are employed by such disparate systems as computers and human nervous systems but the evidence for that commonality is now overwhelming, and the remaining questions about the boundaries of cognitive science have more to do with whether there also exist nontrivial commonalities with information processing in genetic systems than with whether men and machines both think.
ACM Computing SurveysNew Programming Languages for Artificial Intelligence Research
184 Citations1974Daniel G. Bobrow, Bertram Raphael
An overview of the nature of these features, and their implementation in fourprincipal families of AI language*: SAILPLANNER/COXXIVER; QLISP/INTERLISp; and POPLER,POP-2.
CogPrints (Cogprints)First Order Theories of Individual Concepts and Propositions.
182 Citations1979John McCarthy
Rst order theories in which individual concepts are admitted as mathematical objects along with the things that reify them allows very straightforward formalizations of knowledge, belief, wanting, and necessity in ordinary rst order logic without modal operators.
ACM SIGART BulletinSpecial issue on knowledge representation
107 Citations1980Ronald J. Brachman, Brian Cantwell Smith
The survey hoped to elicit a clear picture of how people working in this subdiscipline understand knowledge representation research, to illuminate the issues on which current research is focused, and to catalogue what approaches and techniques are currently being developed.
Plain talk about neurodevelopmental epistemology
69 Citations1977Marvin Minsky
This paper is based on a theory being developed in collaboration with Seymour Papert in which the mind is viewed as an organized society of intercommunicating "agents", each such agent is, by itself, very simple.
Backgammon Computer Program Beats World Champion
65 Citations1988Hans Berliner
Munich Personal RePEc Archive (Ludwig Maximilian University of Munich)A First-Order Formalization of Knowledge and Action for a Multiagent Planning System.
58 Citations1980Kurt Konolige
An alternative formalism for reasoning about knowledge, belief, and action is developed and it is shown how this formalism can be used to deal with several well-known problems, and then described how it could be used by a plan constructing system.
Artificial IntelligenceBackgammon computer program beats world champion
50 Citations1980Hans Berliner
This paper examines the scientific issues involved in constructing the program, an analysis of its performance, and the scientific significance of the win and presents the SNAC method of constructing evaluation functions.
AI Magazine<i>AAAI</i> President's Message
16 Citations1980Allen Newell
The birth the authors give witness to here is that of a new society, the American Association for Artificial Intelligence - AAAI, and it has not seemed to me traumatic, but rather almost wholly benign.
Infection and Drug ResistanceDesigning computers and digital systems : using pdp16 register transfer modules
16 Citations1972C. Gordon Bell, Allen Newell +1 more
It is found that anterior cervical subtotal corpectomy can restore cervical stability, clear abscess, and relieve spinal cord compression on the basis of drug treatment, with good clinical results.
A panel on knowledge representation
14 Citations1977Daniel G. Bobrow, Gary G. Hendrix +6 more
UniversitextA Predicate Calculus
8 Citations1973Hans Hermes
The next section gives a particularly simple calculus, called the predicate calculus, with the help of which one can obtain al-gorithmically all the consequences of arbitrary sets of expressions.