Towards Deriving Conclusions from Cause-effect Relations

Issue title: Eighth ASPOCP International Workshop on “Answer Set Programming and Other Computing Paradigms”

Guest editors: Daniela Inclezan, Marco Maratea and Victor Marek

Article type: Research Article

Authors: Fandinno, Jorge^*

Affiliations: Department of Computer Science, University of Corunna, Spain. jorge.fandino@udc.es

Correspondence: [*] Address for correspondence: Department of Computer Science, University of Corunna, Spain

Abstract: In this work we propose an extension of logic programming, under the stable model semantics, and the action language ℬ𝒞 where rule bodies and causal laws may contain a new kind of literal, that we call causal literal, that allows us to inspect the causal justifications of standard atoms. To this aim, we extend a recently proposed semantics where each atom belonging to a stable model is associated with a justification in the form of an algebraic expression (which corresponds to a logical proof built with rule labels). In particular, we use causal literals for evaluating and deriving new conclusions from statements like “A has been sufficient to cause B.” We also use the proposed semantics to extend the action language ℬ𝒞 with causal literals and, by some examples, show how this action language is useful for expressing a high level representation of some typical Knowledge Representation examples involving causal knowledge.

DOI: 10.3233/FI-2016-1399

Journal: Fundamenta Informaticae, vol. 147, no. 1, pp. 93-131, 2016