在 ATL 中细化与委托策略能力
计算机科学中的逻辑
2014-04-04 v1 计算机科学与博弈论
多智能体系统
摘要
我们提议通过引入算子 <i refines-to G> F 来扩展交替时序逻辑 (Alternating-time Temporal Logic, ATL)，以表达智能体 i 可以将其权力分配给一组子智能体 G，从而满足关于它们可能形成的联盟（可能与其他智能体一起）的策略能力的 ATL 条件 f。我们证明了如下公式的模型检测是可判定的：其以该算子为主连接词的子公式形式为 <i_1 refines-to G_1>...<i_m refines-to G_m> f，且 f 中不再出现该算子。
引用
@article{arxiv.1404.0840,
title = {Refining and Delegating Strategic Ability in ATL},
author = {Dimitar P. Guelev},
journal= {arXiv preprint arXiv:1404.0840},
year = {2014}
}
备注
In Proceedings SR 2014, arXiv:1404.0414