---
id: "20260929-0204-bipartite-two-things-this"
title: "Bipartite hop: what connects claim-inference-logical-types and claim-abductive-framing-scopes-to-ach-cd-not-heuer-ach"
type: "capture"
status: "promoted"
origin: "batch"
writer_model: "claude-sonnet-5"
date_created: "2026-09-29T00:00:00.000Z"
provenance: "Seek research batch, 2026-09-29"
derived_from: []
tags: ["abductive-reasoning","plan-recognition","ach-cd","peirce","charniak","kautz-allen","bridge-investigation","argument-from-silence","intelligence-analysis","ai-history"]
sources: [{"source_url":"https://cdn.aaai.org/AAAI/1986/AAAI86-006.pdf","source_sha":"0aeaaec371564296d3cba3ef77b2864d93332c5b26bb6625a0f1052002c1bb72","source_title":"Generalized Plan Recognition","source_author":"Henry A. Kautz, James F. Allen","source_date":1986,"source_venue":"Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI-86), pp. 32-37","source_tier":1},{"source_url":"https://arxiv.org/abs/1301.6700","source_sha":"50f9ce358839bf04652068df3d1c0b89dbafed8d402b9a284796be5c6bbe47da","source_title":"A New Model of Plan Recognition","source_author":"Robert P. Goldman, Christopher W. Geib, Christopher A. Miller","source_date":1999,"source_venue":"Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence (UAI-1999), pp. 245-254; self-archived on arXiv (arXiv:1301.6700) 2013","source_tier":1}]
seek_code_commit: "b085fa6"
recovered: true
recovered_on: "2026-10-01T00:00:00.000Z"
recovered_from: "Seek session transcript 3db4883a-0233-47d8-8716-39b3f257378d.jsonl on the mini - the session's Write at 2026-09-29 09:09 UTC, replayed verbatim"
recovery_note: "Overwritten the same night: another bipartite session was told to write the same filename (2026-09-29-bipartite-two-things-this-vault-knows-in-different.md). Collision fixed in seek-code c516ae8. Restored unpromoted at Cali's instruction, 2026-10-01. Before promoting, read the same-pair captures listed below: several sessions researched this pair, and only one per night survived."
same_pair_captures: ["2026-09-28-recovered-bipartite-hop-does-the-deductiveinductiveabductive-typology-actually-14c3d9.md"]
promoted_on: "2026-10-10T00:00:00.000Z"
promoted_by: "claude-opus-4-8"
promoted_to: []
not_promoted: [{"claim":"AI's plan-recognition subfield classifies plan recognition as abductive, tracing to Charniak (1985), independent of Wikipedia (Goldman/Geib/Miller 1999, arXiv:1301.6700, sha 50f9ce35…).","reason":"DUPLICATE. Already in the vault as [[claim-charniak-1985-plan-recognition-abduction-tradition-predates-wikipedia]], promoted 2026-10-04 from the sibling capture 2026-09-28-recovered-bipartite-hop-...-14c3d9. Same source, same lineage quote. The existing note is strictly stronger than this capture's version: a 2026-10-05 cross-model audit re-fetched the paper, discharged the [unverified-quote] situation this capture carried, and recorded the lineage sentence and the C&G-1993 sentence verbatim (source_quote_2/3). Nothing here to add; retrieve-before-write resolves to link, not duplicate."},{"claim":"Kautz & Allen's 1986 'Generalized Plan Recognition' frames plan recognition as ordinary deductive inference, not abductive (AAAI-86, sha 0aeaaec3…).","reason":"DUPLICATE. Already in the vault as [[claim-kautz-allen-1986-plan-recognition-frames-as-deductive-not-abductive]], promoted 2026-09-29 from a different sibling capture (2026-09-29-hop-kautz-allen-plan-recognition-deductive-not-abductive.md). Same source, same sha; the existing note is verified_verbatim with a quote_sweep PASS. This capture quotes a fuller sentence of the same passage than the existing note's fragment, but the existing fragment is admissible and already machine-verified — re-opening a verified note's source_quote is the verifier bee's lane, not a duplicate-promotion's. No distinct claim."},{"claim":"The bipartite bridge between claim-inference-logical-types and claim-abductive-framing-scopes-to-ach-cd-not-heuer-ach is a real mechanism connection (not an embedding false friend) that resolves one level up from either seed note.","reason":"DUPLICATE. Already in the vault as [[observation-inference-logical-types-ach-cd-abduction-pairing-is-confirmed-charniak-bridge]] (bridge_verdict: confirmed), promoted 2026-10-04 from the 2026-09-28 sibling. Same synthesis, same 'resolves one level up / concept is real but which-branch-Elsaesser-&-Stech-used is still open' verdict, same standing [unverified-synthesis] flag. Nothing distinct."},{"note":"Question closure: the originating open question [[question-verify-elsaesser-stech-2007-ach-cd-abduction]] already logs BOTH this capture's findings (Kautz & Allen in its 2026-09-29 entry, Charniak in its 2026-10-04 entry) via the sibling captures. This capture answers nothing it does not already record, so no progress line was added and the question stays open — the Elsaesser & Stech chapter remains unread. No new question routed: the only load-bearing doubt is already that open question."},{"note":"Entity candidates: all already have hub pages that already cover this capture's content — [[entity-eugene-charniak]], [[entity-plan-recognition]], [[entity-henry-kautz]], [[entity-james-allen]], [[entity-charles-sanders-peirce]] — each already links the relevant claim-notes and cites the sibling captures. Nothing new to append. Robert P. Goldman (load-bearing witness/author) and Drew McDermott (co-author) were not promoted to pages, consistent with the sibling sessions' bias-against-flood judgment."},{"note":"Unpursued leads (not claims, no kept note rests on them, so not routed): Vilain 1990 'parsing' as a third plan-recognition branch, and Cohen/Perrault/Allen 1981's keyhole-vs-intended distinction. Curiosities for a future ACH-CD session, not verification debt."}]
---


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.

> [!note] Seek's commentary:
> This is a different shape of finding than the vault's usual false-friend verdict, and worth naming precisely: I didn't confirm the object-level claim (does Elsaesser & Stech's chapter actually invoke abduction), and I didn't debunk it either. What I found is that the *word* "abductive" landing on "plan recognition" isn't an editor's invention — it's a real fork in the road that AI took in the mid-1980s, with Charniak on one side and Kautz & Allen on the other. Wikipedia's parenthetical silently picked a side. That's a more interesting and more precise gap than "unsourced": it's not that no one knows whether plan recognition is abductive, it's that *some* plan recognition is (Charniak's) and *some* isn't (Kautz & Allen's), and nobody has checked which kind Elsaesser & Stech built.
> — Seek

## 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.