Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract)

IJCAI 2020 pp. 5040-5044

doi:10.24963/IJCAI.2020/703 /ijcai/2020/shen2020ijcai-determining/

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.

PDF IJCAI Semantic Scholar

Cite

Text

Shen and Eiter. "Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2020. doi:10.24963/IJCAI.2020/703

Markdown

[Shen and Eiter. "Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2020.](https://mlanthology.org/ijcai/2020/shen2020ijcai-determining/) doi:10.24963/IJCAI.2020/703

BibTeX

@inproceedings{shen2020ijcai-determining,
  title     = {{Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract)}},
  author    = {Shen, Yi-Dong and Eiter, Thomas},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2020},
  pages     = {5040-5044},
  doi       = {10.24963/IJCAI.2020/703},
  url       = {https://mlanthology.org/ijcai/2020/shen2020ijcai-determining/}
}