English
Related papers

Related papers: Conditional probabilities and van Lambalgen theore…

200 papers

This paper covers two topics: first an introduction to Algorithmic Complexity Theory: how it defines probability, some of its characteristic properties and past successful applications. Second, we apply it to problems in A.I. - where it…

Artificial Intelligence · Computer Science 2013-04-15 Ray Solomonoff

In this article the idea of random variables over the set theoretic universe is investigated. We explore what it can mean for a random set to have a specific probability of belonging to an antecedently given class of sets.

Logic · Mathematics 2019-03-21 Hazel Brickhill , Leon Horsten

A general notion of algebraic conditional plausibility measures is defined. Probability measures, ranking functions, possibility measures, and (under the appropriate definitions) sets of probability measures can all be viewed as defining…

Artificial Intelligence · Computer Science 2014-07-29 Joseph Y. Halpern

This paper presents a categorical account of conditional probability, covering both the classical and the quantum case. Classical conditional probabilities are expressed as a certain "triangle-fill-in" condition, connecting marginal and…

Category Theory · Mathematics 2015-11-06 Robert Furber , Bart Jacobs

We study a generalization of conditional probability for arbitrary ordered vector spaces. A related problem is that of assigning a numerical value to one vector relative to another. We characterize the groups for which these generalized…

Probability · Mathematics 2026-01-12 Nicolas Monod

The Kolmogorov axioms for probability functions are placed in the context of signed meadows. A completeness theorem is stated and proven for the resulting equational theory of probability calculus. Elementary definitions of probability…

Logic · Mathematics 2016-12-23 Jan A. Bergstra , Alban Ponse

Suppose we are given the conditional probability of one variable given some other variables.Normally the full joint distribution over the conditioning variablesis required to determine the probability of the conditioned variable.Under what…

Artificial Intelligence · Computer Science 2013-01-14 Avi Pfeffer

The purpose of this paper is to present a mathematical theory that can be used as a foundation for statistics that include improper priors. This theory includes improper laws in the initial axioms and has in particular Bayes theorem as a…

Statistics Theory · Mathematics 2020-06-11 Gunnar Taraldsen , Bo H. Lindqvist

In the following we revisit the frequency interpretation of probability of Richard von Mises, in order to bring the essential implicit notions in focus. Following von Mises, we argue that probability can only be defined for events that can…

Quantum Physics · Physics 2010-11-30 Louis Vervoort

The aim of this paper is to establish a theory of random variables on domains. Domain theory is a fundamental component of theoretical computer science, providing mathematical models of computational processes. Random variables are the…

Logic in Computer Science · Computer Science 2016-08-30 Michael W. Mislove

Considering a minimal number of assumptions and in the context of the timeless formalism, conditional probabilities are derived for subsequent measurements in the non-relativistic regime. Only unitary transformations are considered with…

Quantum Physics · Physics 2024-01-30 Martino Trassinelli

We study Martin-L\"{o}f random (ML-random) points on computable probability measures on sample and parameter spaces (Bayes models). We consider variants of conditional randomness defined by ML-randomness on Bayes models and those of…

Information Theory · Computer Science 2023-04-24 Hayato Takahashi

This paper defines a new notion of bounded computable randomness for certain classes of sub-computable functions which lack a universal machine. In particular, we define such versions of randomness for primitive recursive functions and for…

Logic in Computer Science · Computer Science 2015-07-01 Sam Buss , Douglas Cenzer , Jeffrey B. Remmel

Conditional Monte Carlo refers to sampling from the conditional distribution of a random vector X given the value T(X) = t for a function T(X). Classical conditional Monte Carlo methods were designed for estimating conditional expectations…

Methodology · Statistics 2020-10-15 Bo Henry Lindqvist , Rasmus Erlemann , Gunnar Taraldsen

Quantization for a Borel probability measure refers to the idea of estimating a given probability by a discrete probability with support containing a finite number of elements. If in the quantization some of the elements in the support are…

Probability · Mathematics 2025-03-24 Pigar Biteng , Mathieu Caguiat , Tsianna Dominguez , Mrinal Kanti Roychowdhury

The underlying probabilistic theory for quantum mechanics is non-Kolmogorovian. The order in which physical observables will be important if they are incompatible (non-commuting). In particular, the notion of conditioning needs to be…

Quantum Physics · Physics 2019-07-30 John E. Gough

A rigorous general definition of quantum probability is given, which is valid for elementary events and for composite events, for operationally testable measurements as well as for inconclusive measurements, and also for non-commuting…

Quantum Physics · Physics 2016-01-12 V. I. Yukalov , D. Sornette

A general notion of algebraic conditional plausibility measures is defined. Probability measures, ranking functions, possibility measures, and (under the appropriate definitions) sets of probability measures can all be viewed as defining…

Artificial Intelligence · Computer Science 2011-06-16 Joseph Y. Halpern

Probabilistic conditioning is concerned with the identification of a distribution of a random variable $X$ given a random variable $Y$. It is a cornerstone of scientific and engineering applications where modeling uncertainty is key. This…

Machine Learning · Statistics 2026-05-13 Panos Tsimpos , Edoardo Calvello , Ayoub Belhadji , Nicholas H. Nelsen

This paper examines the foundational concept of random variables in probability theory and statistical inference, demonstrating that their mathematical definition requires no reference to randomization or hypothetical repeated sampling. We…

Other Statistics · Statistics 2025-02-11 Paul W. Vos