Compositional imprecise probability: a solution from graded monads and Markov categories

Compositional imprecise probability: a solution from graded monads and Markov categories

Imprecise probability is concerned with uncertainty about which probability distributions to use. It has applications in robust statistics and machine learning. We look at programming language models for imprecise probability. Our desiderata are that we would like our model to support all kinds of c...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Liell-Cock, J, Staton, S
Fformat:	Journal article
Iaith:	English
Cyhoeddwyd:	Association for Computing Machinery 2025

Eitemau Tebyg

Probability measure monad on the category of ultrametric spaces
gan: O.B. Hubal, et al.
Cyhoeddwyd: (2008-10-01)

Reasoning with Imprecise Probabilities
gan: Cano, A, et al.
Cyhoeddwyd: (2007)

Introduction to imprecise probabilities /
gan: Augustin, Thomas
Cyhoeddwyd: (2014)

Logical Approaches to Imprecise Probabilities
gan: Lukasiewicz, T
Cyhoeddwyd: (2008)

Monads for measurable queries in probabilistic databases
gan: Dash, S, et al.
Cyhoeddwyd: (2021)

On $\ast$-measure monads on the category of ultrametric spaces
gan: Kh.O. Sukhorukova, et al.
Cyhoeddwyd: (2022-12-01)

Natech Risk Assessment with Imprecise Probabilities
gan: Alireza Dehghanisanij, et al.
Cyhoeddwyd: (2024-10-01)

Imprecise probability for non-commuting observables
gan: Armen E Allahverdyan
Cyhoeddwyd: (2015-01-01)

Equalizer in the Kleisli category of the $n$-fuzzy powerset monad
gan: Seyed Naser Hosseini, et al.
Cyhoeddwyd: (2024-12-01)

Lax orthogonal factorisations in monad-quantale-enriched categories
gan: Maria Manuel Clementino, et al.
Cyhoeddwyd: (2017-09-01)

Monadic Second Order Logic with Measure and Category Quantifiers
gan: Matteo Mio, et al.
Cyhoeddwyd: (2018-04-01)

A monad for full ground reference cells
gan: Kammar, O, et al.
Cyhoeddwyd: (2017)

Affine monads and lazy structures for Bayesian programming
gan: Dash, S, et al.
Cyhoeddwyd: (2023)

Imprecise probability assessment of tipping points in the climate system
gan: Hall, J
Cyhoeddwyd: (2009)

Reaching Consensus with Imprecise Probabilities Over a Network
gan: How, Jonathan P., et al.
Cyhoeddwyd: (2010)

Reaching Consensus with Imprecise Probabilities over a Network
gan: Bertuccelli, Luca F., et al.
Cyhoeddwyd: (2008)

Using inferred probabilities to measure the accuracy of imprecise forecasts
gan: Paul Lehner, et al.
Cyhoeddwyd: (2012-11-01)

Using inferred probabilities to measure the accuracy of imprecise forecasts
gan: Paul Lehner, et al.
Cyhoeddwyd: (2012-11-01)

Engineering Design under Imprecise Probabilities: Computational Complexity
gan: Vladik Kreinovich
Cyhoeddwyd: (2011-01-01)

Abstract Hidden Markov Models: a monadic account of quantitative information flow
gan: Annabelle McIver, et al.
Cyhoeddwyd: (2019-03-01)

Probability, valuations, hyperspace: three monads on top and the support as a morphism
gan: Fritz, T, et al.
Cyhoeddwyd: (2022)

Corecursive Algebras, Corecursive Monads and Bloom Monads
gan: Jiří Adámek, et al.
Cyhoeddwyd: (2014-09-01)

A convenient category for higher-order probability theory
gan: Heunen, C, et al.
Cyhoeddwyd: (2017)

Monads for behaviour
gan: Piróg, M, et al.
Cyhoeddwyd: (2013)

Monads for behaviour
gan: Piróg, M, et al.
Cyhoeddwyd: (2013)

Of Tactics and Monads
gan: Martin, A
Cyhoeddwyd: (1996)

On the non-compositionality of monads via distributive laws
gan: Zwart, M
Cyhoeddwyd: (2020)

Natural Transformations as Rewrite Rules and Monad Composition
gan: Dexter Kozen
Cyhoeddwyd: (2019-01-01)

Entangled State Monads
gan: Cheney, J, et al.
Cyhoeddwyd: (2014)

Reflections on monadic lenses
gan: Abou-Saleh, F, et al.
Cyhoeddwyd: (2016)

The coinductive resumption monad
gan: Piróg, M, et al.
Cyhoeddwyd: (2014)

The coinductive resumption monad
gan: Piróg, M, et al.
Cyhoeddwyd: (2014)

The monad induced by the hom-functor in the category of topological spaces and its associated Eilenberg-Moore algebras
gan: Koena R. Nailana
Cyhoeddwyd: (2002-01-01)

Algorithms for the extension of precise and imprecise conditional probability assessments: an implementation with maple V
gan: Veronica Biazzo
Cyhoeddwyd: (2000-05-01)

On Robust Maintenance Scheduling of Fatigue-prone Structural Systems Considering Imprecise Probability
gan: E. Patelli, et al.
Cyhoeddwyd: (2013-07-01)

The Failure-tree Analysis Based on Imprecise Probability and its Application on Tunnel Project
gan: Lei Huang
Cyhoeddwyd: (2017-07-01)

Markov categories and entropy
gan: Perrone, P
Cyhoeddwyd: (2023)

A Monadic Interpretation of Tactics
gan: Martin, A, et al.
Cyhoeddwyd: (2015)

Deriving monad transformers
gan: Hinze, R
Cyhoeddwyd: (1999)

Monadic Datalog Containment
gan: Benedikt, M, et al.
Cyhoeddwyd: (2012)