에이전트 기반 비즈니스 프로세스 관리의 형식적 기반

Formal Foundations of Agentic Business Process Management

전통적인 BPM 시스템과 마찬가지로, 에이전트 기반 BPM 시스템도 고려 대상 프로세스의 사양을 기반으로 구축됩니다. 그러나 에이전트 기반 BPM 시스템의 가장 큰 특징은 프로세스 실행이 여러 개의 자율적인 의사 결정 주체, 즉 에이전트에 의해 주도된다는 점입니다. 이러한 에이전트는 완전히 통제될 수 없으므로, 프로세스 사양에는 참여하는 각 에이전트에 할당된 명시적인 목표 또는 지표가 추가됩니다. 에이전트는 적절한 전략을 채택하고 다른 에이전트의 행동에 대한 적절한 가정 하에, 가능한 최선의 노력을 기울여 이러한 목표를 추구합니다. 중앙 기관인 조직은 이러한 사양을 활용하여 에이전트의 전략적 의사 결정 능력에 대한 제약 조건을 설정할 수 있습니다. 본 논문에서는 이러한 시스템의 수학적 기반을 세 가지 주요 환경에서 확립하고, 에이전트 기반 BPM의 네 가지 기본적인 문제를 분석합니다.

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.