Concurrent Strategies on Games with Algebras

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Huriot-Tattegrain, Sacha, Winskel, Glynn
Natura: Preprint
Pubblicazione: 2024
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866914669990510592
author Huriot-Tattegrain, Sacha
Winskel, Glynn
author_facet Huriot-Tattegrain, Sacha
Winskel, Glynn
contents Probabilistic concurrent/distributed strategies have so far not been investigated thoroughly in the context of imperfect information, where the Player has only partial knowledge of the moves made by the Opponent. In a situation where the Player and Opponent can make concurrent moves according to the game, and the Player cannot see the move of the Opponent, the move of the Player should be probabilistically independent of the move of the Opponent. What has been achieved is showing a bijection between strategies on a game with algebra and strategies on a regular (albeit more complex) game. We also succeeded in showing the results holds with neutral events. However it is still unclear if a well-formed bicategory of concurrent games with algebras can be defined. Our attempts to compose these strategies while managing the added structure didn't pan out. Concerning the other classic extensions of concurrent games the first results we presented show promise of a more general usage of games with algebra.
format Preprint
id arxiv_https___arxiv_org_abs_2402_04590
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Concurrent Strategies on Games with Algebras
Huriot-Tattegrain, Sacha
Winskel, Glynn
Computer Science and Game Theory
Logic in Computer Science
Probabilistic concurrent/distributed strategies have so far not been investigated thoroughly in the context of imperfect information, where the Player has only partial knowledge of the moves made by the Opponent. In a situation where the Player and Opponent can make concurrent moves according to the game, and the Player cannot see the move of the Opponent, the move of the Player should be probabilistically independent of the move of the Opponent. What has been achieved is showing a bijection between strategies on a game with algebra and strategies on a regular (albeit more complex) game. We also succeeded in showing the results holds with neutral events. However it is still unclear if a well-formed bicategory of concurrent games with algebras can be defined. Our attempts to compose these strategies while managing the added structure didn't pan out. Concerning the other classic extensions of concurrent games the first results we presented show promise of a more general usage of games with algebra.
title Concurrent Strategies on Games with Algebras
topic Computer Science and Game Theory
Logic in Computer Science
url https://arxiv.org/abs/2402.04590