Research on Spatio-Temporal Epistemic Relevant Logic in the Domain of Air Traffic Control
Yi Xian Liu, Zhi Liang Liu, Chun Yan Han, Dan Cheng Li, Shuang Shuang Zhou · Advanced materials research · 2012
Anticipatory Reasoning-Reacting System (ARRS) proposed by Cheng is a new reacting system with more ratability and security compared with traditional reacting systems. Cheng also proposed the logic basis of ARRS with three-dimensional moving objects, i.e. 3D-STSRL. In this paper, we focus on the research on the logic basis of ARRS in the domain of air traffic control. In order to express knowledge and belief concisely and precisely, epistemic operators are necessary. This paper described the addition of epistemic operators into 3D-STSRL together with the foundation of 3D-STERL. Then a study case about air traffic control is shown for the application of 3D-STERL.