English
Related papers

Related papers: Causality and Responsibility for Formal Verificati…

200 papers

Reinforcement learning is an essential paradigm for solving sequential decision problems under uncertainty. Despite many remarkable achievements in recent decades, applying reinforcement learning methods in the real world remains…

Machine Learning · Computer Science 2023-11-22 Zhihong Deng , Jing Jiang , Guodong Long , Chengqi Zhang

Knowledge of the underlying causal relations is essential for inferring the effect of interventions in complex systems. In a widely studied approach, structural causal models postulate noisy functional relations among interacting variables,…

Methodology · Statistics 2024-06-21 David Strieder , Mathias Drton

In recent years, there has been increasing interest in causal reasoning for designing fair decision-making systems due to its compatibility with legal frameworks, interpretability for human stakeholders, and robustness to spurious…

Machine Learning · Computer Science 2022-10-27 Aida Rahmattalabi , Alice Xiang

Causality is receiving increasing attention in the Recommendation Systems (RSs) community, which has realised that RSs could greatly benefit from causality to transform accurate predictions into effective and explainable decisions. Indeed,…

Information Retrieval · Computer Science 2024-10-04 Emanuele Cavenaghi , Alessio Zanga , Fabio Stella , Markus Zanker

Deep Learning models have shown success in a large variety of tasks by extracting correlation patterns from high-dimensional data but still struggle when generalizing out of their initial distribution. As causal engines aim to learn…

Machine Learning · Computer Science 2024-01-02 Gaël Gendron , Michael Witbrock , Gillian Dobbie

Causal probing aims to analyze foundation models by examining how intervening on their representation of various latent properties impacts their outputs. Recent works have cast doubt on the theoretical basis of several leading causal…

Machine Learning · Computer Science 2025-12-23 Marc Canby , Adam Davies , Chirag Rastogi , Julia Hockenmaier

Most traditional models of uncertainty have focused on the associational relationship among variables as captured by conditional dependence. In order to successfully manage intelligent systems for decision making, however, we must be able…

Artificial Intelligence · Computer Science 2015-05-19 David Heckerman , Ross D. Shachter

Possibilistic logic has been proposed as a numerical formalism for reasoning with uncertainty. There has been interest in developing qualitative accounts of possibility, as well as an explanation of the relationship between possibility and…

Artificial Intelligence · Computer Science 2013-03-25 Craig Boutilier

As Artificial Intelligence (AI) increasingly influences decisions in critical societal sectors, understanding and establishing causality becomes essential for evaluating the fairness of automated systems. This article explores the…

Machine Learning · Computer Science 2025-03-20 Ruta Binkyte , Ljupcho Grozdanovski , Sami Zhioua

In this paper we provide a notion of causality for the violation of general Linear Temporal Logic (LTL) properties. The current work is a natural extension of the previously proposed approach handling causality in the context of…

Formal Languages and Automata Theory · Computer Science 2019-01-04 Georgiana Caltais , Sophie Linnea Guetlein , Stefan Leue

We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. We choose as an example a formalism aiming at capturing causal explanations from causal information. We provide an…

Artificial Intelligence · Computer Science 2010-12-06 Yves Moinard

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

Identifying and communicating relationships between causes and effects is important for understanding our world, but is affected by language structure, cognitive and emotional biases, and the properties of the communication medium. Despite…

Computers and Society · Computer Science 2017-02-21 Thomas C. McAndrew , Joshua C. Bongard , Christopher M. Danforth , Peter S. Dodds , Paul D. H. Hines , James P. Bagrow

Given two time series, can one tell, in a rigorous and quantitative way, the cause and effect between them? Based on a recently rigorized physical notion namely information flow, we arrive at a concise formula and give this challenging…

Methodology · Statistics 2014-03-27 X. San Liang

Inference of causal relations from data now has become an important field in artificial intelligence. During the past 16 years, causality analysis (in a quantitative sense) has been developed independently in physics from first principles.…

Systems and Control · Electrical Eng. & Systems 2022-01-03 X. San Liang

Causality is vital for understanding true cause-and-effect relationships between variables within predictive models, rather than relying on mere correlations, making it highly relevant in the field of Explainable AI. In an automated…

Machine Learning · Computer Science 2024-08-28 Arturo Fredes , Jordi Vitria

Beneficial to advanced computing devices, models with massive parameters are increasingly employed to extract more information to enhance the precision in describing and predicting the patterns of objective systems. This phenomenon is…

Information Theory · Computer Science 2024-03-08 Liye Jia , Fengyufan Yang , Ka Lok Man , Erick Purwanto , Sheng-Uei Guan , Jeremy Smith , Yutao Yue

With the rise of Large Language Models(LLMs), it has become crucial to understand their capabilities and limitations in deciphering and explaining the complex web of causal relationships that language entails. Current methods use either…

From simulating galaxy formation to viral transmission in a pandemic, scientific models play a pivotal role in developing scientific theories and supporting government policy decisions that affect us all. Given these critical applications,…

Software Engineering · Computer Science 2023-07-03 Andrew G. Clark , Michael Foster , Benedikt Prifling , Neil Walkinshaw , Robert M. Hierons , Volker Schmidt , Robert D. Turner

As probabilistic systems gain popularity and are coming into wider use, the need for a mechanism that explains the system's findings and recommendations becomes more critical. The system will also need a mechanism for ordering competing…

Artificial Intelligence · Computer Science 2013-02-08 Urszula Chajewska , Joseph Y. Halpern