Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach
This paper presents a rich knowledge representation language aimed at formalizing causal knowledge. This language is used for accurately and directly formalizing common benchmark examples from the literature of actual causality. A definition of cause is presented and used to analyze the actual causes of changes with respect to sequences of actions representing those examples.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Event Causality Recognition Exploiting Multiple Annotators' Judgments and Background Knowledge
We propose new BERT-based methods for recognizing event causality such as {``}smoke cigarettes{''} {--}{\textgreater} {``}die of lung cancer{''} written in web texts. In our methods, we grasp each annotator{'}s policy by…
ArticlesAnswering Causal Queries at Layer 3 with DiscoSCMs-Embracing Heterogeneity
In the realm of causal inference, Potential Outcomes (PO) and Structural Causal Models (SCM) are recognized as the principal frameworks.However, when it comes to Layer 3 valuations -- counterfactual queries deeply entwin…
Causal InferencecounterfactualCounterfactual InferencePhilosophyCausal Kripke Models
This work extends Halpern and Pearl's causal models for actual causality to a possible world semantics environment. Using this framework we introduce a logic of actual causality with modal operators, which allows for rea…
Causal Repair of Learning-enabled Cyber-physical Systems
Models of actual causality leverage domain knowledge to generate convincing diagnoses of events that caused an outcome. It is promising to apply these models to diagnose and repair run-time property violations in cyber-p…
counterfactualDiagnosticOpenAI GymCounterfactual Causality from First Principles?
In this position paper we discuss three main shortcomings of existing approaches to counterfactual causality from the computer science perspective, and sketch lines of work to try and overcome these issues: (1) causality…
counterfactualPosition