A Formal Framework for Declarative Agentic AI in Business Process Analysis
Quick Answer
This paper introduces a formal framework for Agentic AI in Business Process analysis using the AGO methodology.
Quick Take
It defines entities and interactions with precision, creating a Business Process Knowledge Base (BPKB) that supports structured querying and automatic workflow generation while ensuring soundness and completeness.
Key Points
- AGO methodology captures Agents, Goals, and Objects in Business Process modeling.
- The framework is grounded in set theory and mathematical logic.
- BPKB allows for structured querying and incremental updates.
- Automatic generation of Business Process workflows is supported.
- Ensures soundness and completeness of derived paths.
Paper Resources
Source Excerpt
arXiv:2606. 15291v1 Announce Type: new Abstract: Agentic AI opens new opportunities for automating Business Process (BP), enabling autonomous decision-making and dynamic adaptation. However, realising this potential requires BP entities and their interactions to be defined with formal precision. This paper presents a formal framework for Agentic BP analysis through the AGO methodology.
AGO captures the modelling perspective in terms of who is acting (Agents), why it is carried out (Goals), and what the relevant entities are (Objects). …
Want this in your inbox every morning?
Daily brief at your local 8am — bilingual EN/中文, free.
More from arXiv cs.AI
See more →HOBA: Hierarchical On-Policy Bidding Agents for Adaptive Online Advertising
HOBA (Hierarchical On-policy Bidding Agents) is a novel hierarchical reinforcement learning framework that enhances online advertising bidding systems by improving adaptability and reducing hyperparameter tuning costs. It utilizes a for hyperparameter inference, a SARSA agent for expert model selection, and a dynamic expert pool for bid execution, achieving a +3.6% increase in target cost during large-scale deployment and outperforming state-of-the-art baselines on AuctionNet.