Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN

A paraconsistent annotated logic program called bf-EVALPSN has been developed for dealing with before-after relations between processes and applied to real-time process order control. In order to increase the efficiency of bf-EVALPSN process order control, a transitive reasoning system of before-after relations in bf-EVALPSN is introduced.

[1]  Sadaaki Miyamoto,et al.  Rough Sets and Current Trends in Computing , 2012, Lecture Notes in Computer Science.

[2]  Jair Minoro Abe,et al.  Annotated Semantics for Defeasible Deontic Reasoning , 2000, Rough Sets and Current Trends in Computing.

[3]  V. S. Subrahmanian,et al.  The Paraconsistent Logics PJ , 1991, Math. Log. Q..

[4]  V. S. Subrahmanian,et al.  Paraconsistent Logic Programming , 1987, Theor. Comput. Sci..

[5]  Kazumi Nakamatsu.  Pipeline Valve Control Based on EVALPSN Safety Verification , 2006, J. Adv. Comput. Intell. Intell. Informatics.

[6]  Tadashi Shibata,et al.  An Intelligent Action Control System Based on Extended Vector Annotated Logic Program and its Hardware Implementation , 2007, Intell. Autom. Soft Comput..

[7]  Jair Minoro Abe,et al.  Paraconsistent Before-After Relation Reasoning Based on EVALPSN , 2008, New Directions in Intelligent Interactive Multimedia.

[8]  Da Costa.  The Paraconsistent Logics PT , 1991 .