用游戏理论设计自治代理的协作协议，确保各方有动机遵守规则。
Pact: A Choreographic Language for Agentic Ecosystems
- 将协程编程与博弈论结合，显式建模代理的选择与偏好。
- 协议可转化为形式化博弈，支持求解决策策略。
- 适合研究自利代理在多主体协作中的行为设计。
大型语言模型的进展催生了在开放、多方环境中代表用户自主运行的软件系统（即代理），这些系统需与不可信方交互并管理私密信息。协程编程可为这类场景提供正确性保障的协议设计，但其假设参与者完全合作，缺乏对代理自利性的建模——即为何代理会遵循协议。本文提出Pact，一种扩展的协程语言，引入操作以描述代理的选择与偏好，借鉴博弈论文献。每个Pact协议对应一个形式化博弈，使协议设计者能分析其博弈属性，如求解决策策略。本文介绍了Pact的设计及初步实现——一个有限理性求解器，用于计算Pact协议上的决策策略，并展示了其在自利代理多主体协调中的应用成果。
原文摘要 · Abstract (English)
Recent advances in large language models have led to the rise of software systems (i.e. agents) that execute with increasing autonomy on behalf of users in open, multi-party settings, interacting with untrusted counterparts and managing private information. Choreographic programming offers correct-by-construction protocol-design for such settings, but assumes cooperative participants -- it has no notion of agent self-interest, that is, why an agent will follow a protocol. In this talk we introduce Pact, a choreographic language extended with operations to describe agent choices and preferences, drawing from the rich literature of game theory. Every Pact protocol maps to a formal game, allowing protocol designers to reason about game-theoretic properties of their protocols, such as solving for decision policies. We present Pact's design and a preliminary implementation -- a bounded-rational solver that computes decision policies over Pact protocols -- and findings from applying this language to multi-party coordination with self-interested agentic participants.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。