Title: The development of paraconsistent annotated logic programs

Authors: Kazumi Nakamatsu, Jair Minoro Abe

Addresses: School of Human Science and Environment, University of Hyogo, 1-1-12, Shinzaike-honcho, Himeji, 670-0092, Japan. ' Graduate Program in Production Engineering, ICET, Paulista University; Institute For Advanced Studies, Department of Computer Science, University of Sao Paulo, Rua Dr. Bacelar, 1.212, Sao Paulo, SP, CEP 4026-002, Brazil

Abstract: We have developed paraconsistent annotated logic programs called Extended Vector Annotated Logic Program with Strong Negation (EVALPSN) and applied it to various intelligent control and safety verification. We have also developed EVALPSN to deal with before-after (bf) relation between time intervals and applied it to process order control. The developed EVALPSN is called bf-EVALPSN. In this paper, we review the process of the development of EVALPSN and bf EVALPSN and introduce the details of EVALPSN defeasible deontic reasoning.

Keywords: paraconsistent logic; annotated logic; logic programs; defeasible deontic reasoning; before-after relations; intelligent control; safety verification.

DOI: 10.1504/IJRIS.2009.026721

International Journal of Reasoning-based Intelligent Systems, 2009 Vol.1 No.1/2, pp.92 - 112

Published online: 24 Jun 2009 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article