Sciweavers

Share
ASP
2003
Springer

Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation

9 years 1 months ago
Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can be expressed. However, from a semantical point of view, disjunction is often not really needed, in that an equivalent program without disjunction can be given. We thus consider the question, given a disjunctive logic program £ , does there exist an equivalent normal (i.e., disjunction-free) logic program £¥¤ ? In fact, we consider this issue for different notions of equivalence, namely for ordinary equivalence (regarding the collections of all stable models of the programs) as well as for the more restrictive notions of strong and uniform equivalence. We resolve the issue for propositional programs, and present a simple, appealing semantic criterion for the programs from which all disjunctions can be eliminated under strong equivalence; testing this criterion is coNP-complete. We also show that under ord...
Thomas Eiter, Michael Fink, Hans Tompits, Stefan W
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where ASP
Authors Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
Comments (0)
books