tailieunhanh - The paraconsistent process order control method

In this paper we propose the paraconsistent process order control method based on a paraconsistent annotated logic program called before–after extended vector annotated logic program with strong negation (bf-EVALPSN) with a small example of pipeline process order verification. | Vietnam J Comput Sci 2014 1 29-37 DOI s4O595-013-0002-5 REGULAR PAPER The paraconsistent process order control method Kazumi Nakamatsu Jair M. Abe Received 29 September 2013 Accepted 30 September 2013 Published online 9 November 2013 The Author s 2013 Abstract We have already developed some kinds of paraconsistent annotated logic programs. In this paper we propose the paraconsistent process order control method based on a paraconsistent annotated logic program called before-after extended vector annotated logic program with strong negation bf-EVALPSN with a small example of pipeline process order verification. Bf-EVALPSN can deal with before-after relations between two processes time intervals in its annotations and its reasoning system consists of two kinds of inference rules called the basic bf-inference rule and the transitive bf-inference rule. We introduce how the bf-EVALPSN-based reasoning system can be applied to the safety verification for process order. Keywords Paraconsistent annotated logic program Before-after relation Bf-EVALPSN Process order control 1 Introduction A family of paraconsistent logic called annotated logics PT was proposed by da Costa et al. 4 . They can deal with inconsistency with many truth values called annotations although the semantics of annotated logics is basically two valued. The K. Nakamatsu B School of Human Science and Environment University of Hyogo Shinzaike Himeji 670-0092 Japan e-mail nakamatu@ J. M. Abe ICET-Paulista University São Paulo SP CEP 04026-022 Brazil J. M. Abe Institute of Advanced Studies University of Sao Paulo Cidade Universitaria São Paulo SP CeP 05508-970 Brazil e-mail jairabe@ paraconsistent annotated logic has been developed from the viewpoint of logic programming 3 aiming at application to computer science. Furthermore we have developed the paraconsistent annotated logic program to deal with inconsistency and some kinds of non-monotonic reasoning in a framework of .