English
Related papers

Related papers: Team semantics for interventionist counterfactuals…

200 papers

Complex dynamical systems are prevalent in many scientific disciplines. In the analysis of such systems two aspects are of particular interest: 1) the temporal patterns along which they evolve and 2) the underlying causal mechanisms.…

Methodology · Statistics 2022-05-31 Nicolas-Domenic Reiter , Andreas Gerhardus , Jakob Runge

Causal diagrams based on do intervention are useful tools to formalize, process and understand causal relationship among variables. However, the do intervention has controversial interpretation of causal questions for non-manipulable…

Artificial Intelligence · Computer Science 2020-06-03 Gong Heyang , Zhu Ke

The assumption that data samples are independent and identically distributed (iid) is standard in many areas of statistics and machine learning. Nevertheless, in some settings, such as social networks, infectious disease modeling, and…

Methodology · Statistics 2019-02-06 Eli Sherman , Ilya Shpitser

Automated decision support systems that are able to infer second opinions from experts can potentially facilitate a more efficient allocation of resources; they can help decide when and from whom to seek a second opinion. In this paper, we…

Machine Learning · Computer Science 2022-07-01 Nina L. Corvelo Benz , Manuel Gomez Rodriguez

Pearl observes that causal knowledge enables predicting the effects of interventions, such as actions, whereas descriptive knowledge only permits drawing conclusions from observation. This paper extends Pearl's approach to causality and…

Artificial Intelligence · Computer Science 2025-07-08 Kilian Rückschloß , Felix Weitkämper

We consider team semantics for propositional logic, continuing our previous work (Yang & V\"a\"an\"anen 2016). In team semantics the truth of a propositional formula is considered in a set of valuations, called a team, rather than in an…

Logic · Mathematics 2018-12-19 Fan Yang , Jouko Väänänen

A probabilistic model describes a system in its observational state. In many situations, however, we are interested in the system's response under interventions. The class of structural causal models provides a language that allows us to…

Methodology · Statistics 2020-01-20 Jonas Peters , Stefan Bauer , Niklas Pfister

Lewis' theory of counterfactuals is the foundation of many contemporary notions of causality. In this paper, we extend this theory in the temporal direction to enable symbolic counterfactual reasoning on infinite sequences, such as…

Logic in Computer Science · Computer Science 2023-06-16 Bernd Finkbeiner , Julian Siber

Using observed language to understand interpersonal interactions is important in high-stakes decision making. We propose a causal research design for observational (non-experimental) data to estimate the natural direct and indirect effects…

Computation and Language · Computer Science 2021-09-17 Katherine A. Keith , Douglas Rice , Brendan O'Connor

We address the problem of integrating data from multiple, possibly biased, observational and interventional studies, to eventually compute counterfactuals in structural causal models. We start from the case of a single observational dataset…

Artificial Intelligence · Computer Science 2023-03-17 Marco Zaffalon , Alessandro Antonucci , David Huber , Rafael Cabañas

Causal Modeling Semantics (CMS, e.g., Galles and Pearl 1998; Pearl 2000; Halpern 2000) is a powerful framework for evaluating counterfactuals whose antecedent is a conjunction of atomic formulas. We extend CMS to an evaluation of the…

Logic in Computer Science · Computer Science 2023-05-01 Giuliano Rosella , Jan Sprenger

The advances in Artificial Intelligence (AI) and Machine Learning (ML) have opened up many avenues for scientific research, and are adding new dimensions to the process of knowledge creation. However, even the most powerful and versatile of…

Artificial Intelligence · Computer Science 2023-11-10 Jorawar Singh , Kishor Bharti , Arvind

We define a variant of team semantics called multiteam semantics based on multisets and study the properties of various logics in this framework. In particular, we define natural probabilistic versions of inclusion and independence atoms…

Logic in Computer Science · Computer Science 2015-12-22 Arnaud Durand , Miika Hannula , Juha Kontinen , Arne Meier , Jonni Virtema

This paper proposes a causal inference relation and causal programming as general frameworks for causal inference with structural causal models. A tuple, $\langle M, I, Q, F \rangle$, is an instance of the relation if a formula, $F$,…

Methodology · Statistics 2018-05-08 Joshua Brulé

Interventional causal models describe several joint distributions over some variables used to describe a system, one for each intervention setting. They provide a formal recipe for how to move between the different joint distributions and…

Machine Learning · Statistics 2021-08-06 Eigil F. Rischel , Sebastian Weichwald

Consider a policymaker who wants to decide which intervention to perform in order to change a currently undesirable situation. The policymaker has at her disposal a team of experts, each with their own understanding of the causal…

Artificial Intelligence · Computer Science 2020-05-21 Dalal Alrajeh , Hana Chockler , Joseph Y. Halpern

Recent critiques of Physics Education Research (PER) studies have revoiced the critical issues when drawing causal inferences from observational data where no intervention is present. In response to a call for a "causal reasoning primer",…

Methodology · Statistics 2023-05-25 Vidushi Adlakha , Eric Kuo

Several authors have recently defined intuitionistic logic based on team semantics (tIPC). In this paper we provide two alternative approaches to intermediate logics in the team semantics setting. We do this by modifying tIPC with axioms…

Logic · Mathematics 2022-09-22 Nick Bezhanishvili , Fan Yang

We address the challenge of explaining counterfactual outcomes in multi-agent Markov decision processes. In particular, we aim to explain the total counterfactual effect of an agent's action on the outcome of a realized scenario through its…

Artificial Intelligence · Computer Science 2025-10-22 Stelios Triantafyllou , Aleksa Sukovic , Yasaman Zolfimoselo , Goran Radanovic

Instrumental variables allow for quantification of cause and effect relationships even in the absence of interventions. To achieve this, a number of causal assumptions must be met, the most important of which is the independence assumption,…

Machine Learning · Statistics 2021-11-05 Nikolai Miklin , Mariami Gachechiladze , George Moreno , Rafael Chaves