Abstract
Traditional interactive air traffic control systems can’t meet the needs of the increasing complexity of the air traffic network. In this paper, we propose a new generation of air traffic control system and establish a logic system called Three-dimensional multi-agent dynamic epistemic relevant logic (3DMDERL for short) to fulfill the needs. We also describe the detail about the application of the logic system that we have established in the air traffic control field. The logic system combining with the new generation air traffic control system prevents many failures caused by information exchanging errors and data sharing and helps to guarantee the safety and efficiency of air traffic.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cheng, J.: A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery. In: Kawaguchi, E., Kangassalo, H., Jaakkola, H., Hamid, I.A. (eds.) Information Modelling and Knowledge Bases XI, pp. 136–159. IOS Press, Amsterdam (2000)
Cheng, J.: Qualitative Spatio-temporal Reasoning about Moving Objects in Three-dimensional Space. In: Kang, L., Cai, Z., Yan, X., Liu, Y., et al. (eds.) ISICA 2008. LNCS, vol. 5370, pp. 637–648. Springer, Heidelberg (2008)
Cheng, J.: Anticipatory Reasoning-Reacting Systems. In: Proc. International Conference on Systems, Development and Self-organization, pp. 161–165 (2002)
Kooi, B.P.: Probabilistic dynamic epistemic logic. J. Logic Lang. Inform. 12(4), 381–408 (2003)
Goranko, V., Shkatov, D.: Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge. In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Li, D., Liu, Z., Zhou, S., Cai, X., Han, C., Liu, Y. (2011). Research on Multi-agent Dynamic Epistemic Relevant Logic for Air Traffic Control System. In: Wu, Y. (eds) High Performance Networking, Computing, and Communication Systems. ICHCC 2011. Communications in Computer and Information Science, vol 163. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25002-6_39
Download citation
DOI: https://doi.org/10.1007/978-3-642-25002-6_39
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25001-9
Online ISBN: 978-3-642-25002-6
eBook Packages: Computer ScienceComputer Science (R0)