English
Related papers

Related papers: Causality and Responsibility for Formal Verificati…

200 papers

The concept of Probability of Causation (PC) is critically important in legal contexts and can help in many other domains. While it has been around since 1986, current operationalizations can obtain only the minimum and maximum values of…

Methodology · Statistics 2018-08-14 Tapajit Dey , Audris Mockus

Many methods of estimating causal models do not provide estimates of confidence in the resulting model. In this work, a metric is proposed for validating the output of a causal model fit; the robustness of the model structure with resampled…

In this abstract we propose a framework for explaining violations of safety properties in Software Defined Networks, using counterfactual causal reasoning.

Formal Languages and Automata Theory · Computer Science 2022-11-03 Georgiana Caltais , Can Olmezoglu

This paper shows the initial stages of development, from first principles, of a formal logic to characterise and then explore issues in a broadly defined idea of Veracity, which includes properties of demonstrability, truth, trust and…

Logic in Computer Science · Computer Science 2024-03-19 Steve Reeves

We discuss promising recent contributions on quantifying feature relevance using Shapley values, where we observed some confusion on which probability distribution is the right one for dropped features. We argue that the confusion is based…

Machine Learning · Statistics 2019-11-28 Dominik Janzing , Lenon Minorics , Patrick Blöbaum

Causal inference is at the heart of empirical research in natural and social sciences and is critical for scientific discovery and informed decision making. The gold standard in causal inference is performing randomized controlled trials;…

Databases · Computer Science 2020-04-09 Babak Salimi , Harsh Parikh , Moe Kayali , Sudeepa Roy , Lise Getoor , Dan Suciu

In general relativity, `causal structure' refers to the partial order on space-time points (or regions) that encodes time-like relationships. Recently, quantum information and quantum foundations saw the emergence of a `causality…

Quantum Physics · Physics 2017-08-16 Aleks Kissinger , Matty Hoban , Bob Coecke

To discover new drugs is to seek and to prove causality. As an emerging approach leveraging human knowledge and creativity, data, and machine intelligence, causal inference holds the promise of reducing cognitive bias and improving decision…

Quantitative Methods · Quantitative Biology 2025-04-09 Tom Michoel , Jitao David Zhang

Causal understanding is important in many disciplines of science and engineering, where we seek to understand how different factors in the system causally affect an experiment or situation and pave a pathway towards creating effective or…

Robotics · Computer Science 2025-05-14 Miguel Arana-Catania , Weisi Guo

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

The notion of causal effect is fundamental across many scientific disciplines. Traditionally, quantitative researchers have studied causal effects at the level of variables; for example, how a certain drug dose (W) causally affects a…

Methodology · Statistics 2026-04-07 Junhyung Park , Yuqing Zhou

Estimation of causal effects involves crucial assumptions about the data-generating process, such as directionality of effect, presence of instrumental variables or mediators, and whether all relevant confounders are observed. Violation of…

Machine Learning · Computer Science 2021-09-01 Amit Sharma , Vasilis Syrgkanis , Cheng Zhang , Emre Kıcıman

This paper analyzes the notion of causality in a conceptual model, mainly as applied in software engineering. Conceptual system modeling can be considered a three-level process that begins with building a static structural description to…

Software Engineering · Computer Science 2020-05-07 Sabah Al-Fedaghi

Context: Software Quality Assurance (SQA) is a fundamental part of software engineering to ensure stakeholders that software products work as expected after release in operation. Machine Learning (ML) has proven to be able to boost SQA…

Software Engineering · Computer Science 2024-10-29 Luca Giamattei , Antonio Guerriero , Roberto Pietrantuono , Stefano Russo

Causal questions often permeate in our day-to-day activities. With causal reasoning and counterfactual intuition, privacy threats can not only be alleviated but also prevented. In this paper, we discuss what is causal and counterfactual…

Cryptography and Security · Computer Science 2022-07-21 Rakshit Naidu , Navid Kagalwalla

In this essay I discuss potential outcome and graphical approaches to causality, and their relevance for empirical work in economics. I review some of the work on directed acyclic graphs, including the recent "The Book of Why," by Pearl and…

Methodology · Statistics 2020-03-24 Guido W. Imbens

We propose a decision theoretic framework that allows a decision maker to express its causal model of the world. We extend the model of Savage (1972) by allowing the decision maker (DM) to choose policy interventions prior to choosing acts…

Theoretical Economics · Economics 2024-07-23 Pablo Schenone

Modern Artificial Intelligence achieves remarkable predictive power by optimizing statistical risk functionals over vast corpora. Yet a gap separates this from genuine intelligence: the inability to distinguish correlation from causation.…

Machine Learning · Statistics 2026-05-26 Ernest Fokoué

Understanding the root cause of a defect is critical to isolating and repairing buggy behavior. We present Causal Testing, a new method of root-cause analysis that relies on the theory of counterfactual causality to identify a set of…

Software Engineering · Computer Science 2020-02-20 Brittany Johnson , Yuriy Brun , Alexandra Meliou

In prior work we have introduced an asymptotic threshold of sufficient randomness for causal inference from observational data. In this paper we extend that prior work in three main ways. First, we show how to empirically estimate a lower…

Methodology · Statistics 2023-09-07 Brian Knaeble , Braxton Osting , Placede Tshiaba