---
title: "Report on a general problem-solving program — Newell 1959"
description: "This draft report by Newell, Shaw and Simon, a working manuscript dated December 1958, explains how computer… Cited by 24 papers here."
authors: ["Allen Newell", "J. C. Shaw", "Herbert A. Simon"]
year: 1959
venue: "IFIP Congress"
source: "http://iiif.library.cmu.edu/file/Newell_box00005_fld00314_doc0003/Newell_box00005_fld00314_doc0003.pdf"
licence: "All rights reserved — free to read at the source"
summary_licence: "Elamur Cosmic License"
canonical: "https://research.elamur.ai/free/en/papers/newell-1959-report-general-problem-solving-program/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/newell-1959-report-general-problem-solving-program/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [1959](https://md.research.elamur.ai/free/en/papers/1959/) / Report on a general problem-solving program

# Report on a general problem-solving program

**Authors:** [Allen Newell](https://md.research.elamur.ai/free/en/authors/allen-newell/), J. C. Shaw and [Herbert A. Simon](https://md.research.elamur.ai/free/en/authors/herbert-a-simon/) · **Year:** 1959 · **Venue:** IFIP Congress · **Licence:** All rights reserved — free to read at the source

**Links:** [Publisher's page](http://iiif.library.cmu.edu/file/Newell_box00005_fld00314_doc0003/Newell_box00005_fld00314_doc0003.pdf) · [PDF](http://iiif.library.cmu.edu/file/Newell_box00005_fld00314_doc0003/Newell_box00005_fld00314_doc0003.pdf) · [OpenAlex](https://openalex.org/W145832685)

**Citations:** 458 citations (OpenAlex, 2026-10-14) · [24](https://md.research.elamur.ai/free/en/papers/newell-1959-report-general-problem-solving-program/cited-by/) in our library, of the 149,439 papers whose bibliographies we read

## Summary
This draft report by Newell, Shaw and Simon, a working manuscript dated December 1958, explains how computer programs can serve as theories of problem solving, both in the abstract and in human thinkers. The work began with the Logic Theorist, which searched for proofs in the sentential calculus of Whitehead and Russell using heuristics instead of a guaranteed algorithm. The authors then recorded college students thinking aloud while they rewrote symbolic-logic expressions under fixed transformation rules. They used these protocols to revise the program into the General Problem Solver (GPS).

GPS keeps domain content separate from very general methods such as functional analysis and planning, and it matched much of the subjects' recorded behaviour. The report frames problems as objects transformed by operations, or as a generator of candidates paired with a test. It argues that blind search fails because the search space grows exponentially, so heuristics are essential. The paper is an early statement of heuristic search as the core of artificial intelligence and cognitive modelling.

## Key points
- The Logic Theorist proves theorems from *Principia Mathematica*'s sentential calculus by heuristic, symbolic manipulation rather than truth tables.
- GPS came from think-aloud protocols of sophomores transforming logic expressions, such as turning (p v q).(-p.q) into a target form.
- The planned demonstration domains are symbolic logic, trigonometric identities, integration via tables, and chess.
- Exhaustive search generates roughly (1/2)·b^d objects, where b is the number of branches and d is the depth. For chess, with b ≈ 30 and d ≈ 40, this gives about 10^120.
- The generator-test formulation is described as nearly universal. As an illustration, all novels fit within a space of about 30^(10^6) character strings. Heuristics are needed to prune such spaces.

*Our summary of the paper, in our own words — not its text. The work belongs to its authors; read it at the links above.*

📚 Shelves (2): [🖥️ Computer Science](https://md.research.elamur.ai/free/en/shelves/computer-science/) · 19,503 works · [🤖 Artificial Intelligence](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · 18,805 works

🧭 Topics (1): [🧮 Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/) · 1,948 works

## Cite

Cite as: Allen Newell, J. C. Shaw and Herbert A. Simon. 1959. Report on a general problem-solving program. IFIP Congress.

The paper itself, not this page. BibTeX from the library's record of the work.

```bibtex
@inproceedings{newell1959report,
  title = {{Report on a general problem-solving program}},
  author = {Allen Newell, J. C. Shaw and Herbert A. Simon},
  booktitle = {IFIP Congress},
  year = {1959},
  url = {http://iiif.library.cmu.edu/file/Newell_box00005_fld00314_doc0003/Newell_box00005_fld00314_doc0003.pdf}
}
```

- [↑ back to papers of 1959](https://md.research.elamur.ai/free/en/papers/1959/)

*Updated 3 November 2026*