异步智能体的策略能力：语义副作用及其驯服方法
计算机科学中的逻辑
2025-01-22 v6 多智能体系统
摘要
最近，我们提出了一个用于异步多智能体系统中智能体能力验证的框架，以及一种自动约简模型的算法。其语义建立在分布式系统的建模传统之上。正如我们在此所示，当对策略的结果进行推理时，这有时会导致对公式的反直觉解释。首先，该语义忽略有限路径，从而对带有死锁的策略产生不自然的评价。其次，语义表示无法捕捉主动智能体与其选择接受者之间的不对称性。我们提出通过对表示进行适当扩展并改变异步多智能体系统的执行语义来避免这些问题。我们还证明了模型约简方案在修改后的框架中仍然有效。
引用
@article{arxiv.2003.03867,
title = {Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them},
author = {Wojciech Jamroga and Wojciech Penczek and Teofil Sidoruk},
journal= {arXiv preprint arXiv:2003.03867},
year = {2025}
}