Nested epistemic logic programs

No Thumbnail Available
File version
Author(s)
Wang, KW
Zhang, Y
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)

Baral, C

Greco, G

Leone, N

Terracina, G

Date
2005
Size
File type(s)
Location

Diamante, ITALY

License
Abstract

Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarely explored. In this paper we first introduce the epistemic HT-logic, and then propose a more general extension of logic programs called {/em nested epistemic logic programs}. The semantics of this extension - named equilibrium views - is defined on the basis of the epistemic HT-logic. We prove that equilibrium view semantics extends both the answer sets of nested logic programs and the world views of epistemic logic programs. Therefore, our work establishes a unifying framework for both nested logic programs and epistemic logic programs. Furthermore, we also provide a characterization of the strong equivalence of two nested epistemic logic programs.

Journal Title
Conference Title

LOGIC PROGRAMMING AND NONMONOTONIC REASONING

Book Title
Edition
Volume

3662

Issue
Thesis Type
Degree Program
School
Publisher link
DOI
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
Item Access Status
Note
Access the data
Related item(s)
Subject
Persistent link to this record
Citation