Composable Verification Pipelines for Multi-Agent Systems
本文介绍了一种在 Soda 中实现的模块化函数式编程框架，该框架能够为多智能体系统实现可组合的验证流水线，允许用户使用 YAML 定义领域描述，并针对涉及误导信息和情感推理等复杂场景的动态系统，执行透明且保证终止的推理工作流。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
想象一个计算机程序不再仅仅是代码行，而是作为活生生的故事中的角色的世界。在计算机科学领域，有一个专门研究这些角色如何随时间移动、变化和相互作用的领域。这就是对“动作与变化”（action and change）的研究。你可以把它想象成一个棋盘游戏，棋子在移动，规则规定了什么是允许的，而目标是预测这场游戏会以公平的胜利还是混乱的局面结束。多年来，科学家们一直使用沉重的、基于逻辑的工具来编写这些规则，试图证明一个系统的行为是正确的。但这些工具可能很笨重，就像试图只用一块巨大的砖头来建造一座复杂的乐高城堡。它们确实有效，但并不灵活，也不容易与其他类型的建设者共享。
现在，想象一下如果你能用模块化的、可拼接的零件来建造那座城堡，而且任何人都能理解并重新排列这些零件。这正是朱利安·阿尔弗雷多·门德斯（Julian Alfredo Mendez）和安德烈亚斯·布伦斯特伦（Andreas Brännström）正在解决的问题。他们想要创造一种方法，去检查一段数字故事（一系列动作和状态）是否遵循规则，但他们希望使用一种现代且灵活的方法，感觉更像是用高科技乐高进行搭建，而不是在解一道数学难题。他们在问：我们能否让复杂多智能体系统（比如机器人团队或社交网络中的机器人网络）的验证变得像工厂里连接管道一样简单且透明？
作者们引入了一个名为“可组合验证流水线”（Composable Verification Pipelines）的新框架。他们没有使用旧有的、沉重的逻辑砖块，而是构建了一个基于“磁贴”（Tiles）和一种名为“Soda”的语言的系统。把“磁贴”想象成一组神奇的透明管道。每根管道只做一件简单的工作：它接收一段数据（例如世界的一个状态或一个智能体采取的行动），处理它，然后将其传递给下一根管道。通过将这些管道拼接在一起，你就创建了一个“流水线”，它可以观察整个故事的展开，并根据规则检查每一个步骤。
该论文提出，你可以使用一种名为 YAML（类似于结构化的待办事项列表）的简单、易读的格式来描述一个复杂的系统——比如一群正在分享新闻或做出决策的智能体。一旦你用这种格式写下你的规则和故事，该框架就会自动将它们转化为一连串的功能性管道。随着故事的展开，数据在流水线中流动。其中一个管道可能会检查某个动作是否被允许；另一个可能会查看是否违反了规则；第三个则会将所有信息结合起来，给出最终的“是”或“否”，以判断故事是否有效。
研究人员表明，这种方法不仅仅是一个理论；他们构建并测试了它。他们展示了通过将验证过程分解为这些细小的、可重用的组件，他们可以处理复杂的场景，例如误导性信息在社交网络上的传播，或者情绪如何影响智能体的决策。例如，在其中一个案例中，一个关于智能体分享谎言的故事最初看起来像是违反了规则。但当他们在流水线中加入了“情感流”（emotional fluents，即关于智能体感受的规则）后，这个故事突然变得合理并变得有效了。这证明了他们的系统可以轻松调整，以包含新的、更丰富的细节，而无需重建整个机器。
至关重要的一点是，论文证明了这些流水线总能完成它们的工作。因为该系统是由简单、有限的步骤构建的，所以它保证了验证过程不会陷入死循环。他们还测量了运行速度，显示出随着规则增加或故事变长，所需的时间是以可预测的线性方式增长的。作者们认为，这种方法弥合了动作语言沉重的数学逻辑与现代软件工程灵活、模块化世界之间的鸿沟，使得在未来构建和验证复杂的基于规则的系统变得更加容易。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。