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

Полное описание

Библиографические подробности
Главные авторы:	Liell-Cock, J, Staton, S
Формат:	Journal article
Язык:	English
Опубликовано:	Association for Computing Machinery 2025

Схожие документы

Probability measure monad on the category of ultrametric spaces
по: O.B. Hubal, и др.
Опубликовано: (2008-10-01)

Reasoning with Imprecise Probabilities
по: Cano, A, и др.
Опубликовано: (2007)

Introduction to imprecise probabilities /
по: Augustin, Thomas
Опубликовано: (2014)

Logical Approaches to Imprecise Probabilities
по: Lukasiewicz, T
Опубликовано: (2008)

Monads for measurable queries in probabilistic databases
по: Dash, S, и др.
Опубликовано: (2021)

On $\ast$-measure monads on the category of ultrametric spaces
по: Kh.O. Sukhorukova, и др.
Опубликовано: (2022-12-01)

Natech Risk Assessment with Imprecise Probabilities
по: Alireza Dehghanisanij, и др.
Опубликовано: (2024-10-01)

Imprecise probability for non-commuting observables
по: Armen E Allahverdyan
Опубликовано: (2015-01-01)

Equalizer in the Kleisli category of the $n$-fuzzy powerset monad
по: Seyed Naser Hosseini, и др.
Опубликовано: (2024-12-01)

Lax orthogonal factorisations in monad-quantale-enriched categories
по: Maria Manuel Clementino, и др.
Опубликовано: (2017-09-01)

Monadic Second Order Logic with Measure and Category Quantifiers
по: Matteo Mio, и др.
Опубликовано: (2018-04-01)

A monad for full ground reference cells
по: Kammar, O, и др.
Опубликовано: (2017)

Affine monads and lazy structures for Bayesian programming
по: Dash, S, и др.
Опубликовано: (2023)

Imprecise probability assessment of tipping points in the climate system
по: Hall, J
Опубликовано: (2009)

Reaching Consensus with Imprecise Probabilities Over a Network
по: How, Jonathan P., и др.
Опубликовано: (2010)

Reaching Consensus with Imprecise Probabilities over a Network
по: Bertuccelli, Luca F., и др.
Опубликовано: (2008)

Using inferred probabilities to measure the accuracy of imprecise forecasts
по: Paul Lehner, и др.
Опубликовано: (2012-11-01)

Using inferred probabilities to measure the accuracy of imprecise forecasts
по: Paul Lehner, и др.
Опубликовано: (2012-11-01)

Engineering Design under Imprecise Probabilities: Computational Complexity
по: Vladik Kreinovich
Опубликовано: (2011-01-01)

Abstract Hidden Markov Models: a monadic account of quantitative information flow
по: Annabelle McIver, и др.
Опубликовано: (2019-03-01)

Probability, valuations, hyperspace: three monads on top and the support as a morphism
по: Fritz, T, и др.
Опубликовано: (2022)

Corecursive Algebras, Corecursive Monads and Bloom Monads
по: Jiří Adámek, и др.
Опубликовано: (2014-09-01)

A convenient category for higher-order probability theory
по: Heunen, C, и др.
Опубликовано: (2017)

Monads for behaviour
по: Piróg, M, и др.
Опубликовано: (2013)

Monads for behaviour
по: Piróg, M, и др.
Опубликовано: (2013)

Of Tactics and Monads
по: Martin, A
Опубликовано: (1996)

On the non-compositionality of monads via distributive laws
по: Zwart, M
Опубликовано: (2020)

Natural Transformations as Rewrite Rules and Monad Composition
по: Dexter Kozen
Опубликовано: (2019-01-01)

Entangled State Monads
по: Cheney, J, и др.
Опубликовано: (2014)

Reflections on monadic lenses
по: Abou-Saleh, F, и др.
Опубликовано: (2016)

The coinductive resumption monad
по: Piróg, M, и др.
Опубликовано: (2014)

The coinductive resumption monad
по: Piróg, M, и др.
Опубликовано: (2014)

The monad induced by the hom-functor in the category of topological spaces and its associated Eilenberg-Moore algebras
по: Koena R. Nailana
Опубликовано: (2002-01-01)

Algorithms for the extension of precise and imprecise conditional probability assessments: an implementation with maple V
по: Veronica Biazzo
Опубликовано: (2000-05-01)

On Robust Maintenance Scheduling of Fatigue-prone Structural Systems Considering Imprecise Probability
по: E. Patelli, и др.
Опубликовано: (2013-07-01)

The Failure-tree Analysis Based on Imprecise Probability and its Application on Tunnel Project
по: Lei Huang
Опубликовано: (2017-07-01)

Markov categories and entropy
по: Perrone, P
Опубликовано: (2023)

A Monadic Interpretation of Tactics
по: Martin, A, и др.
Опубликовано: (2015)

Deriving monad transformers
по: Hinze, R
Опубликовано: (1999)

Monadic Datalog Containment
по: Benedikt, M, и др.
Опубликовано: (2012)