Computer science as empirical inquiry
ACM eBooksPublished 1 January 2007Open access
Allen Newell, Herbert A. Simon
Citations139
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
The 1975 ACM Taring Award was presented jointly to Professors Allen Newell and Herbert A. Simon of Carnegie-Mellon University for basic contributions to artificial intelligence, the psychology of human cognition, and list processing.
Abstract
In joint scientific efforts extending over twenty years, initially in collaboration with J
Keywords
Computer Science
Computing Machinery and Intelligence (1950)
6,197 Citations2004Alan Turing
Communications of the ACMRecursive functions of symbolic expressions and their computation by machine, Part I
1,351 Citations1960John McCarthy
A programming system called LISP (for LISt Processor) developed for the IBM 704 computer by the Artificial Intelligence group at M.I.T. was designed to facilitate experiments with a proposed system called the Advice Taker, whereby a machine could be instructed to handle declarative as well as imperative sentences and could exhibit "common sense" in carrying out its instructions.
ACM SIGART BulletinReview of "Problem-Solving Methods in Artificial Intelligence by Nils J. Nilsson", McGraw-Hill Pub.
360 Citations1971W. W. Bledsoe
This book is not a survey on theorem proving programs, but the description of a program developed from 1960 to 1965, and includes three chapters that deal with resolution-based theorem-proving in the predicate calculus and its applications to problem solving.
Lecture notes in computer scienceProblem-Solving Methods
143 Citations2000Dieter Fensel
This work organizes a Library of Problem-Solving Methods and presents a four Component Architecture for Knowledge-Based Systems, a Verification Framework for Knowledge-Based Systems and methods for Context Explication and Adaptation.
Chess as problem solving: the development of a tactics analyzer.
63 Citations1975Hans Berliner
The author considers the fact that chess programs have made almost no gain in strength, as measured on the human scale, in the period 1968 - 1973, as indicative that the popular model of computer chess is near the limits of its exploitability.