Probabilistic EVALPSN and its Application to Safety Verification for Air Traffic Control

摘要

Assuring the safety for air traffic control is a seroius issue and some air traffic accidents by air traffic controllers' human mistake can be considered to be avoided by logically verifying the safety for air traffic controllers' instructions. Extended Vector Annotated Logic Program with Strong Negation(EVALPSN for short) is one of paraconsistent logic programs and we have already proposed a safety verification system for railway interlocking based on EVALPSN. In this paper, we propose a theoretical framework for logical safety verification systems for air traffic control based on EVALPSN. Compared to the safety verification for railway interlocking, the safety verification for air traffic control contains more uncertainty and requires 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 with taking a simple example for landing clearance by air traffic controllers.