OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Epistemic Answer Set Programming

Su, Ezgi Iraz Epistemic Answer Set Programming. (2019) In: European Conference on Logics in Artificial Intelligence (JELIA 2019), 7 May 2019 - 11 May 2019 (Rende, Italy).

(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-19570-0_40


This paper introduces a new epistemic extension of answer set programming (ASP) called epistemic ASP (E-ASP). Then, it compares E-ASP with existing approaches, showing the advantages and the novelties of the new semantics and discusses which formalisms provide more intuitive results: compared to Gelfond’s epistemic specifications (ES), E-ASP defines a simpler, but sufficiently strong language. Its epistemic view semantics is a natural and more standard generalisation of ASP’s original answer set semantics, so it allows for ASP’s previous language extensions. Moreover, compared to all semantics proposals in the literature, epistemic view semantics facilitates understanding of the intuitive meaning of epistemic logic programs and solves unintended results discussed in the literature, especially for epistemic logic programs including constraints.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in volume 11468 of Lecture Notes in Computer Science ISSN : 0302-9743 ISBN 978-3-030-19569-4 The original PDF is available at: https://link.springer.com/chapter/10.1007/978-3-030-19570-0_40
HAL Id:hal-02421559
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 > Istinye University (TURKEY)
Laboratory name:
Deposited On:11 Dec 2019 09:58

Repository Staff Only: item control page