all tags

history-of-ai

45 notes carry this tag — 12 claims, 3 observations, 30 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.

• Does AI/cognitive-science history contain a genuinely Stent-premature articulation of inference-time ('think longer at answer-time') compute?
  capture promoted 2026-10-21 · history-of-ai, test-time-compute, inference-time-compute, anytime-algorithms, metareasoning
• The anytime-algorithms/metareasoning tradition — the strongest AI-historical candidate for a Stent-premature 'inference-time compute' — fails Stent's test: it was cross-cited and continuously built upon, never disconnected from canonical AI knowledge
  claim seedling Tier 1 2026-10-21 · history-of-ai, test-time-compute, inference-time-compute, anytime-algorithms, metareasoning
• Dean & Boddy's 1988 paper named 'anytime algorithms' and formalized trading extra computation at answer-time for a better answer — but not first: its own footnote credits Horvitz's more general 1987 framework
  claim seedling Tier 1 2026-10-21 · history-of-ai, test-time-compute, inference-time-compute, anytime-algorithms, thomas-dean
• Dreyfus & Dreyfus's 1988 Daedalus essay blames classical AI's mid-1980s stall on the commonsense-knowledge problem, crediting Heidegger's critique of Husserl together with the later Wittgenstein's reversal
  claim seedling Tier 1 2026-10-14 · dreyfus, husserl, heidegger, commonsense-knowledge-problem, ai-winter
• Dreyfus & Dreyfus's 1988 Daedalus essay argues Minsky's 1973 frames structurally recapitulate Husserl's phenomenological noema theory, a comparison for which no response from Minsky has been located
  claim seedling Tier 1 2026-10-14 · dreyfus, minsky, husserl, phenomenology, frames
• Dreyfus & Dreyfus's 1988 essay argues Minsky's 1973 AI frames structurally recapitulate Husserl's 1913 phenomenological noema theory, sixty years and two disciplines apart
  capture promoted Tier 1 2026-10-12 · dreyfus, husserl, minsky, phenomenology, frames
• Hubert Dreyfus's foundational 1965 RAND Paper critiquing AI was commissioned through his brother Stuart Dreyfus's RAND employment, to evaluate Newell and Simon's "cognitive simulation" program
  claim seedling Tier 1 2026-10-11 · rand-corporation, hubert-dreyfus, stuart-dreyfus, allen-newell, herbert-simon
• RAND Corporation's own numbered "Paper" series is the real structure connecting Isaacs's silent 1951 P-257 and Dreyfus's 1965 P-3244 — a mediated, non-contemporaneous bridge, not a false friend
  observation seedling Tier 2 2026-10-11 · bipartite-bridge, rand-corporation, hubert-dreyfus, stuart-dreyfus, rufus-isaacs
• RAND Corporation's own 'Paper' series is the real institutional bridge between Brooks's 1986 Dreyfus-citing memo and Isaacs's silent 1951 P-257 — mediated through Stuart Dreyfus's RAND employment, not a direct or contemporaneous link
  capture promoted Tier 1 2026-10-09 · bipartite-bridge, rand-corporation, hubert-dreyfus, stuart-dreyfus, rufus-isaacs
• The cosine-0.84 pairing of Brooks's 1986 Dreyfus-rebuttal memo and Godfrey's pre-1939 "Value of History" lecture is an embedding false friend — no documented contact, and one side's content is unread
  observation seedling Tier 1 2026-10-05 · bipartite-bridge, embedding-false-friend, rodney-brooks, hubert-dreyfus, john-godfrey
• The cosine-0.84 pairing of Brooks's 1986 Dreyfus-rebuttal memo and Godfrey's pre-1939 'Value of History' lecture is an embedding false friend — no documented contact, and one side's content is unread
  capture promoted Tier 1 2026-09-30 · bipartite-bridge, embedding-false-friend, rodney-brooks, hubert-dreyfus, john-godfrey
• No document in the full 1973 Lighthill Report symposium names any author, textbook, or concept from the LQG/optimal-control lineage
  claim seedling Tier 1 2026-09-19 · lighthill-report, mccarthy, control-theory, optimal-control, lqg-control
• Lighthill's 1973 report describes AI's automation side as 'classical control technology' and 'conventional control-engineering methods' — never 'control theory,' never optimal-control vocabulary
  claim seedling Tier 1 2026-09-19 · lighthill-report, control-theory, optimal-control, disciplinary-wall, history-of-ai
• McCarthy's 1973 control-theory dismissal names no subfield, theorist, or publication — it groups 'control theory' generically with statistical decision theory
  claim seedling Tier 1 2026-09-19 · lighthill-report, mccarthy, control-theory, optimal-control, lqg-control
• Donald Michie's 1973 symposium comment glosses Lighthill's automation category as 'an outgrowth from control theory' — using the term for the practical-automation tradition, not a mathematical research program
  claim seedling Tier 1 2026-09-19 · lighthill-report, michie, control-theory, optimal-control, disciplinary-wall
• Bipartite hop: does the cosine-0.85 pairing between the Brooks/Dreyfus 'dropped citation after reviewer criticism' claim and the Werbos 'publishing strategy, not suppression' claim reveal a real mechanism, or is it a false friend?
  capture promoted 2026-09-17 · brooks, dreyfus, werbos, docsub, peer-review
• Does John McCarthy's 1973 dismissal of control theory engage the LQG/optimal-control lineage specifically, or a narrower target?
  capture promoted 2026-09-16 · mccarthy, lighthill-report, control-theory, optimal-control, lqg-control
• The AI lineage resource-rational analysis actually draws on is Horvitz and Russell's bounded optimality, not Werbos's approximate dynamic programming
  claim seedling Tier 1 2026-07-27 · resource-rationality, bounded-optimality, horvitz, stuart-russell, werbos
• Resource-rational analysis confirms the Anderson leg but not the Werbos leg of the optimization-as-theory-of-mind bridge
  observation seedling Tier 1 2026-07-27 · resource-rationality, rational-analysis, werbos, bounded-optimality, optimization
• Is resource-rational analysis (Lieder & Griffiths) the tightest convergence point of Werbos's approximate dynamic programming and Anderson's rational analysis?
  capture promoted Tier 1 2026-07-20 · resource-rationality, rational-analysis, anderson, lieder-griffiths, bounded-optimality
• The classic proof that Hex's first player always has a winning strategy is non-constructive — it never exhibits the strategy
  claim seedling Tier 4 2026-07-12 · hex, game-theory, john-nash, strategy-stealing, non-constructive-proof
• Shannon and Moore's 1950 analog Hex-playing machine selected its move from the saddle point of an electric potential field
  claim seedling Tier 2 2026-07-12 · claude-shannon, analog-computing, hex, game-ai, history-of-ai
• Seymour Papert — the Perceptrons co-author who brought Piaget into the AI lab and became the father of learning-by-building
  capture promoted Tier 2 2026-07-11 · papert, minsky, perceptrons, piaget, constructionism
• Shannon & Moore's 1950 Hex machine played a board game with an electrical potential field — the move was a saddle point
  capture promoted Tier 2 2026-07-11 · claude-shannon, analog-computing, hex, game-ai, cross-domain-bridge
• Exact publication year and page range of the NETtalk paper (Sejnowski & Rosenberg)
  capture promoted Tier 1-2 (see per-claim notes; primary PDF text could not be directly rendered in this environment — see caveat) 2026-07-09 · nettalk, sejnowski, rosenberg, backpropagation, connectionism
• Did Widrow attempt and abandon multilayer network training around 1965–1966, and what primary sources document this effort?
  capture promoted 2026-07-08 · widrow, madaline, adaline, multilayer-perceptron, backpropagation
• Does Perceptrons (1969) p. 232 contain the 'intuitive judgment … sterile' passage verbatim?
  capture promoted 2026-07-08 · Perceptrons, Minsky-Papert, history-of-AI, AI-winter, multilayer-perceptrons
• Did Bryson & Ho's Applied Optimal Control (1969) serve as a curriculum transmission vector for adjoint/gradient methods, and what does the argmin blog cite it as evidence of?
  capture promoted 2026-07-07 · backpropagation, optimal-control, history-of-AI, adjoint-method, Bryson-Ho
• What exactly did Dreyfus (1973) publish on error-gradient-proportional controller adaptation, and does it constitute a verifiable intermediate step in the backpropagation lineage?
  capture promoted 2026-07-07 · backpropagation, optimal-control, history-of-AI, Kelley-Bryson, Dreyfus
• What duality argument does the Argmin "Mates of Costate" post make connecting adjoint variables/co-state equations to Bryson (1961) and Kalman (1960), and does it support a backprop lineage through optimal control?
  capture promoted 2026-07-07 · backpropagation, optimal-control, history-of-AI, Kelley-Bryson, Kalman-filter
• Capture: Did Werbos's 1974 Harvard PhD thesis explicitly frame backpropagation as a solution to the spatial credit assignment problem, and in what terms?
  capture promoted Tier 2 2026-07-07 · werbos, backpropagation, credit-assignment, harvard, history-of-ai
• Did Kelley (1960) derive the optimal-control gradient via adjoint equations and Green's theorem?
  capture promoted 2026-07-06 · backpropagation, optimal-control, history-of-AI, adjoint-method, Greens-theorem
• What formal derivation does Mizutani & Dreyfus (2000) provide linking MLP backpropagation to the Kelley-Bryson optimal-control gradient formula?
  capture promoted 2026-07-06 · backpropagation, optimal-control, Kelley-Bryson, dynamic-programming, Mizutani-Dreyfus
• Did Rumelhart, Hinton & Williams (1986) explicitly invoke random initial weights as a symmetry-breaking mechanism in the Nature paper or their own writings?
  capture promoted 2026-07-05 · backpropagation, rumelhart-hinton-williams-1986, symmetry-breaking, weight-initialization, history-of-ai
• Did Ivakhnenko (1965 GMDH) and Amari (1967 SGD MLP) develop deep-network training methods that Rumelhart-Hinton-Williams 1986 failed to cite?
  capture promoted 2026-07-05 · backpropagation, rumelhart-hinton-williams-1986, ivakhnenko, gmdh, amari
• Who was David Parker, and what exactly did his 1985 independent rediscovery of backpropagation consist of — paper, report, or preprint?
  capture promoted 2026-07-05 · backpropagation, david-parker, learning-logic, independent-discovery, history-of-ai
• Do the 1986 Rumelhart-Hinton-Williams Nature paper's actual demonstrations of "useful internal representations" include a two-hidden-unit mirror-symmetry network and a five-layer family-tree network, as claimed by chsasank.com?
  capture promoted 2026-07-04 · backpropagation, rumelhart-hinton-williams-1986, multilayer-perceptron, internal-representations, history-of-ai
• Did Robbins & Monro (1951) originate stochastic gradient descent, and is Schmidhuber correct that Amari applied this specific method to MLPs in 1967?
  capture promoted 2026-07-03 · stochastic-gradient-descent, stochastic-approximation, robbins-monro, amari, schmidhuber
• Does Amari's 1968 Japanese book (Kyoritsu) contain Saito's five-layer MLP experiment, and what exactly does it report?
  capture promoted 2026-07-03 · amari, saito, schmidhuber, multilayer-perceptron, stochastic-gradient-descent
• Did Kunihiko Fukushima's 1979 Neocognitron constitute the first multilayer convolutional neural network, and what do primary sources actually claim?
  capture promoted 2026-07-03 · fukushima, neocognitron, convolutional-neural-network, cnn, deep-learning
• Is Amari's 1972 associative memory model mathematically equivalent to Hopfield's 1982 network, and what do the primary papers actually show?
  capture promoted 2026-07-02 · amari, hopfield, hopfield-network, associative-memory, ising-model
• Kelley (1960) and Bryson (1961) in the backpropagation lineage
  capture promoted 2026-06-30 · backpropagation, optimal-control, history-of-AI, gradient-descent, chain-rule
• Credit Assignment Problem (Minsky 1961) and Backpropagation
  capture promoted 2026-06-30 · backpropagation, credit-assignment, minsky, rumelhart-hinton-williams, neural-networks
• Did Shun'ichi Amari describe a form of gradient descent for layered networks in the 1960s?
  capture promoted 2026-06-29 · amari, backpropagation, gradient-descent, stochastic-gradient-descent, multilayer-perceptron
• Citation data for Linnainmaa 1970/1976: verifying the 'essentially uncited before the 2010s' claim
  capture promoted 2026-06-28 · backpropagation, automatic-differentiation, Linnainmaa, citation-history, history-of-AI