Computer science as empirical inquiry: symbols and search

  title={Computer science as empirical inquiry: symbols and search},
  author={Allen Newell and Herbert A. 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.

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.

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 are

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 are

- 1-Computers and Computation in Cognitive Science

The role of digital computers within orthodox computational cognitive science is sketched, in the light of a recently emerging alternative approach based around dynamical systems.

The Philosophy of Computer Science

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.

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.

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.

Setting the Stage: Computation in Cognitive Science

This chapter discusses many extensionally equivalent models of computation, such as Turing machines, lambda calculus, cellular automata, Post machines and recursive functions.



The Sciences of the Artificial

Continuing his exploration of the organization of complexity and the science of design, this new edition of Herbert Simon's classic work on artificial intelligence adds a chapter that sorts out the

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.

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.

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.

Problem-solving methods in artificial intelligence

  • N. Nilsson
  • Education
    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.

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.

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.

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 technical

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 with