Pact: Choreographic Language for Agentic Ecosystems
A new choreographic language called Pact extends protocol design for multi-agent systems by incorporating game theory. Pact allows reasoning about agent self-interest and decision policies in open, untrusted environments. It maps protocols to formal games, enabling designers to solve for optimal strategies. A preliminary implementation includes a bounded-rational solver. The work is presented in arXiv:2605.03143.
Key facts
- Pact is a choreographic language for agentic ecosystems.
- It extends choreographic programming with game theory.
- Pact maps protocols to formal games.
- It allows reasoning about agent self-interest and decision policies.
- A preliminary implementation includes a bounded-rational solver.
- The work is published on arXiv with ID 2605.03143.
- It addresses multi-agent systems with untrusted counterparts.
- The language draws from the literature of game theory.
Entities
Institutions
- arXiv