论文标题
ATL的Hennessy-Milner定理，具有不完美的信息
A Hennessy-Milner Theorem for ATL with Imperfect Information
论文作者
论文摘要
我们表明，基于历史记录的与不完美的信息交替仿真的变体可以使其与完整的轩尼诗 - 米勒纳定理与不完美的信息交替的时间逻辑（ATL）变体相关。我们认为的ATL的变体具有常识性语义，该语义要求联盟可用的统一策略必须是联盟内部的常识，而ATL的其他语义变体则具有不完美的信息不适合轩尼诗 - 米勒纳定理。我们还表明，两个有限的并发游戏结构之间具有不完善信息（ICG）的基于历史的交替分配的存在是不可确定的。
We show that a history-based variant of alternating bisimulation with imperfect information allows it to be related to a variant of Alternating-time Temporal Logic (ATL) with imperfect information by a full Hennessy-Milner theorem. The variant of ATL we consider has a common knowledge semantics, which requires that the uniform strategy available for a coalition to accomplish some goal must be common knowledge inside the coalition, while other semantic variants of ATL with imperfect information do not accommodate a Hennessy-Milner theorem. We also show that the existence of a history-based alternating bisimulation between two finite Concurrent Game Structures with imperfect information (iCGS) is undecidable.
