Bipartite hop: what connects claim-inference-logical-types and claim-abductive-framing-scopes-to-ach-cd-not-heuer-ach
The two seed notes both already use the word "abductive" — this pairing is not the vocabulary-free case the bipartite protocol usually expects. claim-inference-logical-types defines abduction generically, in Peirce's terms, as inference to a "'best explanation' based on likelihood given the evidence." claim-abductive-framing-scopes-to-ach-cd-not-heuer-ach investigates one specific downstream application of that same word — Wikipedia's claim that Elsaesser & Stech's ACH-CD counter-deception tool uses "state-based hierarchical plan recognition (see abductive reasoning)" — and finds the mechanism claim [unverified-mechanism — needs primary], because the only textual link is a Wikipedia parenthetical, not a quoted phrase from Elsaesser & Stech's own chapter (see claim-ach-cd-abduction-characterization-traces-to-wikipedia-editorial-gloss).
Bridge-seed check: searched 10-inbox/raw/ for a capture naming both note slugs. None exists — three prior captures each investigate one side of this pair (claim-no-primary-source-documents-ach-abduction-similarity's and the Elsaesser & Stech captures on the ACH-CD side; the Jevons/inference-typology captures on the abduction-definition side) but no session has run this exact pairing. This is a fresh hop, not a duplicate.
This capture asks the specific, narrower question the existing notes leave open: independent of Wikipedia and independent of whether Elsaesser & Stech's chapter is ever read, is "plan recognition = abductive reasoning" an established technical claim in AI, or is it Wikipedia's own invention? The answer, found in the AI plan-recognition literature itself, is that it is established — decades before Wikipedia's article existed — and it traces to a named foundational figure the existing notes hadn't yet surfaced.
Claim: AI's plan-recognition subfield formally classifies plan recognition as abductive inference, and traces this classification to Eugene Charniak (1985), independently of Wikipedia
Claim type: specific technical-mechanism claim (a classification of how a named AI technique works, within its own field's literature). Sourcing floor: Tier 1-2 required. Met: both quotes below come from the papers' own authors on the papers' own record — Robert P. Goldman is a co-author of both the 1993 paper being characterized and the paper doing the characterizing.
Robert P. Goldman, Christopher W. Geib, and Christopher A. Miller's "A New Model of Plan Recognition" (UAI-1999) states the field's own intellectual lineage directly: "To the best of our knowledge, Charniak was the first to argue that plan recognition was best understood as a specific form of the general problem of abduction, or reasoning to the best explanation (Charniak & McDermott 1985)." The same paper continues: "Charniak and Goldman (C&G) (1993) argued that, since plan recognition involves abduction, it could best be done as Bayesian inference," and the paper's own conclusion states it "presented a general model of plan recognition based on probabilistic abductive logic."
This is independent of, and roughly two decades earlier than, Wikipedia's "Analysis of competing hypotheses" article (the only source the vault had previously found asserting a plan-recognition/abduction link, per claim-ach-cd-abduction-characterization-traces-to-wikipedia-editorial-gloss). The AI field's own classification of plan recognition as abduction rests on Eugene Charniak and Drew McDermott's 1985 textbook Introduction to Artificial Intelligence, formalized by Charniak & Goldman's 1993 Artificial Intelligence-journal paper "A Bayesian Model of Plan Recognition" — neither text was independently read this session (the 1993 paper's only located mirror, ResearchGate, returned HTTP 403; Charniak & McDermott 1985 is a print textbook, not located online), so the content of Charniak's 1985 argument rests on Goldman's own secondary report of it, not a direct quote. What is independently and directly verified is that a named, credentialed AI researcher — writing about his own co-authored work, on his own arXiv self-archive — asserts this lineage as settled disciplinary history, not as a contested or novel claim.
Source: Robert P. Goldman, Christopher W. Geib, Christopher A. Miller, "A New Model of Plan Recognition," UAI-1999, pp. 245-254, self-archived at https://arxiv.org/abs/1301.6700 (fetched via archive_page, sha256 50f9ce358839bf04652068df3d1c0b89dbafed8d402b9a284796be5c6bbe47da). Tier 1. Quote: "To the best of our knowledge, Charniak was the first to argue that plan recognition was best understood as a specific form of the general problem of abduction, or reasoning to the best explanation (Charniak & McDermott 1985)."
Claim: The field is not unanimous — the other major foundational plan-recognition theory (Kautz & Allen, 1986) explicitly frames plan recognition as deductive, not abductive
Claim type: specific technical-mechanism claim about a named primary paper's own stated framing. Sourcing floor: Tier 1-2 required. Met: read directly from the paper's own text, at its own original conference-proceedings host (AAAI's own archive — the primary venue, not a mirror).
Henry Kautz and James Allen's "Generalized Plan Recognition" — the paper Goldman's team credits with having "framed the discussion of plan recognition ever since" its 1986 publication — states its own method in explicitly deductive, not abductive, terms: "It is not necessary to abandon logic, or to enter the depths of probabilistic inference, in order to handle the problematic cases of plan recognition described above. Instead, we propose that plan recognition be viewed as ordinary deductive inference, based on a set of observations, an action taxonomy, and one or more simplicity constraints." Kautz & Allen's approach uses McCarthy's circumscription to treat plan recognition as logical deduction over an action-specialization hierarchy — a different formal apparatus from, and explicitly contrasted against, the abductive/Bayesian tradition Charniak and Goldman built.
This means "plan recognition is abductive reasoning" is a real, citable, decades-old technical position in AI — but it is a lineage-specific position (Charniak's), not the field's unanimous verdict. The field's other major foundational branch (Kautz & Allen's) explicitly rejects the abductive framing in favor of deduction. Wikipedia's unqualified parenthetical "(see abductive reasoning)" — the sentence claim-ach-cd-abduction-characterization-traces-to-wikipedia-editorial-gloss traced as unsupported by any quoted phrase from Elsaesser & Stech — picks the Charniak side of a real disciplinary split without saying so, and without evidence of which side Elsaesser & Stech's own "state-based hierarchical plan recognition" technique actually follows.
Source: Henry A. Kautz, James F. Allen, "Generalized Plan Recognition," Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI-86), pp. 32-37, https://cdn.aaai.org/AAAI/1986/AAAI86-006.pdf (fetched via extract_pdf, sha256 0aeaaec371564296d3cba3ef77b2864d93332c5b26bb6625a0f1052002c1bb72, tls verified). Tier 1. Quote: "we propose that plan recognition be viewed as ordinary deductive inference, based on a set of observations, an action taxonomy, and one or more simplicity constraints."
Claim: The bridge between the two seed notes is real, not a false friend — but it resolves one level up from where either note currently sits
Claim type: synthesis/connective claim drawing on the two Tier-1 claims above plus the two vaulted seed notes; not itself resting on a single new primary source.
Unlike the vault's six prior confirmed embedding-false-friend verdicts (e.g. observation-ach-abduction-lucky-widrow-cosine-pairing-is-embedding-false-friend), this pairing is a genuine mechanism connection, not a coincidence of vocabulary. claim-inference-logical-types's definition of abduction — inference to the "best explanation based on likelihood given the evidence" — is exactly the concept Charniak (1985) and Charniak & Goldman (1993) invoke by name when classifying plan recognition as abductive: inferring the most probable top-level plan that explains a sequence of observed actions is, structurally, inference to the best explanation of those observations. The AI subfield's technical vocabulary and the general epistemological definition are the same idea at different levels of abstraction, not a false rhyme.
What this does not do is resolve claim-abductive-framing-scopes-to-ach-cd-not-heuer-ach's standing flag. That note's core finding — that even a confirmed abductive characterization would attach to ACH-CD, a MITRE derivative, and not to Heuer's ACH proper — is untouched: nothing found this session bears on the ACH-vs-ACH-CD scope question. What this session adds is one level below that scope question, at the mechanism-plausibility level flagged by claim-ach-cd-abduction-characterization-traces-to-wikipedia-editorial-gloss: Wikipedia's "(see abductive reasoning)" parenthetical is not a fabricated or unsupported classification in the abstract — it reflects one real, named, decades-old branch of the plan-recognition literature. Whether Elsaesser & Stech's own 2007 chapter actually draws on that branch (versus, say, Kautz & Allen's deductive branch, or something else entirely) remains [unverified-mechanism — needs primary], exactly as the standing note already flags — the chapter itself is still unread. The finding here is narrower and more honest than "confirmed": the concept Wikipedia reached for is real and well-grounded; whether it is the right concept for this specific chapter is still open.
Further leads
- Charniak, E. & McDermott, D. (1985), Introduction to Artificial Intelligence, Addison-Wesley — the textbook Goldman's paper credits as the origin of "plan recognition = abduction"; a print textbook, not located online this session. Reading the actual passage would upgrade the lineage claim above from Goldman's secondary report to a direct primary quote.
- Charniak, E. & Goldman, R.P. (1993), "A Bayesian Model of Plan Recognition," Artificial Intelligence 64(1):53-79 — the formal paper itself; ResearchGate mirror 403'd this session (
researchgate.net/profile/Robert-Goldman-5/publication/222330914...), ScienceDirect/dl.acm.org paywalled, not attempted directly. A Brown University (Charniak's home department) preprint mirror was not found but not exhaustively searched. - The Adversarial Reasoning anthology's separate "Chapter 14: Plan Recognition" (Part 1, distinct from Elsaesser & Stech's Chapter 21) — flagged already in the 2026-07-31 capture as unread; if it discusses plan recognition's theoretical grounding, it might reveal which branch (Charniak's or Kautz & Allen's) the volume as a whole, and possibly Elsaesser & Stech specifically, follows.
- Vilain, M. (1990), "Getting Serious about Parsing Plans," AAAI-90 — cited within the Goldman/Geib/Miller paper as a third branch (plan recognition as parsing, building on Kautz & Allen); not investigated, but confirms the field has at least three distinct foundational framings, not two.
- Cohen, P.R., Perrault, C.R., & Allen, J.F. (1981), "Beyond Question Answering" — cited by Goldman et al. as the source of the keyhole/intended plan-recognition distinction; unread, potentially relevant to whether ACH-CD's use case (a human analyst deliberately using a tool, not covertly observing an adversary) is "keyhole" or "intended" recognition in this framework's terms.
Entity candidates
- Eugene Charniak — person — the FOUNDATIONAL figure this whole bridge rests on: per Goldman's own paper, Charniak was "the first to argue that plan recognition was best understood as a specific form of...abduction," predating Wikipedia's article by decades. The vault's existing ACH-CD notes measure the "abductive" label against Peirce and against Wikipedia's editorial choices, but not yet against Charniak, whose 1985/1993 work is the actual technical ancestor of the label. Flagged first per the known blind spot.
- Henry A. Kautz / James F. Allen — people — co-authors of the other foundational plan-recognition paper (1986), the one that frames the same problem as deductive rather than abductive. Essential for the "field is split" half of this finding; without them the Charniak lineage would look like unanimous consensus rather than one side of a real disciplinary fork.
- Robert P. Goldman — person — co-author of both the formalizing 1993 abductive paper and the 1999 paper (self-archived on arXiv) that supplied this session's direct, quotable lineage claim; the load-bearing witness for the whole first claim above.
- Charles Sanders Peirce — person — already well-covered in the vault (entity-charles-sanders-peirce); flagged again because this capture is a fresh instance of measuring a technical AI claim against his original abduction concept.
- Christopher Elsaesser / Frank J. Stech — people — already flagged in the 2026-07-31 capture; still the two people whose actual, unread chapter text would resolve which plan-recognition branch (if either) ACH-CD follows.
- Drew McDermott — person — Charniak's co-author on the 1985 textbook; a secondary but necessary name for anyone trying to locate and read that text directly.
Safety flags
None encountered this session. Pages fetched (AAAI-86 PDF, arXiv abstract pages ×2, ResearchGate PDF attempt) were ordinary academic content or clean HTTP errors (403 Forbidden on ResearchGate, 406 Not Acceptable on one arXiv PDF direct-link variant) — no adversarial signals, no addressed-to-AI language, no tier self-assignment, no file-system or credential requests.