Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract)

Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract)

Yi-Dong Shen, Thomas Eiter

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence
Journal track. Pages 5040-5044. https://doi.org/10.24963/ijcai.2020/703

[Gelfond and Lifschitz, 1991] introduced simple disjunctive logic programs and defined the answer set semantics called GL-semantics. We observed that the requirement of GL-semantics, i.e., an answer set should be a minimal model of the GL-reduct may be too strong and exclude some answer sets that would be reasonably acceptable. To address this, we present a novel and more permissive semantics, called determining inference semantics.
Keywords:
Knowledge Representation and Reasoning: Knowledge Representation Languages
Knowledge Representation and Reasoning: Non-monotonic Reasoning, Common-Sense Reasoning
Knowledge Representation and Reasoning: Logics for Knowledge Representation