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 different types of negative introspection in autoepistemic reasoning present two different 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.

• Type: Conference
• Year: 1997
• Where: LPKR
• Authors: Li-Yan Yuan, Jia-Huai You, Randy Goebel
• Keywords: Autoepistemic Reasoning Semantics, Automated Reasoning, Disjunctive Logic Program, Logic Program Semantics, LPKR 1997