Probability and Angelic Nondeterminism with Multiset Semantics
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866909583835922432 |
|---|---|
| author | Ong, Shawn Ma, Stephanie Kozen, Dexter |
| author_facet | Ong, Shawn Ma, Stephanie Kozen, Dexter |
| contents | We introduce a version of probabilistic Kleene algebra with angelic nondeterminism and a corresponding class of automata. Our approach implements semantics via distributions over multisets in order to overcome theoretical barriers arising from the lack of a distributive law between the powerset and Giry monads. We produce a full Kleene theorem and a coalgebraic theory, as well as both operational and denotational semantics and equational reasoning principles. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_06754 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Probability and Angelic Nondeterminism with Multiset Semantics Ong, Shawn Ma, Stephanie Kozen, Dexter Logic in Computer Science Formal Languages and Automata Theory Programming Languages F.3.1; F.3.2; F.3.3; D.3.3 We introduce a version of probabilistic Kleene algebra with angelic nondeterminism and a corresponding class of automata. Our approach implements semantics via distributions over multisets in order to overcome theoretical barriers arising from the lack of a distributive law between the powerset and Giry monads. We produce a full Kleene theorem and a coalgebraic theory, as well as both operational and denotational semantics and equational reasoning principles. |
| title | Probability and Angelic Nondeterminism with Multiset Semantics |
| topic | Logic in Computer Science Formal Languages and Automata Theory Programming Languages F.3.1; F.3.2; F.3.3; D.3.3 |
| url | https://arxiv.org/abs/2412.06754 |