License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.ICLP.2018.16
URN: urn:nbn:de:0030-drops-98827
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2018/9882/
LeBlanc, Emily C.
Explaining Actual Causation via Reasoning About Actions and Change
Abstract
In causality, an actual cause is often defined as an event responsible for bringing about a given outcome in a scenario. In practice, however, identifying this event alone is not always sufficient to provide a satisfactory explanation of how the outcome came to be. In this paper, we motivate this claim using well-known examples and present a novel framework for reasoning more deeply about actual causation. The framework reasons over a scenario and domain knowledge to identify additional events that helped to "set the stage" for the outcome. By leveraging techniques from Reasoning about Actions and Change, the approach supports reasoning over domains in which the evolution of the state of the world over time plays a critical role and enables one to identify and explain the circumstances that led to an outcome of interest. We utilize action language AL for defining the constructs of the framework. This language lends itself quite naturally to an automated translation to Answer Set Programming, using which, reasoning tasks of considerable complexity can be specified and executed. We speculate that a similar approach can also lead to the development of algorithms for our framework.
BibTeX - Entry
@InProceedings{leblanc:OASIcs:2018:9882,
author = {Emily C. LeBlanc},
title = {{Explaining Actual Causation via Reasoning About Actions and Change}},
booktitle = {Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)},
pages = {16:1--16:11},
series = {OpenAccess Series in Informatics (OASIcs)},
ISBN = {978-3-95977-090-3},
ISSN = {2190-6807},
year = {2018},
volume = {64},
editor = {Alessandro Dal Palu' and Paul Tarau and Neda Saeedloei and Paul Fodor},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2018/9882},
URN = {urn:nbn:de:0030-drops-98827},
doi = {10.4230/OASIcs.ICLP.2018.16},
annote = {Keywords: Actual Cause, Explanation, Reasoning about Actions and Change, Action Language, Answer Set Programming, Knowledge Representation and Reasoning}
}
Keywords: |
|
Actual Cause, Explanation, Reasoning about Actions and Change, Action Language, Answer Set Programming, Knowledge Representation and Reasoning |
Collection: |
|
Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018) |
Issue Date: |
|
2018 |
Date of publication: |
|
19.11.2018 |