Disjunctive Logic Programming and Autoepistemic Logic

. In this paper, we use autoepistemic reasoning semantics to classify various semantics for disjunctive logic programs with default negation. We have observed that two dierent types of negative introspection in autoepistemic reasoning present two dierent interpretations of default negation: consistency-based and minimal-model-based. We also observed that all logic program semantics fall into three semantical points of view: the skeptical, stable, and partial-stable. Based on these two observations, we classify disjunctive logic program semantics into six different categories, and discuss the relationships among various semantics. 1 Introduction Recently the study of theoretical foundations of disjunctive logic programs with default negation has attracted considerable attention. This is mainly because the additional expressive power of disjunctive logic programs signicantly simpli es the problem of modeling disjunctive statements of various nonmonotonic formalisms in the fr...