Disjunctive Logic Programming and Possible Model Semantics

. We use Kripke structures of autoepistemic logic to classify various semantics for disjunctive logic programs with default negation. We have observed that nonmonotonic reasoning can be characterized by Kripke structures whose beliefs are justified. We also observed that two different types of negative introspection in autoepistemic reasoning present two different interpretations of default negation: consistencybased and minimal-model-based; we further observed that all logic program semantics fall into three semantical points of view: the skeptical, stable, and partial-stable. Based on these 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 [3, 15, 17]. This is mainly because the additional expressive power of disjunctive logic programs sig...