Refining the Semantics of Epistemic Specifications
| dc.contributor.author | Su, Ezgi Iraz | |
| dc.date.accessioned | 2025-03-23T19:25:50Z | |
| dc.date.available | 2025-03-23T19:25:50Z | |
| dc.date.issued | 2021 | |
| dc.department | Sinop Üniversitesi | |
| dc.description | 37th International Conference on Logic Programming (ICLP) -- SEP 20-27, 2021 -- ELECTR NETWORK | |
| dc.description.abstract | Answer set programming (ASP) is a problem-solving approach, which has been strongly supported both scientifically and technologically by several solvers, ongoing active research, and implementa-tions in many different fields. However, although researchers acknowledged long ago the necessity of epistemic operators in the language of ASP for better introspective reasoning, this research venue did not attract much attention until recently. Moreover, the existing epistemic extensions of ASP in the literature are not widely approved either, due to the fact that some propose unintended results even for some simple acyclic epistemic programs, new unexpected results may possibly be found, and more importantly, researchers have different reasonings for some critical programs. To that end, Cabalar et al. have recently identified some structural properties of epistemic programs to formally support a possible semantics proposal of such programs and standardise their results. Nonetheless, the soundness of these properties is still under debate, and they are not widely accepted either by the ASP community. Thus, it seems that there is still time to really understand the paradigm, have a mature formalism, and determine the principles providing formal justification of their understand-able models. In this paper, we mainly focus on the existing semantics approaches, the criteria that a satisfactory semantics is supposed to satisfy, and the ways to improve them. We also extend some well-known propositions of here-and-there logic (HT) into epistemic HT so as to reveal the real be-haviour of programs. Finally, we propose a slightly novel semantics for epistemic ASP, which can be considered as a reflexive extension of Cabalar et al.'s recent formalism called autoepistemic ASP. | |
| dc.identifier.doi | 10.4204/EPTCS.345.25 | |
| dc.identifier.endpage | 126 | |
| dc.identifier.issn | 2075-2180 | |
| dc.identifier.issue | 345 | |
| dc.identifier.scopus | 2-s2.0-85115866648 | |
| dc.identifier.scopusquality | Q4 | |
| dc.identifier.startpage | 113 | |
| dc.identifier.uri | https://doi.org/10.4204/EPTCS.345.25 | |
| dc.identifier.uri | https://hdl.handle.net/11486/4579 | |
| dc.identifier.wos | WOS:001050349300025 | |
| dc.identifier.wosquality | N/A | |
| dc.indekslendigikaynak | Web of Science | |
| dc.indekslendigikaynak | Scopus | |
| dc.institutionauthor | Su, Ezgi Iraz | |
| dc.language.iso | en | |
| dc.publisher | Open Publ Assoc | |
| dc.relation.ispartof | Electronic Proceedings in Theoretical Computer Science | |
| dc.relation.publicationcategory | Konferans Öğesi - Uluslararası - Kurum Öğretim Elemanı | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.snmz | KA_WOS_20250323 | |
| dc.title | Refining the Semantics of Epistemic Specifications | |
| dc.type | Conference Object |
