English
Related papers

Related papers: Sufficient and necessary causation are dual

200 papers

Causal reasoning is a crucial part of science and human intelligence. In order to discover causal relationships from data, we need structure discovery methods. We provide a review of background theory and a survey of methods for structure…

Machine Learning · Computer Science 2021-03-05 Matthew J. Vowels , Necati Cihan Camgoz , Richard Bowden

Reasoning about the causes behind observations is crucial to the formalization of rationality. While extensive research has been conducted on root cause analysis, most studies have predominantly focused on deterministic settings. In this…

Artificial Intelligence · Computer Science 2024-12-24 Shakil M. Khan , Yves Lespérance , Maryam Rostamigiv

Provenance, or information about the sources, derivation, custody or history of data, has been studied recently in a number of contexts, including databases, scientific workflows and the Semantic Web. Many provenance mechanisms have been…

Logic in Computer Science · Computer Science 2010-06-09 James Cheney

Causality and eXplainable Artificial Intelligence (XAI) have developed as separate fields in computer science, even though the underlying concepts of causation and explanation share common ancient roots. This is further enforced by the lack…

Artificial Intelligence · Computer Science 2023-09-19 Gianluca Carloni , Andrea Berti , Sara Colantonio

As probabilistic systems gain popularity and are coming into wider use, the need for a mechanism that explains the system's findings and recommendations becomes more critical. The system will also need a mechanism for ordering competing…

Artificial Intelligence · Computer Science 2013-02-08 Urszula Chajewska , Joseph Y. Halpern

With the big popularity and success of Judea Pearl's original causality book, this review covers the main topics updated in the second edition in 2009 and illustrates an easy-to-follow causal inference strategy in a forecast scenario. It…

Methodology · Statistics 2023-08-11 Feng Li

This paper analyzes the notion of causality in a conceptual model, mainly as applied in software engineering. Conceptual system modeling can be considered a three-level process that begins with building a static structural description to…

Software Engineering · Computer Science 2020-05-07 Sabah Al-Fedaghi

I offer an analysis of the Principle of Sufficient Reason and its relevancy for the scientific endeavour. I submit that the world is not, and cannot be, rational - only some brained beings are. The Principle of Sufficient Reason is not a…

History and Philosophy of Physics · Physics 2014-10-16 Gustavo E. Romero

Compatibility between the realist tenants of value-definiteness and causality is called into question by several realism impossibility proofs in which their formal elements are shown to conflict. We review how this comes about in the…

Quantum Physics · Physics 2007-05-23 Ken Williams

Determining and measuring cause-effect relationships is fundamental to most scientific studies of natural phenomena. The notion of causation is distinctly different from correlation which only looks at association of trends or patterns in…

Methodology · Statistics 2019-10-22 Aditi Kathpalia , Nithin Nagaraj

Inferring the potential consequences of an unobserved event is a fundamental scientific question. To this end, Pearl's celebrated do-calculus provides a set of inference rules to derive an interventional probability from an observational…

Discrete Mathematics · Computer Science 2021-08-10 Benjamin Heymann , Michel de Lara , Jean-Philippe Chancelier

The probabilities of causation are commonly used to solve decision-making problems. Tian and Pearl derived sharp bounds for the probability of necessity and sufficiency (PNS), the probability of sufficiency (PS), and the probability of…

Artificial Intelligence · Computer Science 2022-10-12 Ang Li , Ruirui Mao , Judea Pearl

Ibeling et al. (2023). axiomatize increasingly expressive languages of causation and probability, and Mosse et al. (2024) show that reasoning (specifically the satisfiability problem) in each causal language is as difficult, from a…

Logic · Mathematics 2024-05-21 Duligur Ibeling , Thomas F. Icard , Milan Mossé

The notion of causal effect is fundamental across many scientific disciplines. Traditionally, quantitative researchers have studied causal effects at the level of variables; for example, how a certain drug dose (W) causally affects a…

Methodology · Statistics 2026-04-07 Junhyung Park , Yuqing Zhou

This paper presents a simple generalization of causal consistency suited to any object defined by a sequential specification. As causality is captured by a partial order on the set of operations issued by the processes on shared objects…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-02-05 Achour Mostéfaoui , Matthieu Perrin , Michel Raynal

The starting point of the present paper is Bell's notion of local causality and his own sharpening of it so as to provide for mathematical formalisation. Starting with Norsen's (2007, 2009) analysis of this formalisation, it is subjected to…

Quantum Physics · Physics 2011-08-22 M. P. Seevinck , J. Uffink

We extend Pearl's definition of causal influence to the quantum domain, where two quantum systems $A$, $B$ with finite-dimensional Hilbert space are embedded in a common environment $C$ and propagated with a joint unitary $U$. For finite…

Quantum Physics · Physics 2022-12-28 Llorenç Escolà-Farràs , Daniel Braun

The discussion on causality in human history dates back to ancient Greece, yet to this day, there is still no consensus. Fundamentally, this stems from the nature of human cognition, as understanding causality requires abstract tools to…

Artificial Intelligence · Computer Science 2024-03-19 Jiaxin Wang , YiLong Ma

Temporal causality defines what property causes some observed temporal behavior (the effect) in a given computation, based on a counterfactual analysis of similar computations. In this paper, we study its closure properties and the…

Logic in Computer Science · Computer Science 2025-05-16 Mishel Carelli , Bernd Finkbeiner , Julian Siber

The necessary and sufficient conditions for differentiability of a function of several real variables stated and proved and its ramifications discussed.

Classical Analysis and ODEs · Mathematics 2007-05-23 R. P. Venkataraman