Intelligent process order control based on a paraconsistent logic program : An introduction

In this paper, we propose a new paraconsistent annotated logic program called bf-EVALPSN (before-after Extended Vector Annotated Logic Program with Strong Negation) that can deal with before-after relations between processes and introduce its application to process order control and safety verification with simple examples.