It has become a crucial issue to assure the safety for air traffic control. We consider how some air traffic accidents can be avoided by verifying the safety for air traffic control logically. We propose a theoretical framework for a logical safety verification for air traffic control based on a paraconsistent logic program called an Extended Vector Annotated Logic Program with Strong Negation (EVALPSN for short). Compared to other kinds of safety verification such as safety verification for railway interlocking, the safety verification for air traffic control contains more uncertainty and sometimes has to deal with probabilistic datum. Therefore, we extend EVALPSN to probabilistic EVALPSN (P-EVALPSN for short) for dealing with the safety verification containing probability. We introduce the ideas of the safety verification based on both EVALPSN and P-EVALPSN, taking a simple example for landing clearance by air traffic controllers.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Paraconsistent logic program based safety verification for air traffic control


    Beteiligte:
    Nakamatsu, K. (Autor:in) / Suito, H. (Autor:in) / Abe, J.M. (Autor:in) / Suzuki, A. (Autor:in)


    Erscheinungsdatum :

    01.01.2002


    Format / Umfang :

    351927 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    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

    Freier Zugriff


    California's traffic safety program

    Israel, R.J. | Engineering Index Backfile | 1967