English
Related papers

Related papers: Team semantics for interventionist counterfactuals…

200 papers

We introduce an extension of team semantics which provides a framework for the logic of manipulationist theories of causation based on structural equation models, such as Woodward's and Pearl's; our causal teams incorporate (partial or…

Logic in Computer Science · Computer Science 2019-01-04 Fausto Barbero , Gabriel Sandu

In [4], we introduced an extension of team semantics (causal teams) which assigns an interpretation to interventionist counterfactuals and causal notions based on them (as e.g. in Pearl's and Woodward's manipulationist approaches to…

Logic in Computer Science · Computer Science 2023-05-23 Fausto Barbero , Gabriel Sandu

We analyze the causal-observational languages that were introduced in Barbero and Sandu (2018), which allow discussing interventionist counterfactuals and functional dependencies in a unified framework. In particular, we systematically…

Logic · Mathematics 2022-01-24 Fausto Barbero , Fan Yang

We analyze the causal-observational languages that were introduced in Barbero and Sandu (2018), which allow discussing interventionist counterfactuals and functional dependencies in a unified framework. In particular, we systematically…

Logic · Mathematics 2020-04-03 Fausto Barbero , Fan Yang

Causal multiteam semantics is a framework where probabilistic dependencies arising from data and causation between variables can be together formalized and studied logically. We consider several logics in the setting of causal multiteam…

Logic in Computer Science · Computer Science 2023-03-22 Fausto Barbero , Jonni Virtema

We introduce a formalism for the evaluation of counterfactual queries in the framework of quantum causal models, generalising Pearl's semantics for counterfactuals in classical causal models, thus completing the last rung in the quantum…

Quantum Physics · Physics 2024-09-18 Ardra Kooderi Suresh , Markus Frembs , Eric G. Cavalcanti

We investigate the generalization of causal models to the case of indeterministic causal laws that was suggested in Halpern (2000). We give an overview of what differences in modeling are enforced by this more general perspective, and…

Logic in Computer Science · Computer Science 2024-04-16 Fausto Barbero

We present a computationally grounded semantics for counterfactual conditionals in which i) the state in a model is decomposed into two elements: a propositional valuation and a causal base in propositional form that represents the causal…

Logic in Computer Science · Computer Science 2025-05-21 Carlos Aguilera-Ventura , Xinghan Liu , Emiliano Lorini , Dmitry Rozplokhas

Causal multiteam semantics is a framework where probabilistic notions and causal inference can be studied in a unified setting. We study a logic (PCO) that features marginal probabilities and interventionist counterfactuals, and allows…

Logic in Computer Science · Computer Science 2023-04-07 Fausto Barbero , Jonni Virtema

I develop a novel semantics for probabilities of counterfactuals that generalizes the standard Pearlian semantics: it applies to probabilistic causal models that cannot be extended into realistic structural causal models and are therefore…

Artificial Intelligence · Computer Science 2025-12-16 Sander Beckers

Counterfactual reasoning allows us to explore hypothetical scenarios in order to explain the impacts of our decisions. However, addressing such inquires is impossible without establishing the appropriate mathematical framework. In this…

Machine Learning · Computer Science 2025-06-25 Kurt Butler , Marija Iloska , Petar M. Djuric

Causal reasoning and game-theoretic reasoning are fundamental topics in artificial intelligence, among many other disciplines: this paper is concerned with their intersection. Despite their importance, a formal framework that supports both…

Artificial Intelligence · Computer Science 2023-04-18 Lewis Hammond , James Fox , Tom Everitt , Ryan Carey , Alessandro Abate , Michael Wooldridge

I generalize acyclic deterministic structural causal models to the nondeterministic case and argue that this offers an improved semantics for counterfactuals. The standard, deterministic, semantics developed by Halpern (and based on the…

Artificial Intelligence · Computer Science 2025-03-12 Sander Beckers

We show that it is possible to understand and identify a decision maker's subjective causal judgements by observing her preferences over interventions. Following Pearl [2000], we represent causality using causal models (also called…

Theoretical Economics · Economics 2024-01-23 Joseph Y. Halpern , Evan Piermont

Team semantics is a semantical framework for the study of dependence and independence concepts ubiquitous in many areas such as databases and statistics. In recent works team semantics has been generalised to accommodate also multisets and…

Logic in Computer Science · Computer Science 2018-03-07 Arnaud Durand , Miika Hannula , Juha Kontinen , Arne Meier , Jonni Virtema

Counterfactual reasoning aims at answering contrary-to-fact questions like ``Would have Alice recovered had she taken aspirin?'' and corresponds to the most fine-grained layer of causation. Critically, while many counterfactual statements…

Artificial Intelligence · Computer Science 2025-09-23 Lucas de Lara

Structural causal models are the basic modelling unit in Pearl's causal theory; in principle they allow us to solve counterfactuals, which are at the top rung of the ladder of causation. But they often contain latent variables that limit…

Artificial Intelligence · Computer Science 2021-11-23 Marco Zaffalon , Alessandro Antonucci , Rafael Cabañas

Interventions are of fundamental importance in Pearl's probabilistic causality regime. In this paper, we will inspect how interventions influence the interpretation of causation in causal models in specific situation. To this end, we will…

Artificial Intelligence · Computer Science 2020-03-27 Mehrzad Saremi

In (Beckers, 2025) I introduced nondeterministic causal models as a generalization of Pearl's standard deterministic causal models. I here take advantage of the increased expressivity offered by these models to offer a novel definition of…

Artificial Intelligence · Computer Science 2025-03-12 Sander Beckers

We study probabilistic team semantics which is a semantical framework allowing the study of logical and probabilistic dependencies simultaneously. We examine and classify the expressive power of logical formalisms arising by different…

Logic in Computer Science · Computer Science 2019-02-26 Miika Hannula , Åsa Hirvonen , Juha Kontinen , Vadim Kulikov , Jonni Virtema
‹ Prev 1 2 3 10 Next ›