English
Related papers

Related papers: Formalizing Statistical Causality via Modal Logic

200 papers

This paper proposes new formulas for the probabilities of causation difined by Pearl (2000). Tian and Pearl (2000a, 2000b) showed how to bound the quantities of the probabilities of causation from experimental and observational data, under…

Methodology · Statistics 2012-07-02 Manabu Kuroki , Zhihong Cai

A probabilistic expert system emulates the decision-making ability of a human expert through a directional graphical model. The first step in building such systems is to understand data generation mechanism. To this end, one may try to…

Methodology · Statistics 2021-09-29 Vahid Partovi Nia , Xinlin Li , Masoud Asgharian , Shoubo Hu , Zhitang Chen , Yanhui Geng

We give a category-theoretic treatment of causal models that formalizes the syntax for causal reasoning over a directed acyclic graph (DAG) by associating a free Markov category with the DAG in a canonical way. This framework enables us to…

Artificial Intelligence · Computer Science 2022-04-12 Yimu Yin , Jiji Zhang

Explainability plays an increasingly important role in machine learning. Furthermore, humans view the world through a causal lens and thus prefer causal explanations over associational ones. Therefore, in this paper, we develop a causal…

Artificial Intelligence · Computer Science 2023-07-04 Xiaoxiao Wang , Fanyu Meng , Xin Liu , Zhaodan Kong , Xin Chen

Characterising causal structure is an activity that is ubiquitous across the sciences. Causal models are representational devices that can be used as oracles for future interventions, to predict how values of some variables will change in…

Quantum Physics · Physics 2018-09-11 G. J. Milburn , Sally Shrapnel

We present a domain-specific embedded language (DSEL) in Haskell that supports the philosophical study and practical explanation of causation. The language provides constructs for modeling situations comprised of events and functions for…

Programming Languages · Computer Science 2011-09-06 Eric Walkingshaw , Martin Erwig

Causal reasoning and compositional reasoning are two core aspirations in AI. Measuring the extent of these behaviors requires principled evaluation methods. We explore a unified perspective that considers both behaviors simultaneously,…

Computation and Language · Computer Science 2025-06-11 Jacqueline R. M. A. Maasch , Alihan Hüyük , Xinnuo Xu , Aditya V. Nori , Javier Gonzalez

Discussions on causal relations in real life often consider variables for which the definition of causality is unclear since the notion of interventions on the respective variables is obscure. Asking 'what qualifies an action for being an…

Methodology · Statistics 2022-11-17 Dominik Janzing , Sergio Hernan Garrido Mejia

The analysis of the causality is important in many fields of research. I propose a causal theory to obtain the causal effects in a causal loglinear model. It calculates them using the odds ratio and Pearl's causal theory. The effects are…

Methodology · Statistics 2015-08-13 Gloria Gheno

LLM-based social simulations can generate believable community interactions, enabling ``policy wind tunnels'' where governance interventions are tested before deployment. But believability is not causality. Claims like ``intervention $A$…

Computation and Language · Computer Science 2026-04-17 Agam Goyal , Yian Wang , Eshwar Chandrasekharan , Hari Sundaram

This paper presents a sound and completecalculus for causal relevance, based onPearl's functional models semantics.The calculus consists of axioms and rulesof inference for reasoning about causalrelevance relationships.We extend the set of…

Artificial Intelligence · Computer Science 2013-01-14 Blai Bonet

Bayesian probabilistic programming languages (BPPLs) let users denote statistical models as code while the interpreter infers the posterior distribution. The semantics of BPPLs are usually mathematically complex and unable to reason about…

Programming Languages · Computer Science 2025-12-03 Shing Hin Ho , Nicolas Wu , Azalea Raad

The aim of illocutionary logic is to explain how context can affect the meaning of certain special kinds of performative utterances. Recall that performative utterances are understood as follows: a speaker performs the illocutionary act…

Logic in Computer Science · Computer Science 2011-02-24 Andrew Schumann

Rigorous evaluation of the causal effects of semantic features on language model predictions can be hard to achieve for natural language reasoning problems. However, this is such a desirable form of analysis from both an interpretability…

Computation and Language · Computer Science 2024-04-04 Julia Rozanova , Marco Valentino , Andre Freitas

Causality is one of the fundamental structures of spacetimes, determining the possible behaviour and propagation of physical information. Causal structure can be analysed through the various modal logics it induces. The modal logics for the…

Logic · Mathematics 2026-03-17 Marco Lewis , Nesta van der Schaaf

There is growing interest in the study of causal methods in the Earth sciences. However, most applications have focused on causal discovery, i.e. inferring the causal relationships and causal structure from data. This paper instead examines…

Atmospheric and Oceanic Physics · Physics 2021-05-04 Adam Massmann , Pierre Gentine , Jakob Runge

The Causal Roadmap outlines a systematic approach to asking and answering questions of cause-and-effect: define the quantity of interest, evaluate needed assumptions, conduct statistical estimation, and carefully interpret results. To…

Methodology · Statistics 2024-05-30 Nerissa Nance , Maya L. Petersen , Mark van der Laan , Laura B. Balzer

Machine Learning explainability techniques have been proposed as a means of `explaining' or interrogating a model in order to understand why a particular decision or prediction has been made. Such an ability is especially important at a…

Machine Learning · Statistics 2022-02-28 Matthew J. Vowels

Structural Causal Explanations (SCEs) can be used to automatically generate explanations in natural language to questions about given data that are grounded in a (possibly learned) causal model. Unfortunately they work for small data only.…

Artificial Intelligence · Computer Science 2025-06-05 Sebastian Rödling , Matej Zečević , Devendra Singh Dhami , Kristian Kersting

Causality is a non-obvious concept that is often considered to be related to temporality. In this paper we present a number of past and present approaches to the definition of temporality and causality from philosophical, physical, and…

Machine Learning · Computer Science 2010-07-16 Kamran Karimi