具有不完美信息与完美回忆的 ATL* 的可判定性结果
计算机科学中的逻辑
2018-09-05 v2
摘要
交替时间时序逻辑（ATL*）是多智能体系统的核心逻辑。其在不完美信息设定下的扩展（ATL*i）在智能体具有完美回忆时模型检测问题不可判定，这是众所周知的。因此研究大多聚焦于无记忆智能体，或采用替代语义以恢复可判定性。本工作中我们建立了智能体具有完美回忆时的新可判定性结果：首先证明一个元定理，可将具有不完美信息的多人博弈类（如具有层次观测的博弈）的可判定性结果迁移至 ATL*i 的模型检测问题。进而我们确立，当限制于层次实例时，带策略上下文与不完美信息的 ATL* 模型检测是可判定的。
引用
@article{arxiv.1805.12582,
title = {Decidability results for ATL* with imperfect information and perfect recall},
author = {Raphaël Berthon and Bastien Maubert and Aniello Murano},
journal= {arXiv preprint arXiv:1805.12582},
year = {2018}
}