تقرير
Joint Distributions in Probabilistic Semantics
| العنوان: | Joint Distributions in Probabilistic Semantics |
|---|---|
| المؤلفون: | Kozen, Dexter, Silva, Alexandra, Voogd, Erik |
| المصدر: | Electronic Notes in Theoretical Informatics and Computer Science, Volume 3 - Proceedings of MFPS XXXIX (November 23, 2023) entics:12279 |
| سنة النشر: | 2023 |
| المجموعة: | Computer Science |
| مصطلحات موضوعية: | Computer Science - Programming Languages |
| الوصف: | Various categories have been proposed as targets for the denotational semantics of higher-order probabilistic programming languages. One such proposal involves joint probability distributions (couplings) used in Bayesian statistical models with conditioning. In previous treatments, composition of joint measures was performed by disintegrating to obtain Markov kernels, composing the kernels, then reintegrating to obtain a joint measure. Disintegrations exist only under certain restrictions on the underlying spaces. In this paper we propose a category whose morphisms are joint finite measures in which composition is defined without reference to disintegration, allowing its application to a broader class of spaces. The category is symmetric monoidal with a pleasing symmetry in which the dagger structure is a simple transpose. Comment: 14 pages, MFPS 2023 |
| نوع الوثيقة: | Working Paper |
| DOI: | 10.46298/entics.12279 |
| URL الوصول: | http://arxiv.org/abs/2309.06913 |
| رقم الأكسشن: | edsarx.2309.06913 |
| قاعدة البيانات: | arXiv |
| DOI: | 10.46298/entics.12279 |
|---|