FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Explaining Actual Causation via Reasoning about Actions and Change

Author: Emily Leblanc

Paper Information

Title:Explaining Actual Causation via Reasoning about Actions and Change
Authors:Emily Leblanc
Proceedings:ICLP-DC ICLP'18 DC Proceedings
Editor: Paul Tarau
Keywords:Actual Cause, Explanation, Reasoning about Actions and Change, Action Language, Answer Set Programming, Knowledge Representation and Reasoning
Abstract:

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 proposed 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 $\mathcal{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.

Pages:10
Talk:Jul 18 09:30 (Session 124D)
Paper: