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)