Historical milestone · 1960
General Problem Solver
Reviewed through September 18, 2026
1960 · Historical milestone
General Problem Solver
- Era
- 1960s
- Theme
- Agent planning & cognitive architectures
- Evidence form
- Means-ends analysis over symbolically described operators, goals, and differences
- School / paradigm
- Symbolic problem solving
- Institution / context
- RAND / Carnegie Institute of Technology
- Researchers
- Allen Newell; J. C. Shaw; Herbert A. Simon
School of thought
Symbolic AI / GOFAI
Matched on representative researcher.
Intelligence arises from manipulating explicit symbols according to rules, search, and formal representations.
Critique. Knowledge acquisition and combinatorial explosion; brittle under ambiguity, perception noise, and open worlds.
Modern descendants. Tool schemas, planning languages, knowledge graphs, verifiers, program synthesis, and neuro-symbolic systems.
Understand
Plain-language record, transferred from the reviewed source module.
Theory or experimental setup. Established a domain-general search architecture and treated problem solving as search in a problem space.
Result / historical claim. Performance depended on carefully chosen symbolic representations and small, clean domains.
Apply
Professional implication, only where the reviewed record states one.
The checked-in record does not state a separate professional application for this entry. The topic page places it in the wider research lineage: Agent planning and cognitive architectures.
Verify
Evidence status, stated limitations, and the external sources this record actually carries.
Evidence form. Means-ends analysis over symbolically described operators, goals, and differences
Limitation / debate. Planner loops, decomposition, search, and chain-of-thought-like intermediate state.
Source status. The source link below is the verified link our reviewed topic research already carries for this milestone.
Reproduce
A reproduction tutorial is linked only when one exists for this exact record.
A reproduction tutorial is not yet available for this entry. The closest reviewed material is Agent planning and cognitive architectures.
Cite or share
APA-like: This historical record carries a year only, and no author or publisher of record in the checked-in data. An APA reference would have to invent that metadata.
BibTeX: BibTeX requires an author and publication venue. Historical lineage entries store a narrative record and its source link, not structured authorship, so the field would be fabricated.