强韧的交替时序逻辑
摘要：多智能体系统设计中的一个关键方面是确保鲁棒性，即对于一个智能体联盟A来说，对对手假设的轻微违规只会导致A的目标的微小违规。在本文中，我们引入了一个用于鲁棒性战略推理的逻辑框架，受最近关于鲁棒时态逻辑的研究启发，我们引入并研究了rATL和rATL*，这些逻辑通过一种适当的多值语义扩展了著名的交替时态逻辑ATL和ATL*的策略量词和时态运算符。我们研究了rATL和rATL*的模型检测和可满足性问题，并证明处理鲁棒性不会增加额外的计算成本。事实上，我们证明这些问题分别对于rATL是PTime完全和ExpTime完全的，对于rATL*都是2ExpTime完全的。
作者：Aniello Murano, Daniel Neider and Martin Zimmermann
论文ID：2307.10885
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-21