Empirical explorations of the logic theory machine: a case study in heuristic

Authors:
A. Newell;J. C. Shaw;H. A. Simon
Affiliations:
The RAND Corp., Santa Monica, Calif.;The RAND Corp., Santa Monica, Calif.;Carnegie Institute of Technology, Pittsburgh, Pa.
Venue:
IRE-AIEE-ACM '57 (Western) Papers presented at the February 26-28, 1957, western joint computer conference: Techniques for reliability
Year:
1957

Citing 0
Cited 29

A Fortran-Compiled List-Processing Language

Journal of the ACM (JACM)
Genetic Reasoning: Evolutionary Induction of Mathematical Proofs

Proceedings of the Second European Workshop on Genetic Programming
Little Engines of Proof

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Perspectives on Cognitive Informatics

ICCI '03 Proceedings of the 2nd IEEE International Conference on Cognitive Informatics
The Use of Higher Order Logic in Program Verification

IEEE Transactions on Computers
AI TURNS FIFTY: REVISITING ITS ORIGINS

Applied Artificial Intelligence
Computational Discovery in Pure Mathematics

Computational Discovery of Scientific Knowledge
Emergency simulation of the duties of the President of the United States

IRE-AIEE-ACM '59 (Western) Papers presented at the the March 3-5, 1959, western joint computer conference
Computer design from the programmer's viewpoint

AIEE-ACM-IRE '58 (Eastern) Papers and discussions presented at the December 3-5, 1958, eastern joint computer conference: Modern computers: objectives, designs, applications
Modeling human mental processes

IRE-AIEE-ACM '61 (Western) Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference
Human decision making under uncertainty and risk: computer-based experiments and a heuristic simulation program

AFIPS '65 (Fall, part I) Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I
Experiments with a theorem-utilizing program

AFIPS '64 (Spring) Proceedings of the April 21-23, 1964, spring joint computer conference
Handling the growth by definition of mechanical languages

AFIPS '67 (Spring) Proceedings of the April 18-20, 1967, spring joint computer conference
Some issues of representation in a general problem solver

AFIPS '67 (Spring) Proceedings of the April 18-20, 1967, spring joint computer conference
An algorithmic search procedure for program generation

AFIPS '67 (Spring) Proceedings of the April 18-20, 1967, spring joint computer conference
A language based problem-solver

IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Mikrokosms and robots

IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
CASAP: a testbed for program flexibility

IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Intelligence without reason

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
A proof method for quantification theory: its justification and realization

IBM Journal of Research and Development
Indexing and control-word techniques

IBM Journal of Research and Development
Computer-automated design of multifont print recognition logic

IBM Journal of Research and Development
Chess-playing programs and the problem of complexity

IBM Journal of Research and Development
Intelligent behavior in problem-solving machines

IBM Journal of Research and Development
A survey of automated deduction

Artificial intelligence today
John McCarthy's legacy

Artificial Intelligence
A recommendation system based on domain ontology and SWRL for anti-diabetic drugs selection

Expert Systems with Applications: An International Journal
Autonomy without independence: animal training as a model for robot design

WRAC'05 Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems
Inference systems for logical algorithms

FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science

Quantified Score

Hi-index	0.01

Visualization

Abstract

This paper is a case study in problem solving, representing part of a program of research on complex information-processing systems. We have specified a system for finding proofs of theorems in elementary symbolic logic, and by programming a computer to these specifications, have obtained empirical data on the problem-solving process in elementary logic. The program is called the Logic Theory Machine (LT); it was devised to learn how it is possible to solve difficult problems such as proving mathematical theorems, discovering scientific laws from data, playing chess, or understanding the meaning of English prose.