博弈之中何物？一种博弈模型理论
计算机科学中的逻辑
2017-11-30 v1 编程语言
摘要
博弈语义学是一类丰富且成功的编程语言指称模型。大多数博弈模型具有相当直观的设定，然而诸如策略组合的结合律这类基本结果的证明却出奇地困难。我们着手将这些模型统一为博弈语义学的基本抽象框架，即博弈设定（game settings）。我们的主要贡献是：对任意博弈设定，给出博弈与策略范畴的一般性构造。此外，我们将该框架扩展以处理无记忆性（innocence），并证明无记忆策略构成一个子范畴。最后，我们表明我们的构造涵盖了许多具体情形，主要是在早期模型与最新的基于层（sheaf）的模型中。
引用
@article{arxiv.1711.10860,
title = {What's in a game? A theory of game models},
author = {Clovis Eberhart and Tom Hirschowitz},
journal= {arXiv preprint arXiv:1711.10860},
year = {2017}
}
备注
17 pages