Towards Deriving Conclusions from Cause-effect Relations
Jorge Fandinno Β· Fundamenta Informaticae Β· 2016
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 ai m, 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.