English
Related papers

Related papers: Causality and Decision-making: A Logical Framework…

200 papers

Causality plays an important role in daily processes, human reasoning, and artificial intelligence. There has however not been much research on causality in multi-agent strategic settings. In this work, we introduce a systematic way to…

Artificial Intelligence · Computer Science 2025-02-20 Sylvia S. Kerkhove , Natasha Alechina , Mehdi Dastani

The infrastructure upon which the functioning of society depends is composed of complex ecosystems of systems. Consequently, we must reason about the properties of such ecosystems, which requires that we construct models of them. There are…

Logic in Computer Science · Computer Science 2024-11-15 Didier Galmiche , Timo Lang , David Pym

This paper is directed towards combining Pearl's structural-model approach to causal reasoning with high-level formalisms for reasoning about actions. More precisely, we present a combination of Pearl's structural-model approach with…

Artificial Intelligence · Computer Science 2012-12-12 Alberto Finzi , Thomas Lukasiewicz

Thinking in terms of causality helps us structure how different parts of a system depend on each other, and how interventions on one part of a system may result in changes to other parts. Therefore, formal models of causality are an…

Artificial Intelligence · Computer Science 2021-04-05 Matvey Soloviev , Joseph Y. Halpern

Causal and counterfactual reasoning are emerging directions in data science that allow us to reason about hypothetical scenarios. This is particularly useful in fields like environmental and ecological sciences, where interventional data…

Artificial Intelligence · Computer Science 2024-12-06 Rafael Cabañas , Ana D. Maldonado , María Morales , Pedro A. Aguilera , Antonio Salmerón

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

In this paper we introduce a notion of counterfactual causality in the Halpern and Pearl sense that is compositional with respect to the interleaving of transition systems. The formal framework for reasoning on what caused the violation of…

Logic in Computer Science · Computer Science 2016-08-30 Georgiana Caltais , Stefan Leue , Mohammad Reza Mousavi

Ensuring safe operation of safety-critical complex systems interacting with their environment poses significant challenges, particularly when the system's world model relies on machine learning algorithms to process the perception input. A…

Robotics · Computer Science 2025-05-27 Roman Gansch , Lina Putze , Tjark Koopmann , Jan Reich , Christian Neurohr

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

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

Perhaps the most prominent current definition of (actual) causality is due to Halpern and Pearl. It is defined using causal models (also known as structural equations models). We abstract the definition, extracting its key features, so that…

Artificial Intelligence · Computer Science 2025-11-27 Joseph Y. Halpern , Rafael Pass

Causality is the relationship where one event contributes to the production of another, with the cause being partly responsible for the effect and the effect partly dependent on the cause. In this paper, we propose a novel and effective…

Logic in Computer Science · Computer Science 2024-09-04 Arshia Rafieioskouei , Borzoo Bonakdarpour

With recent advances in natural language processing, rationalization becomes an essential self-explaining diagram to disentangle the black box by selecting a subset of input texts to account for the major variation in prediction. Yet,…

Machine Learning · Computer Science 2023-09-12 Wenbo Zhang , Tong Wu , Yunlong Wang , Yong Cai , Hengrui Cai

To make effective decisions, it is important to have a thorough understanding of the causal relationships among actions, environments, and outcomes. This review aims to surface three crucial aspects of decision-making through a causal lens:…

Machine Learning · Statistics 2026-04-22 Lin Ge , Hengrui Cai , Runzhe Wan , Yang Xu , Rui Song

We introduce a novel framework for causal explanations of stochastic, sequential decision-making systems built on the well-studied structural causal model paradigm for causal reasoning. This single framework can identify multiple,…

Artificial Intelligence · Computer Science 2023-01-12 Samer B. Nashed , Saaduddin Mahmud , Claudia V. Goldman , Shlomo Zilberstein

In view of the growing complexity of modern software architectures, formal models are increasingly used to understand why a system works the way it does, opposed to simply verifying that it behaves as intended. This paper surveys approaches…

Logic in Computer Science · Computer Science 2021-05-21 Christel Baier , Clemens Dubslaff , Florian Funke , Simon Jantsch , Rupak Majumdar , Jakob Piribauer , Robin Ziemek

Causal Models are increasingly suggested as a means to reason about the behavior of cyber-physical systems in socio-technical contexts. They allow us to analyze courses of events and reason about possible alternatives. Until now, however,…

Artificial Intelligence · Computer Science 2019-11-13 Severin Kacianka , Amjad Ibrahim , Alexander Pretschner , Alexander Trende , Andreas Lüdtke

Causality has been the issue of philosophic debate since Hippocrates. It is used in formal verification and testing, e.g., to explain counterexamples or construct fault trees. Recent work defines actual causation in terms of Pearl's…

Logic in Computer Science · Computer Science 2019-11-01 Robert Künnemann , Deepak Garg , Michael Backes

Causal reasoning is a cornerstone of human intelligence and a critical capability for artificial systems aiming to achieve advanced understanding and decision-making. This thesis delves into various dimensions of causal reasoning and…

Computation and Language · Computer Science 2025-04-22 Zhijing Jin

Emergence and causality are two fundamental concepts for understanding complex systems. They are interconnected. On one hand, emergence refers to the phenomenon where macroscopic properties cannot be solely attributed to the cause of…

Physics and Society · Physics 2024-02-27 Bing Yuan , Zhang Jiang , Aobo Lyu , Jiayun Wu , Zhipeng Wang , Mingzhe Yang , Kaiwei Liu , Muyun Mou , Peng Cui
‹ Prev 1 2 3 10 Next ›