Nested epistemic logic programs

There are no files associated with this record.

Title Nested epistemic logic programs
Author Wang, Kewen; Zhang, Yan
Publication Title Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, LNCS3662
Editor Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina
Year Published 2005
Place of publication Germany
Publisher Springer
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.
Peer Reviewed Yes
Published Yes
ISBN 3-540-28538-5
Conference name Eighth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-05)
Location Diamante, Italy
Date From 2005-09-05
Date To 2005-09-08
URI http://hdl.handle.net/10072/2705
Date Accessioned 2006-01-06
Date Available 2007-03-21T21:25:45Z
Language en_AU
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Engineering and Information Technology
Subject Other Artificial Intelligence
Publication Type Conference Publications (Full Written Paper - Refereed)
Publication Type Code e1

Show simple item record

Griffith University copyright notice