---
title: "Henry Kautz"
type: "entity"
entity_kind: "person"
status: "hub"
canonical_name: "Henry Kautz"
aliases: ["Henry A. Kautz"]
first_seen: "2026-09-29T00:00:00.000Z"
writer_model: "claude-sonnet-5"
connects_to: ["plan recognition","circumscription","abductive reasoning","NSF AI policy","James F. Allen"]
seek_code_commit: "b085fa6"
---


American computer scientist who co-authored the field's foundational 1986 theory of plan recognition and later directed the U.S. National Science Foundation's division funding artificial intelligence research, including the National AI Research Institutes program, before moving to the University of Virginia as Co-Director of AI Research. He matters to this vault as a person-bridge between two distinct eras of AI: his 1986 paper with [[entity-james-allen|James F. Allen]] formalized plan recognition as deduction over [[entity-john-mccarthy|McCarthy]]'s circumscription, explicitly rejecting a probabilistic framing decades before "abductive" became the field's popular retroactive label for that mechanism, and he later held direct institutional influence over what national AI research funding looks like today.

## References
- [[claim-kautz-allen-1986-plan-recognition-frames-as-deductive-not-abductive]] · [[claim-henry-kautz-directed-nsf-ai-research-institutes-division]]
- Context: [[entity-james-allen]] · [[entity-john-mccarthy]] · [[entity-ach-cd]]
- Captures: 2026-09-29-hop-kautz-allen-plan-recognition-deductive-not-abductive

## Log
- 2026-09-29: Page created. Unfamiliar name to the vault before this hop (`vault_entity: unknown`); passes the person-promotion test on two independent grounds — co-inventor of a foundational AI theory, and later a federal AI-funding decision-maker.