Sciweavers

LPNMR
2007
Springer

A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation

13 years 9 months ago
A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation
Abstract. We present a purely model-theoretic semantics for disjunctive logic programs with negation, building on the infinite-valued approach recently introduced for normal logic programs [9]. In particular, we show that every disjunctive logic program with negation has a nonempty set of minimal infinite-valued models. Moreover, we show that the infinite-valued semantics can be equivalently defined using Kripke models, allowing us to prove some properties of the new semantics more concisely. In particular, for programs without negation, the new approach collapses to the usual minimal model semantics, and when restricted to normal logic programs, it collapses to the well-founded semantics. Lastly, we show that every (propositional) program has a finite set of minimal infinite-valued models which can be identified by restricting attention to a finite subset of the truth values of the underlying logic.
Pedro Cabalar, David Pearce, Panos Rondogiannis, W
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where LPNMR
Authors Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge
Comments (0)