Formal Methods Business Process Automation Agentic AI Workflow Generation
摘要

代理式 AI 为业务流程自动化带来新机遇,但需形式化精确定义实体与交互。本文提出基于 AGO 方法论的代理式业务流程分析形式化框架,从行动者、目标及对象三个维度建模。依托集合论与数理逻辑,形式化定义实体类型及其交互,构建业务流程知识库。该库支持结构化查询、增量更新及工作流自动生成,并确保推导路径的可靠性与完备性。

AI 推荐理由

论文核心在于通过形式化框架自动生成业务流程工作流及路径规划,属于典型的任务规划研究。

研究机构
Department of Industrial Engineering, University of Trento, Via Sommarive 9, 38123, Trento, Italy Istituto di Analisi dei Sistemi ed Informatica (IASI) 'Antonio Ruberti', National Research Council (CNR), Via dei Taurini 19, 00185, Roma, Italy
论文信息
作者 Mohammad Azarijafari, Luisa Mich, Michele Missikoff
发布日期 2026-06-13
arXiv ID 2606.15291
相关性评分 8/10 (高度相关)