arXiv cs.MA· Milad Sikaroudi·· 11 小时前AI 评分58
Concordat：为 LLM 智能体引入类型化会话协议
Concordat: Typed Sessions for LLM Agents
AI 导读
Concordat 是一个 Python 库，把 LLM 智能体建模为接口为有限状态协议的 Python 对象，在运行时只向模型提供当前协议状态下合法的工具，越界调用在产生副作用前被拒绝。
正文 · AI 翻译
摘要：基于大语言模型的智能体越来越多地被允许执行有后果的操作：取消预订、发放退款、更改账户。约束这些操作的规则，例如“在更改任何内容之前获得客户的明确确认”，通常写在提示词中，并且只以模型选择遵循的可靠程度被遵循。我们提出 Concordat，一个 Python 库，它将智能体视为接口为有限状态协议的对象，遵循 typestate 和会话类型的思想，并在运行时对模型强制执行该协议。在每一轮中，模型只能获得当前协议状态下合法的工具，该集合之外的调用会在产生副作用之前被拒绝，保留给人类的决策只能被请求，token 和工具调用预算会被计费并在交接之间线性拆分。协议在定义时会被检查，如果智能体的子类可能绕过其父类的协议，则会被拒绝，这是一种行为形式的 Liskov 替换原则。我们在 tau-bench 的 50 个航空任务上，将 Concordat 智能体与标准智能体进行对比评估，并加入模拟客户向智能体施压要求跳过确认。标准智能体在 50 个任务中有 13 个在未获得所需“是”的情况下进行了更改（使用 gpt-4.1），在 128 次任务运行中有 29 次（使用 Claude Haiku 5.5）；Concordat 智能体则一次也没有，且任务成功率没有显著差异。tau-bench 自身的奖励未能检测到其中大多数违规行为。Concordat 是开源的。
| 评论： | 11 页，1 张图，1 张表。代码、基准测试框架和结果：此 https URL |
| 主题： | 人工智能（cs.AI）；多智能体系统（cs.MA） |
| ACM 分类： | D.2.4; D.3.3; I.2.7 |
| 引用为： | arXiv:2610.37461 [cs.AI] |
| （或 arXiv:2610.37461v1 [cs.AI] 为此版本） | |
| https://doi.org/10.48550/arXiv.2610.37461 由 DataCite 颁发的 arXiv DOI（待注册） |
提交历史
来自：Milad Sikaroudi [查看电子邮件]
[v1]
2026 年 10 月 27 日星期二 16:00:26 UTC（15 KB）
来源：arXiv cs.MA · arxiv.org