OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Splitting Epistemic Logic Programs

Calabar, Pedro and Fandinno, Jorge and Fariñas del Cerro, Luis Splitting Epistemic Logic Programs. (2019) In: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019), 3 June 2019 - 7 June 2019 (Philadelphia, PA, United States).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://doi.org/10.1007/978-3-030-20528-7_10


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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in Volume 11481 of Lecture Notes in Computer Science ISSN : 0302-9743 ISBN 978-3-030-20527-0 The original PDF is available at: https://link.springer.com/chapter/10.1007/978-3-030-20528-7_10
HAL Id:hal-02378387
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Universidade da Coruña - UDC (SPAIN)
Laboratory name:
MINECO : Ministerio de Economía y Competitividad, grant TIC2017-84453-P (Espagne) - CIMI : Centre International de Mathématiques et d’Informatique (France) - ANRT : French National Association for Research and Technology (France)
Deposited On:18 Nov 2019 15:38

Repository Staff Only: item control page