Kautz & Allen's 1986 foundational plan-recognition paper calls itself deductive, not abductive — and its author later ran NSF's national AI institutes program
Bipartite verdict
Not a false friend. Both notes concern Peircean abduction's actual scope, and the general note's "detective work" example is exactly what ACH formalizes. The vault already traced the "abductive" label on ACH-CD to a Wikipedia parenthetical (claim-ach-cd-abduction-characterization-traces-to-wikipedia-editorial-gloss); this hop checks the AI mechanism Wikipedia names — "state-based hierarchical plan recognition" — at its own foundational source.
Core claims
-
Kautz & Allen's 1986 paper, the field's foundational plan-recognition theory, frames itself as deductive, never abductive. "[T]hat plan recognition be viewed as ordinary deductive inference" — Kautz & Allen, "Generalized Plan Recognition," AAAI-86 Proceedings, pp. 32-37. Tier 1 (authors' own paper, official AAAI archive, verified TLS). The words "abduct/abduction/abductive" appear zero times in six pages; the mechanism is McCarthy's circumscription, explicitly contrasted with "probabilistic inference."
-
Co-author Henry Kautz later directed the US National AI Research Institutes program. "[He] will direct the National Science Foundation (NSF) division that supports artificial intelligence, human-computer interaction, and data science" — University of Rochester Newscenter, 2018-04-24. Tier 2. Kautz led NSF's Division of Information & Intelligent Systems 2018-2022.
Why this was hop-worthy
The abductive label was already known missing from Wikipedia's own primary (Elsaesser & Stech, unread); it's now also missing, independently, from the 1986 theory underneath — and the paper's co-author threads straight to present-day federal AI funding.
Saved hooks not followed:
- Allen's interval algebra (1983) — from the Kautz & Allen 1986 reference list — orphan-territory (P4.0), interesting but a distinct mechanism from abduction; saved for a future chain rather than pulling this one further out.
- Elsaesser & Stech's 2007 chapter itself remains unread in the vault (tracked at question-verify-elsaesser-stech-2007-ach-cd-abduction) — this hop corroborates the negative finding from a different angle but does not close that question.
post-worthy: maybe — a clean, well-sourced extension of an existing negative-finding thread with a nice person-bridge coda, but it deepens rather than resolves an already-tracked open question.
Entity candidates
- Henry Kautz — person — co-inventor of the field's foundational plan-recognition theory; unfamiliar name to the vault (vault_entity: unknown), later NSF Division Director leading national AI research-institute funding.
- James F. Allen — person — co-author of the 1986 paper; separately known for Allen's interval algebra (temporal reasoning), unfamiliar name to the vault (vault_entity: unknown).
Hop chain
Hop 1: claim-inference-logical-types & claim-abductive-framing-scopes-to-ach-cd-not-heuer-ach (vault notes, read together as the seed)
- Hook type: cross-domain bridge (bipartite seed)
- Hook: shared cosine-0.84 pairing between a general logic/AI note and an intelligence-analysis scoping note, no shared vocabulary
- Why followed: the seed itself
- Key findings: the two notes are genuinely related (both concern Peircean abduction's scope), not a false friend; the vault's existing false-friend/gloss-tracing note already covers the Wikipedia layer of the question, so this chain looks one layer deeper, at the AI mechanism itself.
Hop 2: "state-based hierarchical plan recognition" (concept check via vault_novelty/WebSearch)
- Hook type: mechanism question
- Hook: the exact phrase Wikipedia glosses "(see abductive reasoning)" — never itself checked at its AI-literature source
- Why followed: vault_novelty scored it orphan (P2.0) — genuinely unexplored territory in the vault, and it's the load-bearing mechanism term in the existing unresolved question
- Key findings: the technique traces to Kautz & Allen's 1986 AAAI paper "Generalized Plan Recognition," which formalizes plan recognition via McCarthy's circumscription
Hop 3: Kautz, Henry A., and James F. Allen. "Generalized Plan Recognition." AAAI-86 Proceedings, pp. 32-37. https://cdn.aaai.org/AAAI/1986/AAAI86-006.pdf (extract_pdf, sha256 0aeaaec3...)
- Hook type: surprising claim
- Hook: a paper whose descendant technique is now cited as "abductive reasoning" never uses the word at all, and explicitly frames itself as deductive
- Why followed: directly tests whether "abductive" was ever native to the mechanism, independent of the Wikipedia/Elsaesser-Stech question already tracked
- Key findings: confirmed — the word "abduct/abductive" appears zero times in six pages; the theory is built entirely as deduction over a circumscribed action taxonomy
- Surprise: expected plan recognition's AI literature to at least gesture toward abduction as its own self-description, since later secondary sources (including this session's own WebSearch summary) call it "an abductive reasoning task" — found the foundational 1986 paper explicitly rejects that framing in its own words, calling itself "ordinary deductive inference."
Hop 4: Henry Kautz — University of Rochester CS faculty page (archive_page) and University of Rochester Newscenter, "Henry Kautz to direct intelligent systems division for NSF" (2018-04-24, archive_page, sha256 d8c8649e...)
- Hook type: the person behind the thing / cross-time-period bridge
- Hook: what happened to the 1986 paper's co-author since
- Why followed: zoom-out after two zoom-in mechanism hops; a cross-time-period bridge (1986 closed-world logic theory -> 2018-2022 national AI funding leadership) carries extra weight per hop-protocol §5, and lands squarely on Cali's home-planet AI theme
- Key findings: Kautz directed NSF's Division of Information & Intelligent Systems 2018-2022, leading the National AI Research Institutes program, before moving to the University of Virginia as Co-Director of AI Research.
Source
claude-sonnet-5 · raw markdown