We show open games cover extensive form games with both perfect and imperfect information. Doing so forces us to address two current weaknesses in open games: the lack of a notion of player and their agency within open games, and the lack of choice operators. Using the former we construct the latter, and these choice operators subsume previous proposed operators for open games, thereby making progress towards a core, canonical and ergonomic calculus of game operators. Collectively these innovations increase the level of compositionality of open games, and demonstrate their expressiveness.
翻译:我们展示了开放游戏,它覆盖了广泛形式的游戏,信息既完美又不完善。 这样做迫使我们解决公开游戏中目前存在的两个弱点:在公开游戏中缺乏玩家及其代理的概念,以及缺乏选择操作员。 使用前者,我们构建了后者,这些选择操作员将先前提议的操作员合并为公开游戏,从而在向游戏操作员的核心、罐体和人类工程计算方法迈进。 这些创新共同提高了公开游戏的构成性,并展示了他们的表达性。