English
Related papers

Related papers: R.E. Axiomatization of Conditional Independence

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

We study a class of determinantal ideals that are related to conditional independence (CI) statements with hidden variables. Such CI statements correspond to determinantal conditions on a matrix whose entries are probabilities of events…

Commutative Algebra · Mathematics 2023-01-02 Oliver Clarke , Fatemeh Mohammadi , Johannes Rauh

Relational configurations are defined by the relationships between systems. Individualist configurations are defined by the properties of individual systems. Non-embeddable relational configurations are those for which there is no…

General Relativity and Quantum Cosmology · Physics 2014-09-02 William Edwards

The majority of the statisticians concluded many decades ago that fiducial inference was nonsensical to them. Hannig et al. (2016) and others have, however, contributed to a renewed interest and focus. Fiducial inference is similar to…

Methodology · Statistics 2021-12-15 G. Taraldsen , B. H. Lindquist

This article presents a formal model demonstrating that genuine autonomy, the ability of a system to self-regulate and pursue objectives, fundamentally implies computational unpredictability from an external perspective. we establish…

Artificial Intelligence · Computer Science 2025-09-17 Poria Azadi

Recently, Roger Colbeck and Renato Renner (C&R) have claimed that '[n]o extension of quantum theory can have improved predictive power'. If correct, this is a spectacular impossibility theorem for hidden variable theories, which is more…

Quantum Physics · Physics 2017-05-24 Gijs Leegwater

In a recent paper, Kit Fine presents some striking results concerning the logical properties of (first-order) ignorance, second-order ignorance and Rumsfeld ignorance. However, Rumsfeld ignorance is definable in terms of ignorance, which…

Logic · Mathematics 2025-07-25 Jie Fan

Given a Bayesian network structure (directed acyclic graph), the celebrated d-separation algorithm efficiently determines whether the network structure implies a given conditional independence relation. We show that this changes drastically…

Computational Complexity · Computer Science 2024-05-14 Cheuk Ting Li

Exchangeability is a central notion in statistics and probability theory. The assumption that an infinite sequence of data points is exchangeable is at the core of Bayesian statistics. However, finite exchangeability as a statistical…

Artificial Intelligence · Computer Science 2014-04-24 Mathias Niepert , Guy Van den Broeck

We study knowable informational dependence between empirical questions, modeled as continuous functional dependence between variables in a topological setting. We also investigate epistemic independence in topological terms and show that it…

Logic · Mathematics 2024-01-17 Alexandru Baltag , Johan van Benthem

We postulate a principle stating that the initial condition of a physical system is typically algorithmically independent of the dynamical law. We argue that this links thermodynamics and causal inference. On the one hand, it entails…

Statistical Mechanics · Physics 2016-11-08 Dominik Janzing , Rafael Chaves , Bernhard Schoelkopf

We consider the first-order theory of random variables with the probabilistic independence relation, which concerns statements consisting of random variables, the probabilistic independence symbol, logical operators, and existential and…

Information Theory · Computer Science 2021-08-18 Cheuk Ting Li

A conditional knowledge base R is a set of conditionals of the form "If A, the usually B". Using structural information derived from the conditionals in R, we introduce the preferred structure relation on worlds. The preferred structure…

Artificial Intelligence · Computer Science 2020-05-27 Christian Komo , Christoph Beierle

Conditional independence, and more generally conditional mutual independence, are central notions in probability theory. In their general forms, they include functional dependence as a special case. In this paper, we tackle two fundamental…

Probability · Mathematics 2026-03-24 Laigang Guo , Raymond W. Yeung , Tao Guo

It is well known that conditional independence can be used to factorize a joint probability into a multiplication of conditional probabilities. This paper proposes a constructive definition of inter-causal independence, which can be used to…

Artificial Intelligence · Computer Science 2013-02-28 Nevin Lianwen Zhang , David L Poole

An ordinal view of independence is studied in the framework of possibility theory. We investigate three possible definitions of dependence, of increasing strength. One of them is the counterpart to the multiplication law in probability…

Artificial Intelligence · Computer Science 2013-02-28 Didier Dubois , Luis Farinas del Cerro , Andreas Herzig , Henri Prade

We solve a well known, long-standing open problem in relational databases theory, showing that the conjunctive query determinacy problem (in its "unrestricted" version) is undecidable.

Databases · Computer Science 2015-12-08 Tomasz Gogacz , Jerzy Marcinkowski

The graphoid axioms for conditional independence, originally described by Dawid [1979], are fundamental to probabilistic reasoning [Pearl, 19881. Such axioms provide a mechanism for manipulating conditional independence assertions without…

Artificial Intelligence · Computer Science 2013-03-26 Ross D. Shachter

This course introduces the fruitful links between model theory and a combinatoric of sets given by independence relations. An independence relation on a set is a ternary relation between subsets. Chapter 1 should be considered as an…

Logic · Mathematics 2025-01-28 Christian d'Elbée

We introduce two approximate variants of inclusion dependencies and examine the axiomatization and computational complexity of their implication problems. The approximate variants allow for some imperfection in the database and differ in…

Logic in Computer Science · Computer Science 2025-05-27 Matilda Häggblom