Title :
Real-time intelligent process order control based on a paraconsistent annotated logic program EVALPSN
Author :
Nakamatsu, Kazumi ; Akama, Seiki ; Abe, Jir M.
Author_Institution :
Univ. of Hyogo, Himeji
Abstract :
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.
Keywords :
control engineering computing; intelligent control; logic programming; EVALPSN; before-after relation; inference rules; paraconsistent annotated logic program; pipeline process; real-time intelligent process order control; Control systems; Electronic mail; Intelligent control; Lattices; Logic; Pipelines; Process control; Real time systems; Signal processing; Tellurium; EVALPSN; before-after relation; intelligent control; paraconsistent annotated logic program; process order control;
Conference_Titel :
Systems, Signals and Devices, 2008. IEEE SSD 2008. 5th International Multi-Conference on
Conference_Location :
Amman
Print_ISBN :
978-1-4244-2205-0
Electronic_ISBN :
978-1-4244-2206-7
DOI :
10.1109/SSD.2008.4632807
