Control and safety verification based on a para-consistent logic program EVALPSN
Kazumi Nakamatsu · 2008
I have already proposed a paraconsistent annotated logic program called Extended Vector Annotated Logic Program with Strong Negation (EVALPSN), which can deal with defensible deontic reasoning. EVALPSN has been applied to various intelligent control and safety verification systems such as pipeline valve control, railway interlocking safety verification, etc. Moreover, EVALPSN has been developed to deal with before-after relation between two processes and it can be applied to process time control and process order safety verification. The developed EVALPSN is called bf (before-after) EVALPSN. It will be introduced how to apply EVALPSN and bf-EVALPSN to intelligent control and safety verification with some concrete examples and simulation systems in the speech.