.Disjunctive Logic Programming and Possible Model Semantics.pdfVIP

Disjunctive Logic Programming and Possible Mo del Semantics LiYan Yuan JiaHuai You and Randy Go eb el Department of Computer Science University of Alb erta Edmonton Canada TG H fyuan you go eb el gcsualb ertaca Abstract We use Kripke structures of auto epistemic logic to classify various semantics for disjunctive logic programs with default negation We have observed that nonmonotonic reasoning can b e characterized by Kripke structures whose b eliefs are justied We also observed that two dierent typ es of negative introsp ection in auto epistemic reason ing present two dierent interpretations of default negation consistency based and minimalmo del based we further observed that all logic pro gram semantics fall into three semantical p oints of view the skeptical stable and partialstabl e Based on these observations we classify dis junctiv e logic program semantics into six dierent categories and discuss the relationships among various semantics Intro duction Recently the study of theoretical foundations of disjunctive logic programs with default negation has attracted considerable attention This is mainly b ecause the additional expressive p ower of disjunctive logic programs signi cantly simplies the problem of mo deling disjunctive statements of various non monotonic formalisms in the framework of logic programming and consequently facilitates the use of logic programming as an inference engine for nonmonotonic reasoning One of the ma jor challenges is how to dene a suitable semantics for various applications A semantics of logic programs is usually sp ecied by how default negation is justied