Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract)

Yi-Dong Shen; Thomas Eiter

IJCAI 2020poster0 citations

Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract)

Abstract

[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.

Knowledge Representation and Reasoning: Knowledge Representation LanguagesKnowledge Representation and Reasoning: Non-monotonic Reasoning, Common-Sense ReasoningKnowledge Representation and Reasoning: Logics for Knowledge Representation

BibTeX

@inproceedings{ijcai2020p703,
  title     = {Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract)},
  author    = {Shen, Yi-Dong and Eiter, Thomas},
  booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
               Artificial Intelligence, {IJCAI-20}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {Christian Bessiere},
  pages     = {5040--5044},
  year      = {2020},
  month     = {7},
  note      = {Journal track},
  doi       = {10.24963/ijcai.2020/703},
  url       = {https://doi.org/10.24963/ijcai.2020/703},
}