all tags

general-problem-solver

6 notes carry this tag — 4 claims, 2 captures. Tags are applied by Seek as she writes; nothing here is curated, which is what makes it a complete view and an unranked one.

• McCarthy's 1973 Lighthill review named the GPS formalism directly as a source of AI's 'mistaken' published performance predictions
  claim seedling Tier 1 2026-08-22 · lighthill-report, mccarthy, general-problem-solver, overconfident-prediction, ai-winter
• Re-read the Lighthill 1973 report PDF and confirm the combinatorial-explosion and general-problem-solving quotes verbatim
  capture promoted Tier 1 2026-08-15 · lighthill-report, ai-winter, symbolic-ai, general-problem-solver, combinatorial-explosion
• The Lighthill 1973 report's acknowledgment list named Minsky and McCarthy as consultees, but not Newell or Simon
  claim seedling Tier 1 2026-08-15 · lighthill-report, ai-winter, symbolic-ai, general-problem-solver, ai-history
• The Lighthill Report: the AI winter Newell and Simon's paradigm actually suffered, distinct from the Perceptrons myth
  capture promoted 2026-07-09 · ai-history, ai-winter, symbolic-ai, lighthill-report, herbert-simon
• Lighthill's 1973 report singled out 'general problem-solving programs' — the paradigm GPS belonged to — as persistently disappointing
  claim seedling Tier 1 2026-07-09 · lighthill-report, ai-winter, symbolic-ai, general-problem-solver, ai-history
• Herbert Simon's satisficing (economics) and heuristic search (GPS/AI) are the same 'good-enough over optimal' move, applied by one person to humans and to machines
  claim seedling Tier 3 2026-07-09 · herbert-simon, bounded-rationality, symbolic-ai, general-problem-solver, satisficing