Projekter pr. år
Abstract
Markov processes are a fundamental model of probabilistic transition systems and are the underlying semantics of probabilistic programs. We give an algebraic axiomatisation of Markov processes using the framework of quantitative equational logic introduced in (Mardare et al LICS'16). We present the theory in a structured way using work of (Hyland et al. TCS'06) on combining monads. We take the interpolative barycentric algebras of (Mardare et al LICS'16) which captures the Kantorovich metric and combine it with a theory of contractive operators to give the required axiomatisation of Markov processes both for discrete and continuous state spaces. This work apart from its intrinsic interest shows how one can extend the general notion of combining effects to the quantitative setting.
Originalsprog | Engelsk |
---|---|
Titel | Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018 |
Antal sider | 10 |
Forlag | Association for Computing Machinery |
Publikationsdato | 9 jul. 2018 |
Sider | 679-688 |
ISBN (Elektronisk) | 978-1-4503-5583-4 |
DOI | |
Status | Udgivet - 9 jul. 2018 |
Begivenhed | 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - University of Oxford, Oxford, Storbritannien Varighed: 9 jul. 2018 → 12 jul. 2018 http://lics.siglog.org/lics18/ |
Konference
Konference | 33rd Annual ACM/IEEE Symposium on Logic in Computer Science |
---|---|
Lokation | University of Oxford |
Land/Område | Storbritannien |
By | Oxford |
Periode | 09/07/2018 → 12/07/2018 |
Internetadresse |
Navn | Annual Symposium on Logic in Computer Science |
---|---|
ISSN | 1043-6871 |
Fingeraftryk
Dyk ned i forskningsemnerne om 'An Algebraic Theory of Markov Processes'. Sammen danner de et unikt fingeraftryk.Projekter
- 1 Afsluttet
-
Approximate Reasoning for Stochastic Markovian Systems
Mardare, R. & Larsen, K. G.
01/11/2015 → 31/10/2019
Projekter: Projekt › Forskning