Skip to Main content Skip to Navigation
Conference papers

Epistemic Answer Set Programming

Ezgi Iraz Su 1, 2
Abstract : 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.
Complete list of metadatas

Cited literature [39 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02421559
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Friday, December 20, 2019 - 3:23:22 PM
Last modification on : Thursday, July 2, 2020 - 3:51:09 AM
Long-term archiving on: : Saturday, March 21, 2020 - 5:25:17 PM

File

su_24979.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02421559, version 1
  • OATAO : 24979

Citation

Ezgi Iraz Su. Epistemic Answer Set Programming. European Conference on Logics in Artificial Intelligence (JELIA 2019), May 2019, Rende, Italy. pp.608-626. ⟨hal-02421559⟩

Share

Metrics

Record views

64

Files downloads

143