A Paraconsistent Logic Program bf-EVALPSN and its Application to Process Order Control

We have already proposed a paraconsistent annotated logic program called EVALPSN (extended vector annotated logic program with strong negation) and applied it to various control based on safety verification. In this paper, a new EVALPSN called bf (before-after)-EVALPSN that can deal with before-after relation between two processes is introduced, and its application to real-time process order control based on safety verification is presented with simple examples. Moreover, some useful features of bf-EVALPSN for real-time control are introduced.