What's in a game? A theory of game models

11/29/2017
by   Clovis Eberhart, et al.
0

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 set out 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 and the very recent sheaf-based ones.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

10/16/2018

Simple game semantics and Day convolution

Game semantics has provided adequate models for a variety of programming...
09/15/2020

Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law

We extend the open games framework for compositional game theory to enco...
04/25/2019

The game semantics of game theory

We use a reformulation of compositional game theory to reunite game theo...
11/10/2020

Game Semantics: Easy as Pi

Game semantics has proven to be a robust method to give compositional se...
08/10/2019

The far side of the cube

Game-semantic models usually start from the core model of the prototypic...
09/10/2018

Tester versus Bug: A Generic Framework for Model-Based Testing via Games

We propose a generic game-based approach for test case generation. We se...
03/26/2021

An Empirical Study of the Characteristics of Popular Minecraft Mods

It is becoming increasingly difficult for game developers to manage the ...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.