研究提出基于合约商的智能体需求分解方法

约翰斯·霍普金斯大学的 Sai Sandeep Damera、Ryan Matheu 与 John S. Baras 提出一种基于合约商的智能体系统需求分解方法：把 SysML v2 中带假设与要求约束的需求视为 assume/guarantee 契约，在固定邻居上分解系统需求后，开放组件的最弱可靠需求即契约商，并可用 Signal Temporal Logic 表达。 研究以模拟仓库机器人的局部控制器做案例：让一个语言模型分别在合约商需求、仅任务需求和自然语言任务三种条件下控制机器人，机器人路线穿过工人路径并到达码头，再按真实系统需求对实时回合中的交付打分。该案例用于验证方法，报道未给出比较结果。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。