English
Related papers

Related papers: Conditional Independence in Uncertainty Theories

200 papers

Conditional independence testing is a key problem required by many machine learning and statistics tools. In particular, it is one way of evaluating the usefulness of some features on a supervised prediction problem. We propose a novel…

Machine Learning · Statistics 2019-08-02 Marco Henrique de Almeida Inácio , Rafael Izbicki , Rafael Bassi Stern

Variable independence and decomposability are algorithmic techniques for simplifying logical formulas by tearing apart connections between free variables. These techniques were originally proposed to speed up query evaluation in constraint…

Logic in Computer Science · Computer Science 2023-07-20 Alexander Mayorov

A new method is proposed for exploiting causal independencies in exact Bayesian network inference. A Bayesian network can be viewed as representing a factorization of a joint probability into the multiplication of a set of conditional…

Artificial Intelligence · Computer Science 2014-11-17 N. L. Zhang , D. Poole

We develop a general operational framework that formalizes the concept of conditional uncertainty in a measure-independent fashion. Our formalism is built upon a mathematical relation which we call conditional majorization. We define…

We introduce a new interpretation of two related notions - conditional utility and utility independence. Unlike the traditional interpretation, the new interpretation renders the notions the direct analogues of their probabilistic…

Computer Science and Game Theory · Computer Science 2013-02-08 Yoav Shoham

We study dependence and independence concepts found in quantum physics, especially those related to hidden variables and non-locality, through the lens of team semantics and probabilistic team semantics, adapting a relational framework…

Logic · Mathematics 2026-03-04 Samson Abramsky , Joni Puljujärvi , Jouko Väänänen

In this paper we investigate the notion of conditional independence and prove several information inequalities for conditionally independent random variables.

Information Theory · Computer Science 2007-07-13 Konstantin Makarychev , Yury Makarychev

Probabilistic independence is a useful concept for describing the result of random sampling---a basic operation in all probabilistic languages---and for reasoning about groups of random variables. Nevertheless, existing verification methods…

Programming Languages · Computer Science 2020-07-21 Gilles Barthe , Justin Hsu , Kevin Liao

Conditional independence and Markov properties are powerful tools allowing expression of multidimensional probability distributions by means of low-dimensional ones. As multidimensional possibilistic models have been studied for several…

Artificial Intelligence · Computer Science 2013-01-18 Jirina Vejnarova

An automated explanation facility for Bayesian conditioning aimed at improving user acceptance of probability-based decision support systems has been developed. The domain-independent facility is based on an information processing…

Artificial Intelligence · Computer Science 2013-04-11 Christopher Elsaesser

The rules of d-separation provide a framework for deriving conditional independence facts from model structure. However, this theory only applies to simple directed graphical models. We introduce relational d-separation, a theory for…

Artificial Intelligence · Computer Science 2013-04-16 Marc Maier , David Jensen

We present a complete finite axiomatization of the unrestricted implication problem for inclusion and conditional independence atoms in the context of dependence logic. For databases, our result implies a finite axiomatization of the…

Logic · Mathematics 2013-09-23 Miika Hannula , Juha Kontinen

Statistical independence is a notion ubiquitous in various fields such as in statistics, probability, number theory and physics. We establish the stability of independence for any pair of random variables by their corresponding Brockwell…

Probability · Mathematics 2024-04-12 Xingzhi Wang

We define a new notion of conditional belief, which plays the same role for Dempster-Shafer belief functions as conditional probability does for probability functions. Our definition is different from the standard definition given by…

Artificial Intelligence · Computer Science 2013-04-05 Ronald Fagin , Joseph Y. Halpern

We propose a semantic foundation for logics for reasoning in settings that possess a distinction between equality of variables, a coarser equivalence of variables, and a notion of conditional independence between variables. We show that…

Logic in Computer Science · Computer Science 2026-05-18 Alex Simpson

We give a sufficient condition for an algebraic structure to have a computable presentation with a computable basis and a computable presentation with no computable basis. We apply the condition to differentially closed, real closed, and…

Logic · Mathematics 2015-06-11 Matthew Harrison-Trainor , Alexander Melnikov , Antonio Montalbán

We presents an independence relation on sets, one can define dimension by it, assuming that we have an abstract elementary class with a forking notion that satisfies the axioms of a good frame minus stability.

Logic · Mathematics 2011-05-19 Adi Jarden , Alon Sitton

Mathematical proof aims to deliver confident conclusions, but a very similar process of deduction can be used to make uncertain estimates that are open to revision. A key ingredient in such reasoning is the use of a "default" estimate of…

Artificial Intelligence · Computer Science 2022-11-15 Paul Christiano , Eric Neyman , Mark Xu

Conditional independence in a multivariate normal (or Gaussian) distribution is characterized by the vanishing of subdeterminants of the distribution's covariance matrix. Gaussian conditional independence models thus correspond to algebraic…

Statistics Theory · Mathematics 2009-10-29 Mathias Drton , Han Xiao

Identifying dependency between two random variables is a fundamental problem. The clear interpretability and ability of a procedure to provide information on the form of possible dependence is particularly important when exploring…

Methodology · Statistics 2026-04-27 Bogdan Ćmiel , Teresa Ledwina