多智能体系统的兼容性与面向未来的测试

研究者针对独立开发的自主智能体（如自动驾驶车辆）在共享环境中须满足安全与任务完成等联合兼容要求的问题，提出一种双层结构，由监管方发布种子智能体，各开发者独立测试其智能体与所有种子兼容智能体保持兼容，作者将这一性质称为 future-proofness。在该结构下，无需集中式规范或交互机制，也无需开发者相互协调，即可保证联合兼容性。论文形式化定义了一般多智能体系统的兼容性，说明种子兼容性并不能平凡地推出联合兼容性，将 future-proof 智能体刻画为种子的闭包并证明其对种子单调，最后研究一类只需与种子交互的可执行测试，探讨其能在多大程度上区分 future-proof 智能体。