English
Related papers

Related papers: Axiomatizing Causal Reasoning

200 papers

This note illustrates how a variety of causal abstraction arXiv:1707.00819 arXiv:1812.03789, defined here as causal abstractive simulation, can be used to formalize a simple example of language model simulation. This note considers the case…

Artificial Intelligence · Computer Science 2025-09-03 Gabriel Simmons

Structural Equation Models (SEM) are the standard approach to representing causal dependencies between variables in causal models. In this paper we propose a new interpretation of SEMs when reasoning about Actual Causality, in which SEMs…

Artificial Intelligence · Computer Science 2025-12-23 Maksim Gladyshev , Natasha Alechina , Mehdi Dastani , Dragan Doder , Brian Logan

Basic results in combinatorial mathematics provide the foundation for a theory and calculus for reasoning about sequential behavior. A key concept of the theory is a generalization of Boolean implicant which deals with statements of the…

Logic in Computer Science · Computer Science 2007-05-23 Frederick Furtek

Shapley values, a game theoretic concept, has been one of the most popular tools for explaining Machine Learning (ML) models in recent years. Unfortunately, the two most common approaches, conditional and marginal, to calculating Shapley…

Computer Science and Game Theory · Computer Science 2024-09-11 Ilya Rozenfeld

In this work we propose a multi-valued extension of logic programs under the stable models semantics where each true atom in a model is associated with a set of justifications, in a similar spirit than a set of proof trees. The main…

Artificial Intelligence · Computer Science 2013-12-24 Pedro Cabalar , Jorge Fandinno

This the first of a series of articles dealing with abstract classification theory. The apparatus to assign systems of cardinal invariants to models of a first order theory (or determine its impossibility) is developed in [Sh:a]. It is…

Logic · Mathematics 2009-09-25 John T. Baldwin , Saharon Shelah

While argument mining has achieved significant success in classifying argumentative relations between statements (support, attack, and neutral), we have a limited computational understanding of logical mechanisms that constitute those…

Computation and Language · Computer Science 2021-05-18 Yohan Jo , Seojin Bang , Chris Reed , Eduard Hovy

This work presents a conceptual synthesis of causal discovery and inference frameworks, with a focus on how foundational assumptions -- causal sufficiency, causal faithfulness, and the causal Markov condition -- are formalized and…

Methodology · Statistics 2025-04-23 Hannah E. Correia

Causality plays an important role in understanding intelligent behavior, and there is a wealth of literature on mathematical models for causality, most of which is focused on causal graphs. Causal graphs are a powerful tool for a wide range…

Artificial Intelligence · Computer Science 2024-12-23 Scott Garrabrant , Matthias Georg Mayer , Magdalena Wache , Leon Lang , Sam Eisenstat , Holger Dell

Causal models are crucial for understanding complex systems and identifying causal relationships among variables. Even though causal models are extremely popular, conditional probability calculation of formulas involving interventions pose…

Artificial Intelligence · Computer Science 2024-05-24 Sainyam Galhotra , Joseph Y. Halpern

The use of a hypothetical generative model was been suggested for causal analysis of observational data. The very assumption of a particular model is a commitment to a certain set of variables and therefore to a certain set of possible…

Artificial Intelligence · Computer Science 2023-06-09 Nimrod Megiddo

Halpern and Pearl introduced a definition of actual causality; Eiter and Lukasiewicz showed that computing whether X=x is a cause of Y=y is NP-complete in binary models (where all variables can take on only two values) and\…

Artificial Intelligence · Computer Science 2014-12-10 Gadi Aleksandrowicz , Hana Chockler , Joseph Y. Halpern , Alexander Ivrii

Recent developments in the formalisation of quantum causal structures have made it possible to test and compare hypotheses about causal structure empirically, rather than being a-priori assumptions. Such differences in causal structure may…

Quantum Physics · Physics 2026-05-28 Declan Maguire , Fabio Costa

Language models learn and represent language differently than humans; they learn the form and not the meaning. Thus, to assess the success of language model explainability, we need to consider the impact of its divergence from a user's…

Computation and Language · Computer Science 2022-07-15 Rita Sevastjanova , Mennatallah El-Assady

In this dissertation we develop a new formal graphical framework for causal reasoning. Starting with a review of monoidal categories and their associated graphical languages, we then revisit probability theory from a categorical perspective…

Probability · Mathematics 2013-01-29 Brendan Fong

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

Given a causal model of some domain and a particular story that has taken place in this domain, the problem of actual causation is deciding which of the possible causes for some effect actually caused it. One of the most influential…

Artificial Intelligence · Computer Science 2011-07-26 Joost Vennekens

We address the problem of causal interpretation of the graphical structure of Bayesian belief networks (BBNs). We review the concept of causality explicated in the domain of structural equations models and show that it is applicable to…

Artificial Intelligence · Computer Science 2013-03-08 Marek J. Druzdzel , Herbert A. Simon

A recent method for causal discovery is in many cases able to infer whether X causes Y or Y causes X for just two observed variables X and Y. It is based on the observation that there exist (non-Gaussian) joint distributions P(X,Y) for…

Information Theory · Computer Science 2009-10-12 Dominik Janzing , Bastian Steudel

Causal reasoning is fundamental to human intelligence and crucial for effective decision-making in real-world environments. Despite recent advancements in large vision-language models (LVLMs), their ability to comprehend causality remains…

Computer Vision and Pattern Recognition · Computer Science 2024-06-28 Meiqi Chen , Bo Peng , Yan Zhang , Chaochao Lu
‹ Prev 1 8 9 10 Next ›