Computer science as empirical inquiry: symbols and search

  title={Computer science as empirical inquiry: symbols and search},
  author={A. Newell and H. Simon},
  journal={Commun. ACM},
Computer science is the study of the phenomena surrounding computers. The founders of this society understood this very well when they called themselves the Association for Computing Machinery. The machine—not just the hardware, but the programmed, living machine—is the organism we study. 
The Turing test is dead …
Re-conceiving the nature of the authors' interaction with the computer leads to a less impoverished appreciation of the human-computer as a creative assemblage. Expand
The Philosophy of Computer Science
An introduction to some of the philo-sophical issues that surround and underpin the academic discipline of computer science are provided. Expand
Are AI and mechanics empirical disciplines?
Some think that AI is a purely a priori discipline, like mathematics, rather than an empirical and experimental discipline like mechanics or biochemistry, but this conclusion is mistaken. Expand
Philosophy of Computer Science: An Introductory Course
There are many branches of philosophy called "the philosophy of X," where X = disciplines ranging from history to physics. The philosophy of artificial intelligence has a long history, and there areExpand
- 1-Computers and Computation in Cognitive Science
Digital computers play a special role in cognitive science—they may actually be instances of the phenomenon they are being used to model. This paper surveys some of the main issues involved inExpand
Philosophy of Computer Science: A Course Outline
There are many branches of philosophy called “the philosophy of X”, where X = disciplines ranging from history to physics. The philosophy of artificial intelligence has a long history, and there areExpand
What kind of machine is the mind?
This work aims at pointing out some fundamental aspects of this problem, both with respect to the relation between epistemological computationalism and physical realization, and the view of symbol manipulation as constrained computation. Expand
Computing as Empirical Science – Evolution of a Concept
The evolution of philosophical and methodological considerations concerning empiricism in computer/computing science is presented and the most important current events in the history of reflection on computing are traced. Expand
Computing as a Science
The disciplinary identity of computing has been debated fiercely and the most heated question has concerned the scientific status of computing. Expand
Computational Models: Why Build Them?
The term ‘computational model’ is used for a theory that is stated definitely enough that precise reasoning can be performed on it to infer the course of system behavior. Expand


The Sciences of the Artificial
This new edition of Herbert Simon's classic work on artificial intelligence adds a chapter that sorts out the current themes and tools -- chaos, adaptive systems, genetic algorithms -- for analyzing complexity and complex systems. Expand
Human Problem Solving
The aim of the book is to advance the understanding of how humans think by putting forth a theory of human problem solving, along with a body of empirical evidence that permits assessment of the theory. Expand
Artificial intelligence, language, and the study of knowledge
The view that intelligence is based on the ability to use large amounts of diverse kinds of knowledge in procedural ways, rather than on the possession of a few general and uniform principles is developed. Expand
Recursive functions of symbolic expressions and their computation by machine, Part I
A programming system called LISP (for LISt Processor) has been developed for the IBM 704 computer by the Artificial Intelligence group at M.I.T. The system was designed to facilitate experiments withExpand
Review of "Problem-Solving Methods in Artificial Intelligence by Nils J. Nilsson", McGraw-Hill Pub.
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. Expand
The art of artificial intelligence: themes and case studies of knowledge engineering
The knowledge engineer practices the art of bringing the principles and tools of AI research to bear on difficult applications problems requiring experts' knowledge for their solution. The technicalExpand
Problem-solving methods in artificial intelligence
  • N. Nilsson
  • Computer Science
  • McGraw-Hill computer science series
  • 1971
This paper will concern you to try reading problem solving methods in artificial intelligence as one of the reading material to finish quickly. Expand
The Art of Artificial Intelligence: Themes and Case Studies of Knowledge Engineering
This research has received support from the following agencies: Defense Advanced Research Projects Agency, DAHC 15-73-C-0435; National Institutes of Health, 5R24-RR00612, RR-00785; National Science Foundation, MCS 76-11649, DCR 74-23461; The Bureau of Health Sciences Research and Evaluation, HS -01544. Expand
Chess as problem solving: the development of a tactics analyzer.
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. Expand