Causal Graph Justifications of Logic Programs

09/25/2014
by   Pedro Cabalar, et al.
0

In this work we propose a multi-valued extension of logic programs under the stable models semantics where each true atom in a model is associated with a set of justifications. These justifications are expressed in terms of causal graphs formed by rule labels and edges that represent their application ordering. For positive programs, we show that the causal justifications obtained for a given atom have a direct correspon- dence to (relevant) syntactic proofs of that atom using the program rules involved in the graphs. The most interesting contribution is that this causal information is obtained in a purely semantic way, by algebraic op- erations (product, sum and application) on a lattice of causal values whose ordering relation expresses when a justification is stronger than another. Finally, for programs with negation, we define the concept of causal stable model by introducing an analogous transformation to Gelfond and Lifschitz's program reduct. As a result, default negation behaves as "absence of proof" and no justification is derived from negative liter

READ FULL TEXT

page 1

page 2

page 3

page 4

12/20/2013

An Algebra of Causal Chains

In this work we propose a multi-valued extension of logic programs under...
02/22/2016

Enablers and Inhibitors in Causal Justifications of Logic Programs

To appear in Theory and Practice of Logic Programming (TPLP). In this pa...
08/31/2011

Every Formula-Based Logic Program Has a Least Infinite-Valued Model

Every definite logic program has as its meaning a least Herbrand model w...
04/30/2009

Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms

This paper studies the stable model semantics of logic programs with (ab...
02/21/2014

Characterizing and computing stable models of logic programs: The non-stratified case

Stable Logic Programming (SLP) is an emergent, alternative style of logi...
04/10/2009

CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming

This papers develops a logical language for representing probabilistic c...
04/27/2014

On Strong and Default Negation in Logic Program Updates (Extended Version)

Existing semantics for answer-set program updates fall into two categori...