一句话：提出统一的博弈语义抽象框架 game settings，并泛型构造博弈与策略范畴，统一早期与层论模型。
博弈语义是程序语言的一类成功指称模型，但其组合结合性等基本性质往往证明困难。本文旨在为博弈语义建立统一抽象框架——game settings。主要贡献是对任意 game setting 泛型构造博弈与策略的范畴，并进一步引入 innocence 概念，证明 innocent strategies 构成子范畴。作者还展示该框架可覆盖许多具体模型，尤其是早期模型与近期基于 sheaf 的模型。
Game semantics is a rich and successful class of denotational models for programming languages. Most game models feature a rather intuitive setup, yet surprisingly difficult proofs of such basic results as associativity of composition of strategies. We seek to unify these models into a basic abstract framework for game semantics, game settings. Our main contribution is the generic construction, for any game setting, of a category of games and strategies. Furthermore, we extend the framework to deal with innocence, and prove that innocent strategies form a subcategory. We finally show that our constructions cover many concrete cases, mainly among the early models [5, 23] and the recent, sheaf-based ones [40].
DOI 原文 ·
@inproceedings{paperbot4393,
title = {What's in a game?},
author = {Clovis Eberhart and Tom Hirschowitz},
booktitle = {LICS},
year = {2018},
doi = {10.1145/3209108.3209114}
}