Skip to Main content Skip to Navigation
Conference papers

Splitting Epistemic Logic Programs

Abstract : Epistemic logic programs constitute an extension of the stable models semantics to deal with new constructs called subjective literals. Informally speaking, a subjective literal allows checking whether some regular literal is true in all or some stable models. As it can be imagined, the associated semantics has proved to be non-trivial, as the truth of subjective literals may interfere with the set of stable models it is supposed to query. As a consequence, no clear agreement has been reached and different semantic proposals have been made in the literature. Unfortunately, comparison among these proposals has been limited to a study of their effect on individual examples, rather than identifying general properties to be checked. In this paper, we propose an extension of the well-known splitting property for logic programs to the epistemic case. We formally define when an arbitrary semantics satisfies the epistemic splitting property and examine some of the consequences that can be derived from that, including its relation to conformant planning and to epistemic constraints. Interestingly, we prove (through counterexamples) that most of the existing proposals fail to fulfill the epistemic splitting property, except the original semantics proposed by Gelfond in 1991.
Keywords : Epistemic logic
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02378387
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Monday, November 25, 2019 - 10:54:24 AM
Last modification on : Wednesday, June 9, 2021 - 10:00:28 AM
Long-term archiving on: : Wednesday, February 26, 2020 - 2:55:18 PM

File

cabalar_24815.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02378387, version 1
  • OATAO : 24815

Citation

Pedro Calabar, Jorge Fandinno, Luis Fariñas del Cerro. Splitting Epistemic Logic Programs. International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019), Jun 2019, Philadelphia, PA, United States. pp.120-133. ⟨hal-02378387⟩

Share

Metrics

Record views

86

Files downloads

186