形式博弈语法与等价性
Formal Game Grammar and Equivalence
摘要：
我们开发的方法来正式描述和比较游戏，以探讨游戏的结构和设计的问题，并作为一个垫脚石预测玩家的行为，从设计模式。我们定义了一个类似语法的形式主义来描述有限的离散游戏，没有隐藏的信息，允许随机性，混合顺序和同时播放。我们对游戏规则或用户界面的形式或内容做最少的假设。相关的博弈树类似于混合广泛和战略形式的游戏，在博弈论的意义。通过对博弈树的变换和比较，我们在博弈系统的空间上建立了等价关系，将给予参与者相同有意义代理的博弈等同起来。我们把这些放在一起，建议一种方法来衡量游戏之间的距离，不敏感的化妆品变化的游戏逻辑描述。
英文摘要：
We develop methods to formally describe and compare games, in order to probe questions of game structure and design, and as a stepping stone to predicting player behavior from design patterns. We define a grammar-like formalism to describe finite discrete games without hidden information, allowing for randomness, and mixed sequential and simultaneous play. We make minimal assumptions about the form or content of game rules or user interface. The associated game trees resemble hybrid extensive- and strategic-form games, in the game theory sense. By transforming and comparing game trees, we develop equivalence relations on the space of game systems, which equate games that give players the same meaningful agency. We bring these together to suggest a method to measure distance between games, insensitive to cosmetic variations in the game logic descriptions.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
