带不完全信息的ATL的Hennessy-Milner定理
计算机科学中的逻辑
2020-06-29 v1 多智能体系统
摘要
我们证明了带不完全信息的交替互模拟的一种基于历史的变体，可通过一个完全的Hennessy-Milner定理与带不完全信息的交替时序逻辑（ATL）的一种变体相关联。我们所考虑的ATL变体具有公共知识语义，要求联盟可用于达成某目标的一致策略必须在联盟内部为公共知识，而带不完全信息的ATL的其他语义变体不兼容Hennessy-Milner定理。我们还证明了两个带不完全信息的有限并发博弈结构（iCGS）之间存在基于历史的交替互模拟是不可判定的。
引用
@article{arxiv.2006.15000,
title = {A Hennessy-Milner Theorem for ATL with Imperfect Information},
author = {Francesco Belardinelli and Catalin Dima and Vadim Malvone and Ferucio Tiplea},
journal= {arXiv preprint arXiv:2006.15000},
year = {2020}
}