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

Szczegółowa specyfikacja

Opis bibliograficzny
Główni autorzy:	Liell-Cock, J, Staton, S
Format:	Journal article
Język:	English
Wydane:	Association for Computing Machinery 2025

Podobne zapisy

Probability measure monad on the category of ultrametric spaces
od: O.B. Hubal, i wsp.
Wydane: (2008-10-01)

Reasoning with Imprecise Probabilities
od: Cano, A, i wsp.
Wydane: (2007)

Introduction to imprecise probabilities /
od: Augustin, Thomas
Wydane: (2014)

Logical Approaches to Imprecise Probabilities
od: Lukasiewicz, T
Wydane: (2008)

Monads for measurable queries in probabilistic databases
od: Dash, S, i wsp.
Wydane: (2021)

On $\ast$-measure monads on the category of ultrametric spaces
od: Kh.O. Sukhorukova, i wsp.
Wydane: (2022-12-01)

Natech Risk Assessment with Imprecise Probabilities
od: Alireza Dehghanisanij, i wsp.
Wydane: (2024-10-01)

Imprecise probability for non-commuting observables
od: Armen E Allahverdyan
Wydane: (2015-01-01)

Equalizer in the Kleisli category of the $n$-fuzzy powerset monad
od: Seyed Naser Hosseini, i wsp.
Wydane: (2024-12-01)

Lax orthogonal factorisations in monad-quantale-enriched categories
od: Maria Manuel Clementino, i wsp.
Wydane: (2017-09-01)

Monadic Second Order Logic with Measure and Category Quantifiers
od: Matteo Mio, i wsp.
Wydane: (2018-04-01)

A monad for full ground reference cells
od: Kammar, O, i wsp.
Wydane: (2017)

Affine monads and lazy structures for Bayesian programming
od: Dash, S, i wsp.
Wydane: (2023)

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

Reaching Consensus with Imprecise Probabilities Over a Network
od: How, Jonathan P., i wsp.
Wydane: (2010)

Reaching Consensus with Imprecise Probabilities over a Network
od: Bertuccelli, Luca F., i wsp.
Wydane: (2008)

Using inferred probabilities to measure the accuracy of imprecise forecasts
od: Paul Lehner, i wsp.
Wydane: (2012-11-01)

Using inferred probabilities to measure the accuracy of imprecise forecasts
od: Paul Lehner, i wsp.
Wydane: (2012-11-01)

Engineering Design under Imprecise Probabilities: Computational Complexity
od: Vladik Kreinovich
Wydane: (2011-01-01)

Abstract Hidden Markov Models: a monadic account of quantitative information flow
od: Annabelle McIver, i wsp.
Wydane: (2019-03-01)

Probability, valuations, hyperspace: three monads on top and the support as a morphism
od: Fritz, T, i wsp.
Wydane: (2022)

Corecursive Algebras, Corecursive Monads and Bloom Monads
od: Jiří Adámek, i wsp.
Wydane: (2014-09-01)

A convenient category for higher-order probability theory
od: Heunen, C, i wsp.
Wydane: (2017)

Monads for behaviour
od: Piróg, M, i wsp.
Wydane: (2013)

Monads for behaviour
od: Piróg, M, i wsp.
Wydane: (2013)

Of Tactics and Monads
od: Martin, A
Wydane: (1996)

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

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

Entangled State Monads
od: Cheney, J, i wsp.
Wydane: (2014)

Reflections on monadic lenses
od: Abou-Saleh, F, i wsp.
Wydane: (2016)

The coinductive resumption monad
od: Piróg, M, i wsp.
Wydane: (2014)

The coinductive resumption monad
od: Piróg, M, i wsp.
Wydane: (2014)

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

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

On Robust Maintenance Scheduling of Fatigue-prone Structural Systems Considering Imprecise Probability
od: E. Patelli, i wsp.
Wydane: (2013-07-01)

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

Markov categories and entropy
od: Perrone, P
Wydane: (2023)

A Monadic Interpretation of Tactics
od: Martin, A, i wsp.
Wydane: (2015)

Deriving monad transformers
od: Hinze, R
Wydane: (1999)

Monadic Datalog Containment
od: Benedikt, M, i wsp.
Wydane: (2012)