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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Liell-Cock, J, Staton, S
Định dạng:	Journal article
Ngôn ngữ:	English
Được phát hành:	Association for Computing Machinery 2025

Những quyển sách tương tự

Probability measure monad on the category of ultrametric spaces
Bằng: O.B. Hubal, et al.
Được phát hành: (2008-10-01)

Reasoning with Imprecise Probabilities
Bằng: Cano, A, et al.
Được phát hành: (2007)

Introduction to imprecise probabilities /
Bằng: Augustin, Thomas
Được phát hành: (2014)

Logical Approaches to Imprecise Probabilities
Bằng: Lukasiewicz, T
Được phát hành: (2008)

Monads for measurable queries in probabilistic databases
Bằng: Dash, S, et al.
Được phát hành: (2021)

On $\ast$-measure monads on the category of ultrametric spaces
Bằng: Kh.O. Sukhorukova, et al.
Được phát hành: (2022-12-01)

Natech Risk Assessment with Imprecise Probabilities
Bằng: Alireza Dehghanisanij, et al.
Được phát hành: (2024-10-01)

Imprecise probability for non-commuting observables
Bằng: Armen E Allahverdyan
Được phát hành: (2015-01-01)

Equalizer in the Kleisli category of the $n$-fuzzy powerset monad
Bằng: Seyed Naser Hosseini, et al.
Được phát hành: (2024-12-01)

Lax orthogonal factorisations in monad-quantale-enriched categories
Bằng: Maria Manuel Clementino, et al.
Được phát hành: (2017-09-01)

Monadic Second Order Logic with Measure and Category Quantifiers
Bằng: Matteo Mio, et al.
Được phát hành: (2018-04-01)

A monad for full ground reference cells
Bằng: Kammar, O, et al.
Được phát hành: (2017)

Affine monads and lazy structures for Bayesian programming
Bằng: Dash, S, et al.
Được phát hành: (2023)

Imprecise probability assessment of tipping points in the climate system
Bằng: Hall, J
Được phát hành: (2009)

Reaching Consensus with Imprecise Probabilities Over a Network
Bằng: How, Jonathan P., et al.
Được phát hành: (2010)

Reaching Consensus with Imprecise Probabilities over a Network
Bằng: Bertuccelli, Luca F., et al.
Được phát hành: (2008)

Using inferred probabilities to measure the accuracy of imprecise forecasts
Bằng: Paul Lehner, et al.
Được phát hành: (2012-11-01)

Using inferred probabilities to measure the accuracy of imprecise forecasts
Bằng: Paul Lehner, et al.
Được phát hành: (2012-11-01)

Engineering Design under Imprecise Probabilities: Computational Complexity
Bằng: Vladik Kreinovich
Được phát hành: (2011-01-01)

Abstract Hidden Markov Models: a monadic account of quantitative information flow
Bằng: Annabelle McIver, et al.
Được phát hành: (2019-03-01)

Probability, valuations, hyperspace: three monads on top and the support as a morphism
Bằng: Fritz, T, et al.
Được phát hành: (2022)

Corecursive Algebras, Corecursive Monads and Bloom Monads
Bằng: Jiří Adámek, et al.
Được phát hành: (2014-09-01)

A convenient category for higher-order probability theory
Bằng: Heunen, C, et al.
Được phát hành: (2017)

Monads for behaviour
Bằng: Piróg, M, et al.
Được phát hành: (2013)

Monads for behaviour
Bằng: Piróg, M, et al.
Được phát hành: (2013)

Of Tactics and Monads
Bằng: Martin, A
Được phát hành: (1996)

On the non-compositionality of monads via distributive laws
Bằng: Zwart, M
Được phát hành: (2020)

Natural Transformations as Rewrite Rules and Monad Composition
Bằng: Dexter Kozen
Được phát hành: (2019-01-01)

Entangled State Monads
Bằng: Cheney, J, et al.
Được phát hành: (2014)

Reflections on monadic lenses
Bằng: Abou-Saleh, F, et al.
Được phát hành: (2016)

The coinductive resumption monad
Bằng: Piróg, M, et al.
Được phát hành: (2014)

The coinductive resumption monad
Bằng: Piróg, M, et al.
Được phát hành: (2014)

The monad induced by the hom-functor in the category of topological spaces and its associated Eilenberg-Moore algebras
Bằng: Koena R. Nailana
Được phát hành: (2002-01-01)

Algorithms for the extension of precise and imprecise conditional probability assessments: an implementation with maple V
Bằng: Veronica Biazzo
Được phát hành: (2000-05-01)

On Robust Maintenance Scheduling of Fatigue-prone Structural Systems Considering Imprecise Probability
Bằng: E. Patelli, et al.
Được phát hành: (2013-07-01)

The Failure-tree Analysis Based on Imprecise Probability and its Application on Tunnel Project
Bằng: Lei Huang
Được phát hành: (2017-07-01)

Markov categories and entropy
Bằng: Perrone, P
Được phát hành: (2023)

A Monadic Interpretation of Tactics
Bằng: Martin, A, et al.
Được phát hành: (2015)

Deriving monad transformers
Bằng: Hinze, R
Được phát hành: (1999)

Monadic Datalog Containment
Bằng: Benedikt, M, et al.
Được phát hành: (2012)