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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Liell-Cock, J, Staton, S
Formáid:	Journal article
Teanga:	English
Foilsithe / Cruthaithe:	Association for Computing Machinery 2025

Míreanna comhchosúla

Probability measure monad on the category of ultrametric spaces
de réir: O.B. Hubal, et al.
Foilsithe / Cruthaithe: (2008-10-01)

Reasoning with Imprecise Probabilities
de réir: Cano, A, et al.
Foilsithe / Cruthaithe: (2007)

Introduction to imprecise probabilities /
de réir: Augustin, Thomas
Foilsithe / Cruthaithe: (2014)

Logical Approaches to Imprecise Probabilities
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2008)

Monads for measurable queries in probabilistic databases
de réir: Dash, S, et al.
Foilsithe / Cruthaithe: (2021)

On $\ast$-measure monads on the category of ultrametric spaces
de réir: Kh.O. Sukhorukova, et al.
Foilsithe / Cruthaithe: (2022-12-01)

Natech Risk Assessment with Imprecise Probabilities
de réir: Alireza Dehghanisanij, et al.
Foilsithe / Cruthaithe: (2024-10-01)

Imprecise probability for non-commuting observables
de réir: Armen E Allahverdyan
Foilsithe / Cruthaithe: (2015-01-01)

Equalizer in the Kleisli category of the $n$-fuzzy powerset monad
de réir: Seyed Naser Hosseini, et al.
Foilsithe / Cruthaithe: (2024-12-01)

Lax orthogonal factorisations in monad-quantale-enriched categories
de réir: Maria Manuel Clementino, et al.
Foilsithe / Cruthaithe: (2017-09-01)

Monadic Second Order Logic with Measure and Category Quantifiers
de réir: Matteo Mio, et al.
Foilsithe / Cruthaithe: (2018-04-01)

A monad for full ground reference cells
de réir: Kammar, O, et al.
Foilsithe / Cruthaithe: (2017)

Affine monads and lazy structures for Bayesian programming
de réir: Dash, S, et al.
Foilsithe / Cruthaithe: (2023)

Imprecise probability assessment of tipping points in the climate system
de réir: Hall, J
Foilsithe / Cruthaithe: (2009)

Reaching Consensus with Imprecise Probabilities Over a Network
de réir: How, Jonathan P., et al.
Foilsithe / Cruthaithe: (2010)

Reaching Consensus with Imprecise Probabilities over a Network
de réir: Bertuccelli, Luca F., et al.
Foilsithe / Cruthaithe: (2008)

Using inferred probabilities to measure the accuracy of imprecise forecasts
de réir: Paul Lehner, et al.
Foilsithe / Cruthaithe: (2012-11-01)

Using inferred probabilities to measure the accuracy of imprecise forecasts
de réir: Paul Lehner, et al.
Foilsithe / Cruthaithe: (2012-11-01)

Engineering Design under Imprecise Probabilities: Computational Complexity
de réir: Vladik Kreinovich
Foilsithe / Cruthaithe: (2011-01-01)

Abstract Hidden Markov Models: a monadic account of quantitative information flow
de réir: Annabelle McIver, et al.
Foilsithe / Cruthaithe: (2019-03-01)

Probability, valuations, hyperspace: three monads on top and the support as a morphism
de réir: Fritz, T, et al.
Foilsithe / Cruthaithe: (2022)

Corecursive Algebras, Corecursive Monads and Bloom Monads
de réir: Jiří Adámek, et al.
Foilsithe / Cruthaithe: (2014-09-01)

A convenient category for higher-order probability theory
de réir: Heunen, C, et al.
Foilsithe / Cruthaithe: (2017)

Monads for behaviour
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2013)

Monads for behaviour
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2013)

Of Tactics and Monads
de réir: Martin, A
Foilsithe / Cruthaithe: (1996)

On the non-compositionality of monads via distributive laws
de réir: Zwart, M
Foilsithe / Cruthaithe: (2020)

Natural Transformations as Rewrite Rules and Monad Composition
de réir: Dexter Kozen
Foilsithe / Cruthaithe: (2019-01-01)

Entangled State Monads
de réir: Cheney, J, et al.
Foilsithe / Cruthaithe: (2014)

Reflections on monadic lenses
de réir: Abou-Saleh, F, et al.
Foilsithe / Cruthaithe: (2016)

The coinductive resumption monad
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2014)

The coinductive resumption monad
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2014)

The monad induced by the hom-functor in the category of topological spaces and its associated Eilenberg-Moore algebras
de réir: Koena R. Nailana
Foilsithe / Cruthaithe: (2002-01-01)

Algorithms for the extension of precise and imprecise conditional probability assessments: an implementation with maple V
de réir: Veronica Biazzo
Foilsithe / Cruthaithe: (2000-05-01)

On Robust Maintenance Scheduling of Fatigue-prone Structural Systems Considering Imprecise Probability
de réir: E. Patelli, et al.
Foilsithe / Cruthaithe: (2013-07-01)

The Failure-tree Analysis Based on Imprecise Probability and its Application on Tunnel Project
de réir: Lei Huang
Foilsithe / Cruthaithe: (2017-07-01)

Markov categories and entropy
de réir: Perrone, P
Foilsithe / Cruthaithe: (2023)

A Monadic Interpretation of Tactics
de réir: Martin, A, et al.
Foilsithe / Cruthaithe: (2015)

Deriving monad transformers
de réir: Hinze, R
Foilsithe / Cruthaithe: (1999)

Monadic Datalog Containment
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2012)