In many cases a logic program can be divided into two parts so that one of them the bottom part does not refer to the predicates de ned in the top part The bottom rules can be used then for the evaluation of the predicates that they de ne and the computed values can be used to sim plify the top de nitions We discuss this idea of splitting a program in the context of the answer set semantics The main theorem shows how com puting the answer sets for a program can be simpli ed when the program is split into parts The programs covered by the theorem may use both nega tion as failure and classical negation and their rules may have disjunctive heads The usefulness of the concept of splitting for the investigation of answer sets is illustrated by several applications First we show that a con servative extension theorem by Gelfond and Przymusinska and a theorem on the closed world assumption by Gelfond and Lifschitz are easy consequences of the splitting theorem Second locally strati ed programs are shown to have a simple characterization in terms of splitting The existence and uniqueness of an answer set for such a program can be easily derived from this characterization Third we relate the idea of splitting to the notion of order consistency
[1]
Teodor C. Przymusinski,et al.
Weakly Perfect Model Semantics for Logic Programs
,
1988,
ICLP/SLP.
[2]
Teodor C. Przymusinski.
On the Declarative Semantics of Deductive Databases and Logic Programs
,
1988,
Foundations of Deductive Databases and Logic Programming..
[3]
Kenneth Kunen,et al.
Signed Data Dependencies in Logic Programs
,
1989,
J. Log. Program..
[4]
Adrian Walker,et al.
Towards a Theory of Declarative Knowledge
,
1988,
Foundations of Deductive Databases and Logic Programming..
[5]
François Fages,et al.
Consistency of Clark's completion and existence of stable models
,
1992,
Methods Log. Comput. Sci..
[6]
Jürgen Dix,et al.
Classifying Semantics of Disjunctive Logic Programs
,
1992,
JICSLP.
[7]
Hudson Turner,et al.
Language Independence and Language Tolerance in Logic Programs
,
1994,
ICLP.
[8]
Taisuke Sato,et al.
Completed Logic Programs and their Consistency
,
1990,
J. Log. Program..