MAS-Lab：用于可靠多代理系统的规范驱动验证框架

基于 LLM 的代理框架的迅速出现，显着降低了组装多代理系统（MAS）的成本，从而实现了代理行为的快速原型设计和探索。然而，使用当前工具构建的系统仍然不适合可靠、可演进和生产级部署。在实践中，MAS 通常以临时和命令的方式开发，代理逻辑、编排、可观察性和控制紧密交织，很少甚至没有显式的系统级验证，并且开发工作流程针对演示而不是长期的受控操作进行了优化。因此，在实验过程中观察到的行为很少构成生产中行为的可靠证据。在本文中，我们介绍了 MAS-Lab，这是一个规范驱动的框架，用于多智能体系统属性的原则开发和实验验证。 MAS-Lab 旨在通过将语义意图与操作问题分离、使行为和控制明确、支持可重复的实验以及保持生命周期各个阶段的连续性，将 MAS 从脚本集合转变为工程分布式系统。 MAS-Lab 由三层组成：声明性的、与框架无关的代理规范层 (Spec)；有状态的 MAS 操作系统，提供按设计插入的执行和控制原语 (MAS-OS)；以及一组带有集成可观测性和评估工具（实验室）的实验室覆盖图。这些组件共同支持基于意图的验证、有原则的系统演进以及向生产级 MAS 的无缝过渡。