Title :
Intelligent process order control based on a paraconsistent logic program : An introduction
Author :
Nakamatsu, Kazumi
Author_Institution :
Univ. of Hyogo, Himeji
Abstract :
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.
Keywords :
intelligent control; logic programming; safety systems; before-after extended vector annotated logic program; bf-EVALPSN annotated paraconsistent logic program; intelligent process order control; safety verification; strong negation; Air safety; Cleaning; Intelligent control; Lattices; Liquids; Logic; Pipelines; Process control; Railway safety; TV; EVALPSN; bf-EVALPSN; paraconsistent annotated logic program; process order control; safety verification;
Conference_Titel :
Systems, Man and Cybernetics, 2007. ISIC. IEEE International Conference on
Conference_Location :
Montreal, Que.
Print_ISBN :
978-1-4244-0990-7
Electronic_ISBN :
978-1-4244-0991-4
DOI :
10.1109/ICSMC.2007.4414113
