A Splitting Set Theorem for Epistemic Specifications

03/08/2000
by   Richard Watson, et al.
0

Over the past decade a considerable amount of research has been done to expand logic programming languages to handle incomplete information. One such language is the language of epistemic specifications. As is usual with logic programming languages, the problem of answering queries is intractable in the general case. For extended disjunctive logic programs, an idea that has proven useful in simplifying the investigation of answer sets is the use of splitting sets. In this paper we will present an extended definition of splitting sets that will be applicable to epistemic specifications. Furthermore, an extension of the splitting set theorem will be presented. Also, a characterization of stratified epistemic specifications will be given in terms of splitting sets. This characterization leads us to an algorithmic method of computing world views of a subclass of epistemic logic programs.

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
10/01/2020

Constraint Monotonicity, Epistemic Splitting and Foundedness Could in General Be Too Strong in Answer Set Programming

Recently, the notions of subjective constraint monotonicity, epistemic s...
research
07/22/2019

Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting

In a recent line of research, two familiar concepts from logic programmi...
research
12/20/2018

Splitting Epistemic Logic Programs

Epistemic logic programs constitute an extension of the stable models se...
research
08/17/2021

Thirty years of Epistemic Specifications

The language of epistemic specifications and epistemic logic programs ex...
research
07/25/2019

On Uniform Equivalence of Epistemic Logic Programs

Epistemic Logic Programs (ELPs) extend Answer Set Programming (ASP) with...
research
01/25/2023

Interpreting Knowledge-based Programs (Extended Version with Proofs)

Knowledge-based programs specify multi-agent protocols with epistemic gu...

Please sign up or login with your details

Forgot password? Click here to reset