论文标题
异步代理的战略能力：语义副作用以及如何驯服它们
Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them
论文作者
论文摘要
最近，我们提出了一个框架，用于验证代理在异步多代理系统中的能力，以及用于自动减少模型的算法。语义是建立在分布式系统的建模传统基础上的。正如我们在这里显示的那样，这有时会导致对公式的违反直觉解释，以推理策略的结果。首先，语义无视有限的路径，因此对死锁进行了不自然的评估。其次，语义表示不允许捕获主动剂与选择接受者之间的不对称性。我们建议如何通过适当的表示和同步MAS的执行语义的更改来避免问题。我们还证明，模型还原方案仍然在修改后的框架中起作用。
Recently, we have proposed a framework for verification of agents' abilities in asynchronous multi-agent systems, together with an algorithm for automated reduction of models. The semantics was built on the modeling tradition of distributed systems. As we show here, this can sometimes lead to counterintuitive interpretation of formulas when reasoning about the outcome of strategies. First, the semantics disregards finite paths, and thus yields unnatural evaluation of strategies with deadlocks. Secondly, the semantic representations do not allow to capture the asymmetry between proactive agents and the recipients of their choices. We propose how to avoid the problems by a suitable extension of the representations and change of the execution semantics for asynchronous MAS. We also prove that the model reduction scheme still works in the modified framework.
