当前位置:
X-MOL 学术
›
arXiv.cs.MA
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Strategic Abilities of Asynchronous Agents: Semantic Paradoxes and How to Tame Them
arXiv - CS - Multiagent Systems Pub Date : 2020-03-08 , DOI: arxiv-2003.03867 Wojciech Jamroga, Wojciech Penczek, and Teofil Sidoruk
arXiv - CS - Multiagent Systems Pub Date : 2020-03-08 , DOI: arxiv-2003.03867 Wojciech Jamroga, Wojciech Penczek, and Teofil Sidoruk
Recently, we 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 paradoxical
interpretation of formulas when reasoning about the outcome of strategies.
First, the semantics disregards finite paths, and thus yields counterintuitive
evaluation of strategies with deadlocks. Secondly, the semantic representations
do not allow to capture the asymmetry between active agents and the recipients
of their choices. We propose how to avoid the problems by a suitable change of
the semantics, and prove that the model reduction scheme still works in the
modified framework.
中文翻译:
异步代理的战略能力:语义悖论以及如何驯服它们
最近,我们提出了一种用于验证异步多代理系统中代理能力的框架,以及一种自动简化模型的算法。语义建立在分布式系统的建模传统之上。正如我们在这里展示的那样,在对策略结果进行推理时,这有时会导致对公式的自相矛盾的解释。首先,语义无视有限路径,从而产生对具有死锁的策略的违反直觉的评估。其次,语义表示不允许捕获主动代理与其选择的接收者之间的不对称性。我们提出了如何通过适当改变语义来避免这些问题,并证明模型缩减方案在修改后的框架中仍然有效。
更新日期:2020-04-01
中文翻译:
异步代理的战略能力:语义悖论以及如何驯服它们
最近,我们提出了一种用于验证异步多代理系统中代理能力的框架,以及一种自动简化模型的算法。语义建立在分布式系统的建模传统之上。正如我们在这里展示的那样,在对策略结果进行推理时,这有时会导致对公式的自相矛盾的解释。首先,语义无视有限路径,从而产生对具有死锁的策略的违反直觉的评估。其次,语义表示不允许捕获主动代理与其选择的接收者之间的不对称性。我们提出了如何通过适当改变语义来避免这些问题,并证明模型缩减方案在修改后的框架中仍然有效。