情境演算并发博弈结构中实际因果关系的语义

理性形式化的关键在于对实际因果关系的研究。Halpern和Pearl在因果模型方面的开创性工作基于结构方程模型，这种模型假设了一个过于简单的行动和变化模型。虽然最近有很多工作在行动理论框架内似乎解决了这个问题，但所有这些描述都有一个共同且强烈的局限性，即这些情况或行动历史被假设为线性序列的行为或轨迹。为了解决这个问题，本文研究了一个允许多个代理人并发行动的同步博弈理论框架。我们的框架基于情境演算并发博弈结构。我们展示了我们的形式化具有一些有趣的性质，并很好地处理了与抢先和过度决定有关的问题。