Pact: A Choreographic Language for Agentic Ecosystems
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.
| preprint (Pact__Protocols_with_Trust-7.pdf) | 495KiB |
Tue 16 JunDisplayed time zone: Mountain Time (US & Canada) change
10:40 - 12:20 | |||
10:40 25mTalk | The Chor of the Message Passing Interface (MPI) CP | ||
11:05 25mTalk | Towards Quantum Choreographies CP Jennifer Paykin University of Vermont, Joseph P. Near University of Vermont, Christian Skalka University of Vermont | ||
11:30 25mTalk | Pact: A Choreographic Language for Agentic Ecosystems CP File Attached | ||
11:55 25mTalk | Towards Choreographic Programming for Consensus Protocols CP | ||