OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Founded World Views with Autoepistemic Equilibrium Logic

Calabar, Pedro and Fandinno, Jorge and Fariñas del Cerro, Luis Founded World Views with Autoepistemic Equilibrium Logic. (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_11


Defined by Gelfond in 1991 (G91), epistemic specifications (or programs) are an extension of logic programming under stable models semantics that introduces subjective literals. A subjective literal allows checking whether some regular literal is true in all (or in some of) the stable models of the program, being those models collected in a set called world view. One epistemic program may yield several world views but, under the original G91 semantics, some of them resulted from self-supported derivations. During the last eight years, several alternative approaches have been proposed to get rid of these self-supported world views. Unfortunately, their success could only be measured by studying their behaviour on a set of common examples in the literature, since no formal property of “self-supportedness” had been defined. To fill this gap, we extend in this paper the idea of unfounded set from standard logic programming to the epistemic case. We define when a world view is founded with respect to some program and propose the foundedness property for any semantics whose world views are always founded. Using counterexamples, we explain that the previous approaches violate foundedness, and proceed to propose a new semantics based on a combination of Moore’s Autoepistemic Logic and Pearce’s Equilibrium Logic. The main result proves that this new semantics precisely captures the set of founded G91 world views.

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_11
HAL Id:hal-02378389
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) - Xunta de Galicia (Espagne) - CIMI : Centre International de Mathématiques et d’Informatique (France) - ANRT : French National Association for Research and Technology (France)
Deposited On:19 Nov 2019 08:51

Repository Staff Only: item control page