Refining the Semantics of Epistemic Specifications

09/17/2021
by   Ezgi Iraz Su, et al.
0

Answer set programming (ASP) is an efficient problem-solving approach, which has been strongly supported both scientifically and technologically by several solvers, ongoing active research, and implementations 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 understandable 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 behaviour 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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/23/2019

About epistemic negation and world views in Epistemic Logic Programs

In this paper we consider Epistemic Logic Programs, which extend Answer ...
research
01/13/2020

Structural Decompositions of Epistemic Logic Programs

Epistemic logic programs (ELPs) are a popular generalization of standard...
research
09/18/2019

Epistemic Logic Programs: A Different World View

Epistemic Logic Programs (ELPs), an extension of Answer Set Programming ...
research
08/16/2011

Revisiting Epistemic Specifications

In 1991, Michael Gelfond introduced the language of epistemic specificat...
research
07/25/2019

On Uniform Equivalence of Epistemic Logic Programs

Epistemic Logic Programs (ELPs) extend Answer Set Programming (ASP) with...
research
09/10/2019

POSITION PAPER: Credibility of In Silico Trial Technologies: A Theoretical Framing

Different research communities have developed various approaches to asse...
research
08/06/2021

Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs

Extending the popular Answer Set Programming (ASP) paradigm by introspec...

Please sign up or login with your details

Forgot password? Click here to reset