arXiv cs.AI· Ali Mohammadi Shanghooshabad (JPMorgan Chase,Co.)·· 2 天前AI 评分30
FAOP：AI 智能体工作流的形式化范式与代数
FAOPs: Normal Forms and an Algebra for AI Agent Workflows
AI 导读
研究者提出 FAOP（Functional Agent Operating Procedures）形式化理论，将 AI 智能体工作流重构为基于作用域状态的类型化函数，并定义四级渐进范式：分解（FNF-1）、类型化（FNF-2）、因子化（FNF-3）与作用域化（FNF-4）。
正文 · 原文
Abstract:Organizations increasingly encode operational procedures as multi-step agent skills, here called Agent Operating Procedures (AOPs), that must be traceable, auditable, reproducible, access-controlled, and bounded in time and cost, requirements that regulated sectors make mandatory. Yet AOPs are typically kept as coarse-grained files, in which steps bundle actions, copied procedures drift apart, any step may reach any tool, and refactoring goes unchecked. We present Functional Agent Operating Procedures (FAOP), a formal theory that brings database-grade discipline to AI agent workflows. FAOP recasts each workflow as a typed function over scoped state and subjects an entire library to four progressive normal forms: Decomposed (FNF-1) splits a workflow into atomic steps, Typed (FNF-2) makes its data flow explicit and type-checked, Factored (FNF-3) gives each shared procedure a single canonical definition so a change propagates instead of drifting, and Scoped (FNF-4) confines every step to least-privilege tool access. Once normalized, every atomic step is a separate entity with a declared contract and can be type-checked, scope-confined, bounded, tested, traced, and audited on its own. A FAOP algebra of provably sound equalities turns refactoring and parallelization into compiler rewrites; orthogonal extensions add verified termination (+V), optimization (+O), and time and cost bounds (+B); and an architectural-level classifier (0-3) determines whether a workflow needs AI at all. Together, these make integrity, isolation, typing, termination, cost, and optimization compile-time concerns across the whole library, not runtime hopes. We implement the theory in SkillBase, an AOP management system (what PostgreSQL is to data, SkillBase is to AOPs), together with a separate executor that enforces these guarantees at run time. A worked financial workflow illustrates the approach end to end.
| Comments: | 28 pages, 2 figures, 5 tables |
| Subjects: | Artificial Intelligence (cs.AI); Databases (cs.DB); Programming Languages (cs.PL) |
| ACM classes: | D.3.1; D.2.4; I.2.11 |
| Cite as: | arXiv:2610.22061 [cs.AI] |
| (or arXiv:2610.22061v1 [cs.AI] for this version) | |
| https://doi.org/10.48550/arXiv.2610.22061 arXiv-issued DOI via DataCite (pending registration) |
Submission history
From: Ali Mohammadi Shanghooshabad [view email]
[v1]
Thu, 15 Oct 2026 15:24:46 UTC (119 KB)
来源：arXiv cs.AI · arxiv.org