Agency as a New Organizing Abstraction for Computer Science
Organizations: Argonne National Laboratory and The University of Chicago
Abstract
Advances in large-scale machine learning have enabled agentic AI systems: persistent, autonomous computational entities that pursue goals, initiate actions, and interact with open environments. These systems are often framed as applications of foundation models. We argue that this framing is incomplete: agency is also a candidate new organizing abstraction for computer science. What is new is not the concept of an agent, nor runtime policy generation per se, but its general-purpose, open-ended form, in which systems can synthesize courses of action from goals, observations, and memory, over tools and environments for which no complete task-specific model was specified in advance. Thus agency becomes a systems-level abstraction as well as an AI modeling concept. Where the process abstraction organizes computation around executing programs, agency organizes it around pursuing goals under bounded resources: a process executes a program; an agent pursues a goal. From this perspective, the recurring failures of deployed agentic systems (runaway resource consumption, behavior redirected by adversarial content, opaque continuous operation) are symptoms of structural abstraction gaps, not isolated engineering defects. We examine these gaps across six dimensions (execution, interfaces, correctness, oversight, coordination, and persistence) and argue that closing them requires coordinated advances in systems,
Figures & tables
| Dimension | Conventional organizing focus | Agency makes first-class |
|---|---|---|
| Execution | Resource limits | Resource budgets |
| Interfaces | Protocols | Contracts |
| Correctness | Functional correctness | Behavioral correctness |
| Oversight | Commands | Attention allocation |
| Coordination | Scheduling | Negotiation |
| Persistence | State | Memory |
| Observed Failure Mode | Abstraction Gap | Resulting Research Challenges |
|---|---|---|
| Autonomous resource consumption and unbounded action initiation | Execution models assume externally invoked computation with reactive resource control | Proactive resource budgeting, anticipatory constraint enforcement, isolation for self-directed processes |
| Ambiguous agent lifecycles and costly termination | Process and service abstractions assume clear start, run, and termination phases | Lifecycle models for persistent agents, state preservation and transfer, principled shutdown semantics |
| Distributed failure attribution across long decision sequences | Debugging and verification assume localized faults and linear execution | Causal tracing across reasoning-action loops, partial-order explanations, long-horizon accountability |
| Misplaced responsibility at system boundaries | Control and correctness are assumed to reside outside the computational component | New interface contracts, responsibility assignment, end-to-end reasoning for autonomous initiators |
| Behavior redirected by adversarial content | Abstractions assume a separation between trusted code and untrusted data | Trust-boundary tracking, provenance-aware interpretation, limits on untrusted influence over actions |
| Opaque behavior under continuous operation | Interaction models assume explicit user commands and episodic execution | Oversight interfaces, escalation policies, scalable human supervision mechanisms |
Agentic AI
Agentic artificial intelligence studies systems that plan, use tools, learn from feedback, and act toward goals with varying degrees of autonomy.
See all 214 papers