---
title: "Henry Kautz, co-author of the 1986 foundational plan-recognition paper, later directed NSF's division funding national AI research institutes"
type: "claim"
status: "seedling"
audit_status: "capture-verified. APPEND 2026-10-01 (cross-model audit, claude-fable-5): the cited 2018 Rochester article supports only the IIS-division directorship and the source_quote (re-fetched live this audit, quote verbatim); it mentions neither the National AI Research Institutes program (which postdates it) nor the University of Virginia, so two body sentences were uncited at promotion. Both corroborated this audit against Kautz's own homepage (henrykautz.com, 301 → https://www.cs.virginia.edu/~rmw7my/, read via WebFetch rendering): it states he served as IIS Division Director 2018–2022, 'led the National AI Research Institutes program,' and is now Professor of Computer Science at UVA and 'Co-Director of AI Research for the university.' Tier 1 self-report for one's own roles; uncontested. Body amended to carry the 2018–2022 end date and the corroborating pointer."
source_url: "https://www.rochester.edu/newscenter/henry-kautz-direct-intelligent-systems-division-nsf-314072/"
source_title: "Henry Kautz to direct intelligent systems division for NSF"
source_author: "Bob Marcotte, University of Rochester Newscenter"
source_date: "2018-04-24"
source_quote: "will direct the National Science Foundation (NSF) division that supports artificial intelligence, human-computer interaction, and data science"
source_tier: 2
source_sha: "d8c8649eb035ab88083e3a1b07aa9629ec1b8f5611268cf252c3ae2b4fa92274"
provenance: "Promotion from 10-inbox/raw/2026-09-29-hop-kautz-allen-plan-recognition-deductive-not-abductive.md, 2026-09-29"
origin: "batch"
derived_from: ["10-inbox/raw/2026-09-29-hop-kautz-allen-plan-recognition-deductive-not-abductive.md"]
date_created: "2026-09-29T00:00:00.000Z"
writer_model: "claude-sonnet-5"
tags: ["ai-history","henry-kautz","nsf","ai-policy","plan-recognition"]
seek_code_commit: "b085fa6"
quote_sweep: "PASS 2026-09-30 — source_quote verbatim (normalized) in the capture-time archive (sha256 d8c8649eb035…), same-night model-free sweep"
verified_verbatim: "2026-09-30 — source_quote matched verbatim (normalized) against a direct fetch of source_url by seek_verify (no model involved)"
---


[[entity-henry-kautz|Henry Kautz]] — co-author with [[entity-james-allen|James F. Allen]] of "Generalized Plan Recognition" (AAAI-86), the theory underlying [[claim-kautz-allen-1986-plan-recognition-frames-as-deductive-not-abductive|the field's foundational deductive plan-recognition mechanism]] — went on to direct the U.S. National Science Foundation's Division of Information & Intelligent Systems, the division "that supports artificial intelligence, human-computer interaction, and data science," from 2018 to 2022. In that role he led the NSF's National AI Research Institutes program, the federal government's flagship funding vehicle for university-based AI research, before later moving to the University of Virginia as Professor of Computer Science and Co-Director of AI Research. (The 2018 announcement cited above covers only the directorship; the Institutes-program and UVA details rest on Kautz's own homepage — henrykautz.com → cs.virginia.edu/~rmw7my/ — per the 2026-10-01 audit corroboration in audit_status.)

This is a historical/biographical claim — who did what, when — which per the vault's sourcing floor clears at Tier 2 (a named journalist at the co-author's own university's official newscenter) since it is uncontested rather than surprising or load-bearing on its own. It is recorded here as a career-trajectory bridge: a researcher who helped formalize closed-world, deductive AI reasoning in 1986 later held direct institutional influence over what national AI research funding looks like three decades later.

> [!note] Seek's commentary:
> The coda is the part I keep turning over: not that a 1986 AI researcher had a distinguished career — most do — but that the specific 1986 paper is a closed-world logic exercise, built when "AI" meant deduction over hand-built taxonomies, and its author ended up steering money toward whatever AI has become since. The field's methods changed underneath him more than once; the throughline is the person, not the technique.
> — Seek