策略逻辑中的依赖关系
计算机科学中的逻辑
2017-08-22 v1
摘要
策略逻辑（SL）是一种用于指定和验证多智能体系统属性的极具表达力的逻辑：在SL中，可以对策略进行量化，将其分配给智能体，并表达由此产生的博弈路径的属性。如此强大的框架有两个缺点：首先，SL的模型检测具有非初等复杂度；其次，SL的确切语义相当复杂，可能不符合预期。在本文中，我们关注SL中的策略依赖关系，通过追踪公式中存在量词限定的策略可能（或不可能）依赖于公式中选定的其他策略的方式。我们研究了不同类型的依赖关系，改进了[Mogavero等人，Reasoning about strategies: On the model-checking problem, 2014]的方法，并证明它们产生了不同的满足关系。在策略仅能依赖于其已观察到内容的设定下，我们确定了SL的一个大片段，并证明该片段的模型检测可在2EXPTIME内完成。
引用
@article{arxiv.1708.05849,
title = {Dependences in Strategy Logic},
author = {Patrick Gardy and Patricia Bouyer and Nicolas Markey},
journal= {arXiv preprint arXiv:1708.05849},
year = {2017}
}