Probability and nondeterminism in compositional game theory
<p>We substantially extend previous work in the emerging field of compositional game theory.</p> <p>We generalise work by Escardó and Oliva relating the selection monad to game theory. Escardó and Oliva showed that the tensor operation of selection functions computes a subgame p...
| প্রধান লেখক: | |
|---|---|
| অন্যান্য লেখক: | |
| বিন্যাস: | গবেষণাপত্র |
| ভাষা: | English |
| প্রকাশিত: |
2021
|
| বিষয়গুলি: |
| _version_ | 1826316647314489344 |
|---|---|
| author | Bolt, J |
| author2 | Hedges, J |
| author_facet | Hedges, J Bolt, J |
| author_sort | Bolt, J |
| collection | OXFORD |
| description | <p>We substantially extend previous work in the emerging field of compositional game theory.</p>
<p>We generalise work by Escardó and Oliva relating the selection monad to game theory. Escardó and Oliva showed that the tensor operation of selection functions computes a subgame perfect equilibirium of a sequential game. We investigate game theoretic interpretations of selection functions generalised over a monad. In particular we focus on the finite non-empty powerset monad which we use to model nondeterministic games. We prove a negative result: that nondeterministic selection functions do not com- pute the collection of all subgame perfect plays of a sequential game. We then define a solution concept related to the iterated removal of strongly dominated strategies, and then show that the tensor of nondeterministic selection functions computes the plays of strategy profiles satisfying this solution concept.</p>
<p>In the second part of this thesis we greatly expand the expressive power of open games, first introduced by Jules Hedges [Hed16]. In the current literature, open games are defined using the category of sets and func- tions as an ambient category. We define a category of open games that can use any symmetric monoidal category as an ambient category. This is accomplished using coend lenses which can be used to model certain bidirectional processes. Generalising open games to arbitrary symmetric monoidal categories allows us to, in particular, model probablistic games involving Bayesian agents in an open games formalism.</p> |
| first_indexed | 2024-03-06T22:03:44Z |
| format | Thesis |
| id | oxford-uuid:4f743d7a-3e7e-434e-b9d3-ca831a1ba2a5 |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-12-09T03:48:42Z |
| publishDate | 2021 |
| record_format | dspace |
| spelling | oxford-uuid:4f743d7a-3e7e-434e-b9d3-ca831a1ba2a52024-12-08T11:48:31ZProbability and nondeterminism in compositional game theoryThesishttp://purl.org/coar/resource_type/c_db06uuid:4f743d7a-3e7e-434e-b9d3-ca831a1ba2a5Game theoryCategories (Mathematics)EnglishHyrax Deposit2021Bolt, JHedges, J<p>We substantially extend previous work in the emerging field of compositional game theory.</p> <p>We generalise work by Escardó and Oliva relating the selection monad to game theory. Escardó and Oliva showed that the tensor operation of selection functions computes a subgame perfect equilibirium of a sequential game. We investigate game theoretic interpretations of selection functions generalised over a monad. In particular we focus on the finite non-empty powerset monad which we use to model nondeterministic games. We prove a negative result: that nondeterministic selection functions do not com- pute the collection of all subgame perfect plays of a sequential game. We then define a solution concept related to the iterated removal of strongly dominated strategies, and then show that the tensor of nondeterministic selection functions computes the plays of strategy profiles satisfying this solution concept.</p> <p>In the second part of this thesis we greatly expand the expressive power of open games, first introduced by Jules Hedges [Hed16]. In the current literature, open games are defined using the category of sets and func- tions as an ambient category. We define a category of open games that can use any symmetric monoidal category as an ambient category. This is accomplished using coend lenses which can be used to model certain bidirectional processes. Generalising open games to arbitrary symmetric monoidal categories allows us to, in particular, model probablistic games involving Bayesian agents in an open games formalism.</p> |
| spellingShingle | Game theory Categories (Mathematics) Bolt, J Probability and nondeterminism in compositional game theory |
| title | Probability and nondeterminism in compositional game theory |
| title_full | Probability and nondeterminism in compositional game theory |
| title_fullStr | Probability and nondeterminism in compositional game theory |
| title_full_unstemmed | Probability and nondeterminism in compositional game theory |
| title_short | Probability and nondeterminism in compositional game theory |
| title_sort | probability and nondeterminism in compositional game theory |
| topic | Game theory Categories (Mathematics) |
| work_keys_str_mv | AT boltj probabilityandnondeterminismincompositionalgametheory |