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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Application of paraconsistent annotated logic program EVALPSN to intelligent control/safety verification


    Contributors:


    Publication date :

    2009-07-01


    Size :

    104425 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Paraconsistent logic program based safety verification for air traffic control

    Nakamatsu, K. / Suito, H. / Abe, J.M. et al. | IEEE | 2002


    An Automated Safety Verification System for Railway Interlocking Based on Extended Vector Annotated Logic Programming

    Nakamatsu, K. / Nagashima, J. / Abe, J. M. et al. | British Library Conference Proceedings | 2001


    Annotated Logic Programming

    Thirunarayan, K. / IEEE / Dayton Section| IEEE et al. | British Library Conference Proceedings | 1995


    A Data Model Based on Paraconsistent Intuitionistic Fuzzy Relations

    Wang, H. / Sunderraman, R. | British Library Conference Proceedings | 2005


    Implementation of a Paraconsistent-Fuzzy Digital PID Controller in a Level Control Process

    H. M. Côrtes / J. I. Da Silva Filho / M. F. Blos et al. | BASE | 2017

    Free access