Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have