Review Paper: Paraconsistent Process Order Control
Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama · Smart innovation, systems and technologies · 2016
We have already proposed the paraconsistent process order control method based on an annotated logic program bf-EVALPSN. 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. In this paper, we review how bf-EVALPSN can be applied to process order control with a simple example.