Actual causality in contextual abduction

Degoldie Sonny, Ari Saptawijaya, Raja Oktovin Parhasian Damanik

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Causality is an important part of science and our daily life, e.g., to determine responsibility in legal arguments and causal explanations for observations. This paper presents how actual causality can be modeled by contextual abduction in logic programming. We refer to causal model of Halpern and Pearl, and translate it into a causal abductive framework. Using this framework and by treating the given actual world as the context of abduction, actual causes are computed by abducing explanations consistent to that context. We provide a procedure for computing actual causes by means of contextual abduction in Prolog and experiment with examples from the literature. The result coincides with that computed by the clausal causal theory of Bochman.

Original languageEnglish
Title of host publication2020 International Conference on Advanced Computer Science and Information Systems, ICACSIS 2020
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages7-14
Number of pages8
ISBN (Electronic)9781728192796
DOIs
Publication statusPublished - 17 Oct 2020
Event12th International Conference on Advanced Computer Science and Information Systems, ICACSIS 2020 - Virtual, Depok, Indonesia
Duration: 17 Oct 202018 Oct 2020

Publication series

Name2020 International Conference on Advanced Computer Science and Information Systems, ICACSIS 2020

Conference

Conference12th International Conference on Advanced Computer Science and Information Systems, ICACSIS 2020
CountryIndonesia
CityVirtual, Depok
Period17/10/2018/10/20

Fingerprint Dive into the research topics of 'Actual causality in contextual abduction'. Together they form a unique fingerprint.

Cite this