Research on Spatio-Temporal Epistemic Relevant Logic in the Domain of Air Traffic Control

摘要：

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.

关键词： epistemic logic air traffic control strong relevant logic spatio-temporal logic

作者: Yixian Liu Zhiliang Liu Chunyan Han Dancheng Li Shuangshuang Zhou

作者单位: Software College, Northeastern University, Shenyang, Liaoning, China

会议类型: 国际会议

会议名称: 2011 International Conference on Advanced Materials and Engineering Materials(2011先进材料与工程材料国际会议 ICAMEM 2011)

会议地点: 沈阳

会议语种:英文

页码: 1347-1355

在线出版日期: 2011-11-22（万方平台首次上网日期，不代表论文的发表时间）