1 Search Results for "LeBlanc, Emily C."

Document
DOI: 10.4230/OASIcs.ICLP.2018.16
Explaining Actual Causation via Reasoning About Actions and Change

Authors: Emily C. LeBlanc

Published in: OASIcs, Volume 64, Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)

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.
Cite as

Emily C. LeBlanc. Explaining Actual Causation via Reasoning About Actions and Change. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018). Open Access Series in Informatics (OASIcs), Volume 64, pp. 16:1-16:11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)

Copy BibTex To Clipboard

@InProceedings{leblanc:OASIcs.ICLP.2018.16,
  author =	{LeBlanc, Emily C.},
  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 =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-090-3},
  ISSN =	{2190-6807},
  year =	{2018},
  volume =	{64},
  editor =	{Dal Palu', Alessandro and Tarau, Paul and Saeedloei, Neda and Fodor, Paul},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018.16},
  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}
}
  • Refine by Author
  • 1 LeBlanc, Emily C.

  • Refine by Classification
  • 1 Computing methodologies → Causal reasoning and diagnostics
  • 1 Computing methodologies → Knowledge representation and reasoning
  • 1 Computing methodologies → Temporal reasoning

  • Refine by Keyword
  • 1 Action Language
  • 1 Actual Cause
  • 1 Answer Set Programming
  • 1 Explanation
  • 1 Knowledge Representation and Reasoning
  • Show More...

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2018

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact