Autoepistemic Theory and Paraconsistent Logic Program

Authors:
Kazumi Nakamatsu;Atsuyuki Suzuki
Affiliations:
University of Hyogo, HIMEJI 670-0092 JAPAN, nakamatu@shse.u-hyogo.ac.jp;Shizuoka University, HAMAMATSU 432-8011 JAPAN, suzuki@cs.inf.shizuoka.ac.jp
Venue:
Proceedings of the 2005 conference on Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005
Year:
2005

Citing 4
Cited 0

Semantical considerations on nonmonotonic logic

Artificial Intelligence
Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Paraconsistent logic programming

Theoretical Computer Science
Stable and extension class theory for logic programs and default logics

Journal of Automated Reasoning

Quantified Score

Hi-index	0.01

Visualization

Abstract

We clarify the relation between autoepistemic theories and a paraconsistent logic program called Vector Annotated Logic Program (VALPSN for short) proposed by K.Nakamatsu et al. We review the stable class semantics for VALPSN and propose a translation from Moor's autoepistemic theories to VALPSN. Based on the translation, we prove that there is a one-to-one correspondence between stable classes of VALPSN and iterative expansion classes of autoepistemic theories.