Continuous Probability Distributions in Concurrent Games
| Autor: | Hugo Paquet, Glynn Winskel |
|---|---|
| Přispěvatelé: | Apollo - University of Cambridge Repository |
| Rok vydání: | 2018 |
| Předmět: |
Theoretical computer science
General Computer Science Computer science Semantics (computer science) Generalization Game semantics probability Probabilistic logic 020207 software engineering 0102 computer and information sciences 02 engineering and technology Space (mathematics) 01 natural sciences Measure (mathematics) Theoretical Computer Science measure theory 010201 computation theory & mathematics 0202 electrical engineering electronic engineering information engineering Probability distribution concurrency Affine transformation Real number Event (probability theory) event structures |
| Zdroj: | MFPS |
| Popis: | We present a model of concurrent games in which strategies are probabilistic and support both discrete and continuous distributions. This is a generalisation of the probabilistic concurrent strategies of Winskel, based on event structures. We first introduce measurable event structures, discrete fibrations of event structures in which each fibre is turned into a measurable space. We then construct a bicategory of measurable games and measurable strategies based on measurable event structures, and add probability to measurable strategies using standard techniques of measure theory. We illustrate the model by giving semantics to an affine, higher-order, probabilistic language with a type of real numbers and continuous distributions. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|