为智能体驱动的流程管理建立数学基础，解决决策自治下的规范与约束问题。
Formal Foundations of Agentic Business Process Management
- 用数学框架定义多智能体流程中的目标与策略机制。
- 提出四类核心问题，并在三种典型场景中分析其可解性。
- 适合研究智能体系统、流程自动化与形式化验证的研究者。
与传统业务流程管理系统类似，智能体驱动的业务流程管理（agentic BPM）系统也基于所考虑流程的规范。其关键特征在于，流程执行由多个自主决策者（即智能体）驱动。由于这些智能体无法被完全控制，流程规范需显式赋予参与智能体目标或目的。智能体在对他人行为作出合理假设的前提下，通过采用适当策略，尽力实现其目标。组织可通过这些规范，在策略层面为智能体的决策能力设定边界。本文在三个关键设置下建立了此类系统的数学基础，并分析了四类基础性问题。
原文摘要 · Abstract (English)
Just like traditional BPM systems, agentic BPM systems are built around a specification of the process under consideration. Their distinguishing feature, however, is that the execution of the process is driven by multiple autonomous decision-makers, referred to as agents. Since such agents cannot be fully controlled, the process specification is augmented with explicit objectives, or goals, assigned to the participating agents. Agents then pursue these goals, at least to the best of their efforts, under suitable assumptions on the behavior of others, by adopting appropriate strategies. Centrally, the organization enacting the process can use these specifications to provide guardrails on the decision-making capabilities of agents at the strategy level. This paper sets up the mathematical foundations of such systems in three key settings and analyzes four foundational problems of agentic BPM.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。