Abstract
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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
