| Autor: |
Liu, Yi Xian, Liu, Zhi Liang, Han, Chun Yan, Li, Dan Cheng, Zhou, Shuang Shuang |
| Zdroj: |
Advanced Materials Research; January 2012, Vol. 457 Issue: 1 p1347-1355, 9p |
| Abstrakt: |
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. |
| Databáze: |
Supplemental Index |
| Externí odkaz: |
|
