在不假设智能体独立性的情况下，一般并发博弈框架上实际权力和 alpha 权力的表示定理
计算机科学与博弈论
2026-07-12 v1
摘要
并发博弈框架是战略推理逻辑的标准语义框架。从这样的框架可以推导出两种联盟权力概念：alpha 权力和实际权力。联盟的 alpha 权力是一组可能的未来集合，使得联盟有一个动作可以强制其结果未来落在该集合中。联盟的实际权力是一组可能的未来集合，满足以下条件：联盟有一个动作使得 (1) 该动作强制其结果未来落在该集合中，并且 (2) 该集合中的每个未来都与该动作兼容。最近对并发博弈框架的推广分离了标准模型中内置的三个结构假设：序列性、智能体独立性和确定性。这产生了八类一般并发博弈框架。在本文中，我们证明了对于实际权力，不假设智能体独立性的四类一般并发博弈框架可以由四类相应的邻域框架表示。基于此结果，我们表明对于 alpha 权力，同样的四类一般并发博弈框架同样可以由四类相应的邻域框架表示。
关键词
引用
@article{arxiv.2607.10567,
title = {Representation theorems for actual and alpha powers over general concurrent game frames without assuming independence of agents},
author = {Zixuan Chen and Fengkui Ju and Thomas Agotnes},
journal= {arXiv preprint arXiv:2607.10567},
year = {2026}
}