English
Related papers

Related papers: Proceedings First Workshop on Causal Reasoning for…

200 papers

The second international CREST workshop continued the focus of the first CREST workshop: addressing approaches to causal reasoning in engineering complex embedded and safety-critical systems. Relevant approaches to causal reasoning have…

Logic in Computer Science · Computer Science 2017-10-10 Alex Groce , Stefan Leue

The CREST 2018 workshop is the third in a series of workshops addressing formal approaches to reasoning about causation in systems engineering. The topic of formally identifying the cause(s) of specific events - usually some form of…

Logic in Computer Science · Computer Science 2019-01-03 Bernd Finkbeiner , Samantha Kleinberg

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

Causal reasoning is essential for understanding decision-making about the behaviour of complex `ecosystems' of systems that underpin modern society, with security -- including issues around correctness, safety, resilience, etc. -- typically…

Logic in Computer Science · Computer Science 2025-08-05 Pinaki Chakraborty , Tristan Caulfield , David Pym

Causal inference is a study of causal relationships between events and the statistical study of inferring these relationships through interventions and other statistical techniques. Causal reasoning is any line of work toward determining…

Software Engineering · Computer Science 2023-04-03 Patrick Chadbourne , Nasir Eisty

We present CREST, an approach for causal reasoning in simulation to learn the relevant state space for a robot manipulation policy. Our approach conducts interventions using internal models, which are simulations with approximate dynamics…

Robotics · Computer Science 2022-03-15 Tabitha Edith Lee , Jialiang Zhao , Amrita S. Sawhney , Siddharth Girdhar , Oliver Kroemer

The verification and validation of automated driving systems at SAE levels 4 and 5 is a multi-faceted challenge for which classical statistical considerations become infeasible. For this, contemporary approaches suggest a decomposition into…

Artificial Intelligence · Computer Science 2022-10-28 Tjark Koopmann , Christian Neurohr , Lina Putze , Lukas Westhofen , Roman Gansch , Ahmad Adee

Causal reasoning is the main learning and explanation tool used by humans. AI systems should possess causal reasoning capabilities to be deployed in the real world with trust and reliability. Introducing the ideas of causality to machine…

Machine Learning · Computer Science 2021-06-11 Abbavaram Gowtham Reddy

The theory of actual causality, defined by Halpern and Pearl, and its quantitative measure - the degree of responsibility - was shown to be extremely useful in various areas of computer science due to a good match between the results it…

Software Engineering · Computer Science 2016-08-30 Hana Chockler

Entities and events are crucial to natural language reasoning and common in procedural texts. Existing work has focused either exclusively on entity state tracking (e.g., whether a pan is hot) or on event reasoning (e.g., whether one would…

Computation and Language · Computer Science 2023-02-17 Li Zhang , Hainiu Xu , Yue Yang , Shuyan Zhou , Weiqiu You , Manni Arora , Chris Callison-Burch

Causal reasoning and compositional reasoning are two core aspirations in AI. Measuring the extent of these behaviors requires principled evaluation methods. We explore a unified perspective that considers both behaviors simultaneously,…

Computation and Language · Computer Science 2025-06-11 Jacqueline R. M. A. Maasch , Alihan Hüyük , Xinnuo Xu , Aditya V. Nori , Javier Gonzalez

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

Understanding causality is key to the success of NLP applications, especially in high-stakes domains. Causality comes in various perspectives such as enable and prevent that, despite their importance, have been largely ignored in the…

Computation and Language · Computer Science 2022-04-18 Linyi Yang , Zhen Wang , Yuxiang Wu , Jie Yang , Yue Zhang

Causality has become a fundamental approach for explaining the relationships between events, phenomena, and outcomes in various fields of study. It has invaded various fields and applications, such as medicine, healthcare, economics,…

Artificial Intelligence · Computer Science 2024-03-19 Abraham Itzhak Weinberg , Cristiano Premebida , Diego Resende Faria

As a key component to intuitive cognition and reasoning solutions in human intelligence, causal knowledge provides great potential for reinforcement learning (RL) agents' interpretability towards decision-making by helping reduce the…

Machine Learning · Computer Science 2025-04-25 Ruichu Cai , Siyang Huang , Jie Qiao , Wei Chen , Yan Zeng , Keli Zhang , Fuchun Sun , Yang Yu , Zhifeng Hao

We present a comprehensive language theoretic causality analysis framework for explaining safety property violations in the setting of concurrent reactive systems. Our framework allows us to uniformly express a number of causality notions…

Formal Languages and Automata Theory · Computer Science 2019-01-04 Rayna Dimitrova , Rupak Majumdar , Vinayak S. Prabhu

On-the-fly reasoning often requires adaptation to novel problems under limited data and distribution shift. This work introduces CausalARC: an experimental testbed for AI reasoning in low-data and out-of-distribution regimes, modeled after…

Artificial Intelligence · Computer Science 2026-03-20 Jacqueline Maasch , John Kalantari , Kia Khezeli

Current models for event causality identification (ECI) mainly adopt a supervised framework, which heavily rely on labeled data for training. Unfortunately, the scale of current annotated datasets is relatively limited, which cannot provide…

Computation and Language · Computer Science 2021-06-04 Xinyu Zuo , Pengfei Cao , Yubo Chen , Kang Liu , Jun Zhao , Weihua Peng , Yuguang Chen

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

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
‹ Prev 1 2 3 10 Next ›