AI 中文总结
研究不假设主体独立性的一般并发博弈框架中实际幂和α幂的表示问题，证明对于实际权力和α幂，不假设主体独立性的四类一般并发博弈框架可分别由四类相应邻域框架表示。
AI 中文摘要
并发博弈框架是战略推理逻辑的标准语义框架。可从此类框架导出联盟权力的两个概念：α幂和实际权力。联盟的α幂是一组可能的未来，使得联盟有一个行动迫使产生的未来落在该集合中。联盟的实际权力是一组满足以下条件的可能未来：联盟有一个行动，（1）该行动迫使产生的未来落在该集合中，（2）该集合中的每个未来都与该行动兼容。并发博弈框架的最新推广分离了标准模型中的三个结构假设：连续性、主体独立性和确定性。这产生了八类一般并发博弈框架。本文证明，对于实际权力，不假设主体独立性的四类一般并发博弈框架可由四类相应的邻域框架表示。基于此结果，我们表明，对于α幂，同样的四类一般并发博弈框架也可由四类相应的邻域框架表示。
英文摘要
Concurrent game frames are a standard semantic framework for logics of strategic reasoning. Two notions of coalition power can be derived from such frames: alpha powers and actual powers. An alpha power of a coalition is a set of possible futures such that the coalition has an action that forces the resulting future to lie in that set. An actual power of a coalition is a set of possible futures satisfying the following condition: the coalition has an action such that (1) the action forces the resulting future to lie in the set, and (2) every future in the set is compatible with that action. Recent generalizations of concurrent game frames separate three structural assumptions built into the standard model: seriality, independence of agents, and determinism. This yields eight classes of general concurrent game frames. In this paper, we prove that for actual powers, the four classes of general concurrent game frames, where independence of agents is not assumed, are representable by four corresponding classes of neighborhood frames. Building on this result, we show that for alpha powers, the same four classes of general concurrent game frames are likewise representable by four corresponding classes of neighborhood frames.
