I have already proposed a paraconsistent annotated logic program called Extended Vector Annotated Logic Program with Strong Negation (EVALPSN), which can deal with conflict resolving and defensible deontic reasoning. These EVALPSN reasoning functions have been applied to various intelligent control and safety verification systems such as pipeline valve control, traffic signal control, railway interlocking safety verification, etc. I introduce these applications of EVALPSN with some simulation systems. Moreover, I have developed EVALPSN to deal with before-after relations between processes (time intervals) The developed EVALPSN has been named bf (before-after)EVALPSN. It has been shown that bf-EVALPSN can be applied to real-time process order control with a simple example of pipeline control. In this lecture, it will also be introduced how to apply bf-EVALPSN to intelligent real-time process order control and safety verification with examples and simulation results.
Application of paraconsistent annotated logic program EVALPSN to intelligent control/safety verification
01.07.2009
104425 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
British Library Conference Proceedings | 2001
|British Library Conference Proceedings | 1995
|A Data Model Based on Paraconsistent Intuitionistic Fuzzy Relations
British Library Conference Proceedings | 2005
|Implementation of a Paraconsistent-Fuzzy Digital PID Controller in a Level Control Process
BASE | 2017
|