General Problem Solver

E267834
artificial intelligence program computer program problem-solving system symbolic AI system

The General Problem Solver is an early artificial intelligence program designed to model and automate human-like problem-solving across a wide range of domains using general search and reasoning strategies.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (4)

Label Occurrences
General Problem Solver canonical 5
AI planning 1
Newell and Simon's theory of problem solving 1

Statements (50)

Predicate Object
instanceOf artificial intelligence program ⓘ
computer program ⓘ
problem-solving system ⓘ
symbolic AI system ⓘ
aimedToModel human problem solving ⓘ
human-like reasoning ⓘ
alsoKnownAs GPS ⓘ
basedOn means-ends analysis ⓘ
coreConcept difference-reducing search ⓘ
goal-subgoal decomposition ⓘ
problem space representation ⓘ
production-like operators ⓘ
countryOfOrigin United States of America ⓘ
surface form: United States
designedFor domain-independent problem solving ⓘ
general problem solving ⓘ
logic problems ⓘ
puzzle solving ⓘ
symbolic reasoning tasks ⓘ
theorem proving ⓘ
developedAt CMU ⓘ
surface form: Carnegie Mellon University

RAND Corporation ⓘ
developer Allen Newell ⓘ
Herbert Simon ⓘ
surface form: Herbert A. Simon

J. C. Shaw ⓘ
documentedIn Newell and Simon's publications on human problem solving ⓘ
field artificial intelligence ⓘ
cognitive science ⓘ
historicalPeriod early AI era ⓘ
inception 1957 ⓘ
late 1950s ⓘ
influenced cognitive psychology models of problem solving ⓘ
general search models in AI ⓘ
physical symbol system hypothesis ⓘ
production system architectures ⓘ
influencedBy the Logic Theorist program ⓘ
surface form: Logic Theorist

early symbolic logic programs ⓘ
limitation computationally expensive search ⓘ
effective only on well-structured problems ⓘ
requires formal symbolic problem representation ⓘ
notableFor being one of the first general-purpose AI programs ⓘ
explicitly separating problem-solving strategy from problem content ⓘ
formalizing means-ends analysis ⓘ
programmingLanguage Information Processing Language ⓘ
status historical AI system ⓘ
usesMethod goal-directed reasoning ⓘ
heuristic search ⓘ
means-ends analysis ⓘ
operator application ⓘ
problem reduction ⓘ
state-space search ⓘ

Referenced by (8)

Full triples — surface form annotated when it differs from this entity's canonical label.

Human Problem Solving → buildsOn → General Problem Solver ⓘ
Human Problem Solving → relatedTo → General Problem Solver ⓘ
Allen Newell → knownFor → General Problem Solver ⓘ
this entity surface form: the General Problem Solver (GPS)
Allen Newell → coInventorOf → General Problem Solver ⓘ
"Programs with Common Sense" → influenced → General Problem Solver ⓘ
subject surface form: Programs with Common Sense
this entity surface form: AI planning
the Logic Theorist program → influenced → General Problem Solver ⓘ
subject surface form: Logic Theorist
the Logic Theorist program → relatedTo → General Problem Solver ⓘ
subject surface form: Logic Theorist
physical symbol system hypothesis → centralTo → General Problem Solver ⓘ
this entity surface form: Newell and Simon's theory of problem solving