Skip to content
Preprint

Towards an Intention Abstraction Layer for Autonomous Industrial Systems

Jul 2026 · 0 citations · 18 references
Computer Science

TL;DR

The Intention Abstraction Layer (IAL) is proposed, a domainagnostic middleware that represents intentions as first-class, persistent, and explainable runtime objects and shifts behavioral assurance for cooperating autonomous systems from post-hoc failure analysis to pre-execution, intention-level checking.

Abstract

Modern industrial environments increasingly run many autonomous subsystems at once - schedulers, energy managers, vehicle fleets - each pursuing its own goals while sharing the same physical resources. Because high-level human intentions are translated into low-level control logic and then discarded, no running component can tell whether it is still doing what was actually intended, and goal conflicts surface only after they have caused a missed target or a shutdown. We propose the Intention Abstraction Layer (IAL), a domainagnostic middleware that represents intentions as first-class, persistent, and explainable runtime objects: a large language model grounded in a formal OWL ontology parses naturallanguage goals into structured intentions, a consistency monitor detects conflicts at registration time, before execution, and a transparency module explains them in natural language. We report a first proof of concept in which two autonomous agents register conflicting production and energy intentions, and the IAL flags and explains the conflict before it reaches the execution layer. The result is a mechanism that shifts behavioral assurance for cooperating autonomous systems from post-hoc failure analysis to pre-execution, intention-level checking.

View source

Similar papers

Jul 2026

PhyAgentOS: A Self-Evolving Operating System for Embodied Agents with Decoupled Cognitive Planning and Physical Execution

This work presents PhyAgentOS, a runtime foundation delivering scheduling, verification, memory, benchmarking, and safety as system-level services, and distinguishes execution termination from semantic task completion via evidence-grounded verdicts of success, failure, or replan.

Yang Liu, Weixing Chen, Xinshuai Song et al. · 2 citations
Preprint Jul 2026

TypeGo: An OS Runtime for Embodied Agents

Large language models (LLMs) can plan behavior for embodied agents from natural language, but treating the LLM as a request/response oracle on the critical path is fundamentally at odds with real-time control and concurrent goals. We argue for an operating-system-style runtime for embodied agents, and instantiate this...

Guojun Chen, A. Schott, Lin Zhong · 0 citations
Preprint Aug 2026

Formal Verification of Agentic Systems over Operational Data

It is shown that LLM-driven agents can violate this condition and introduced a canonical deployment wrapper that guarantees it for arbitrary base agents while preserving already-equivariant behaviour, and it is proved that computing canonical representations required by this construction is graph-isomorphism-hard.

Alejandro J. Mercado, A. Lomuscio · 0 citations
Jul 2026

Do AI Agents Know When a Task Is Simple? Toward Complexity-Aware Reasoning and Execution

This work formalizes minimum-sufficient execution and the Agent Cognitive Redundancy Ratio (ACRR), and proposes E3 (Estimate, Execute, Expand): the agent estimates an initial operating point, executes a minimum viable path, and expands scope only when verification fails.

J. Yin, Xinyu Feng · 1 citation
Preprint Aug 2026

Agentic Transaction: Towards ACID-Compliant Agent Systems

This work introduces the concept of an agentic transaction and proposes an ACID-compliant agent system framework that reinterprets the classical ACID properties for agent execution through four semantic guarantees: Semantic Atomicity, Semantic Consistency, Semantic Isolation, and Semantic Durability.

Zhaoyan Sun, Xiaoxiao Wang, Guo-Liang Li · 3 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.