Real-time intelligent process order control based on a paraconsistent annotated logic program EVALPSN
Kazumi Nakamatsu, Seiki Akama, Jair Minoro Abe · 2008
In this paper, we introduce a paraconsistent annotated logic program called bf-EVALPSN that can deal with before-after relation between two processes. We show that bf-EVALPSN can be suitably applied to real-time process order control with a simple pipeline process example. We also briefly introduce practical inference rules in bf-EVALPSN to reason before-after relations.