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

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.

• Periodical: Advanced Materials Research (Volumes 457-458)
• Pages: 1347-1355
• DOI: https://doi.org/10.4028/www.scientific.net/AMR.457-458.1347
• Online since: January 2012
• Authors: Yi Xian Liu, Zhi Liang Liu, Chun Yan Han, Dan Cheng Li, Shuang Shuang Zhou
• Keywords: Air Traffic Control, Epistemic Logic, Spatio-Temporal Logic, Strong Relevant Logic

References

[1] J. Cheng, Temporal Relevant Logic as the Logical Basis of Anticipatory Reasoning-Reacting Systems" (Invited Paper), in D. M. Dubois (Ed. ), "Computing Anticipatory Systems: CASYS 2003 - Sixth International Conference, Liege, Belgium, 11-16 August 2003, AIP Conference Proceedings, Vol. 718, pp.362-375, American Institute of Physics, August (2004).

DOI: 10.1063/1.1787339

[2] Fagin R, Halpern J, Moses Y, Vardi M. Reasonig About Knowledge. Cambridge: MIT Press, (1995).

[3] Goble, L. (ed. ) The Blackwell Guide to Philosophical Logic., Oxford: Blackwell (2001).

[4] J. -J. C. Meyer and W. Hoek, Epistemic Logic for AI and Computer Science, volume 41 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press (1995).

DOI: 10.2307/2586825

[5] Wiebe van der Hoek, Michael Wooldridge, Tractable Multiagent Planning for Epistemic Goals, Proceedings of the International Conference on Autonomous Agents, n 3, pp.1167-1174 (2002).

DOI: 10.1145/545056.545095

[6] C.W. Johnson. The application of use modeling techniques to reason about the human contribution to major accidents", Proceedings of the Seventh International User Modelling Conference(UM, 99), pages 13-22, New York, USA (1999), Springer Verlag.

DOI: 10.1007/978-3-7091-2490-1_2

[7] Nicholas Rescher, Epistemic Logic -a survey of the logic of knowledge, university of Pittsburgh press (2005).

[8] J. Cheng, Qualitative Spatio-temporal Reasoning about Moving Objects in Three-dimensional Space, " in L. Kang, et al. (Eds. ), "Advances in Computation and Intelligence: Third International Symposium, ISICA 2008, Wuhan, China, December 2008, Proceedings, Lecture Notes in Computer Science, Vol. 5370, p.637–648, Springer-Verlag, December (2008).

DOI: 10.1007/978-3-540-92137-0_70

[9] J. Cheng, Spatio-temporal Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning about Mobile Multi-agent Systems, in: S. Wang, et al. (eds, ), Conceptual Modeling for Advanced Application Domains, ER 2004 Workshops, Shanghai, China, November 2004, Proceedings, Lecture Notes in Computer Science, Vol. 3289, pp.470-483, Springer-Verlag, Berlin (2004).

DOI: 10.1007/978-3-540-30466-1_43

[10] J. Cheng, Temporal Relevant Logic as the Logic Basis for Reasoning about Dynamics of Concurrent Systems, in Proc. 1998 IEEE-SMC Annual International Conference on Systems, Man, and Cybernetics, Vol. 1, IEEE (1998), pp.794-799.

DOI: 10.1109/icsmc.1998.725511

[11] J. Cheng, Temporal Relevant Logic: What Is It and Why Study It?, in Volume of Abstracts of the IUHPS/DLMPS 11th International Congress of Logic, Methodology and Philosophy of Science, edited by J. Cachro, and K. Kijania-Placek, Division of Logic, Methodology and Philosophy of Science of the International Union of History and Philosophy of Science (1999).

DOI: 10.1007/bf00370337