Strabo：智能体交互的声明式规格与实现

过去几年，基于声明性交互协议的多智能体系统的建模和实现取得了重大进展。 Strabo 的贡献确立了这些进步与 Agentic AI 行业持续努力的相关性。具体来说，我们考虑 UCP（通用商务协议），这是最近由 Google 领导的一项旨在标准化人工智能代理电子商务交互的努力。我们的练习分为两部分。第一，我们将 UCP 处理结帐的部分建模为声明性 Langshaw 协议，并使用 Peach（Langshaw 的编程模型）实现代理。这部分练习展示了正式的声明性规范的优点。第二，我们证明 Peach 代理可以与 Google 实现的 UCP 代理进行互操作，从而建立我们的方法在 UCP 方面的保真度。这种互操作使得能够将声明性协议和代理逐步引入传统环境中，这表明 EMAS 想法可以影响实践，而无需进行大规模更新。