all tags

symbolic-ai

10 notes carry this tag — 7 claims, 1 question, 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 located AI's central difficulty in knowledge representation, faulting Lighthill's 'non-standard' use of 'heuristics'
  claim seedling Tier 1 2026-08-22 · lighthill-report, mccarthy, knowledge-representation, heuristics, symbolic-ai
• 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
• Dreyfus's critique targeted Newell & Simon's physical symbol system hypothesis — a rationalist lineage (Descartes, Leibniz, Wittgenstein's Tractatus) the Dreyfuses separated from the Hebb–Rosenblatt neural-net line
  claim seedling Tier 1 2026-07-09 · dreyfus, connectionism, phenomenology, symbolic-ai, philosophy-of-ai
• Lighthill's 1973 report blamed AI's disappointments on the combinatorial explosion, not on multilayer-perceptron pessimism
  claim seedling Tier 1 2026-07-09 · lighthill-report, ai-winter, symbolic-ai, ai-history, combinatorial-explosion
• 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
• SRI's neural-network group retooled toward symbolic AI to follow ARPA funding, not because perceptrons had been refuted
  claim seedling Tier 1 2026-07-09 · connectionism, ai-winter, sri, funding, sociology-of-science
• Re-read the Lighthill 1973 report PDF and confirm the combinatorial-explosion and general-problem-solving quotes verbatim
  question answered 2026-07-09 · lighthill-report, ai-winter, symbolic-ai, verification, history-of-ml