Advertisement

Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control

  • Natsumi Kitajima
  • Yuichi Goto
  • Jingde Cheng
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5572)

Abstract

Terminal radar control is more and more complex in recent years. To reduce human errors in terminal radar control, an automatic system to support conflict detection and conflict resolution is required for reliable and safe terminal radar control. An anticipatory reasoning-reacting system for terminal radar control is a hopeful candidate for such systems. This paper proposes a methodology of decision-making in an anticipatory reasoning-reacting system for terminal radar control, presents a prototype of decision-maker, and shows that it can make appropriate decisions in anticipatory reasoning-reacting system for terminal radar control.

Keywords

Terminal radar control Anticipatory reasoning-reacting system Decision-making Reasoning about actions 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Boeing Commercial Airplanes: Statistical summary of commercial jet airplane accidents (2008), http://www.boeing.com/news/techissues/
  2. 2.
    International Civil Aviation Organization: Growth in ATR traffic projected to continue. Technical report (2001)Google Scholar
  3. 3.
    Cheng, J.: Anticipatory reasoning-reacting systems. In: Proc. International Conference on Systems, Development and Self-organization, Beijing, China, pp. 161–165 (2002)Google Scholar
  4. 4.
    Cheng, J.: Temporal relevant logic as the logical basis of anticipatory reasoning-reacting systems. In: Dubois, D.M. (ed.) Computing Anticipatory Systems: CASYS 2003 - Sixth International Conference, Liege, Belgium, August 11-16, 2003. AIP Conference Proceedings, vol. 718, pp. 362–375. American Institute of Physics (2004)Google Scholar
  5. 5.
    Shang, F., Nara, S., Omi, T., Goto, Y., Cheng, J.: A prototype implementation of an anticipatory reasoning-reacting system. In: Dubois, D.M. (ed.) Computing Anticipatory Systems: CASYS 2005 - Seventh International Conference, Liege, Belgium, August 8-13, 2005. AIP Conference Proceedings, vol. 839, pp. 401–414. American Institute of Physics (2006)Google Scholar
  6. 6.
    International Civil Aviation Organization: Global air traffic management operational concept (2005), http://www.icao.int/
  7. 7.
    Senoguchi, A., Fukuda, Y.: An idea of altitude prediction model for conflict detection. Technical report, IEICE (2006) (in Japanese)Google Scholar
  8. 8.
    Nara, S., Shang, F., Omi, T., Goto, Y., Cheng, J.: An anticipatory reasoning engine for anticipatory reasoning-reacting systems. International Journal of Computing Anticipatory Systems, (CHAOS), 225–234 (2006)Google Scholar
  9. 9.
    Kitajima, N., Nara, S., Goto, Y., Cheng, J.: A deontic relevant logic approach to reasoning about actions in computing anticipatory systems, CHAOS. International Journal of Computing Anticipatory Systems 20, 177–190 (2008)Google Scholar
  10. 10.
    Tagawa, T., Cheng, J.: Deontic relevant logic: A strong relevant logic approach to removing paradoxes from deontic logic. In: Ishizuka, M., Sattar, A. (eds.) PRICAI 2002. LNCS, vol. 2417, pp. 39–48. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  11. 11.
    Cheng, J.: Strong relevant logic as the universal basis of various applied logics for knowledge representation and reasoning. In: Kiyoki, Y., Henno, J., Kangassalo, H. (eds.) Information Modelling and Knowledge Bases XVII, Frontiers in Artificial Intelligence and Applications, vol. 136, pp. 310–320. IOS Press, Amsterdam (2006)Google Scholar
  12. 12.
    Forbus, K.: Qualitative reasoning. In: CRC Handbook of Computer Science and Engineering, pp. 715–733. CRC Press, Boca Raton (1996)Google Scholar
  13. 13.
    Kitajima, N., Goto, Y., Cheng, J.: Fast qualitative reasoning about actions for computing anticipatory systems. In: Proc. Third International Conference on Availability, Reliability and Security, pp. 171–178 (2008)Google Scholar
  14. 14.
    Ministry of Land, Infrastructure, Transport and Tourism: Current states and issues of capacity of departure and arrival in tokyo international airport (in japanese) (2000), http://www.mlit.go.jp/
  15. 15.
    Fukuda, Y., Senoguchi, A.: Research and development on conflict alert function of air traffic control workstation (in Japanese). Technical report, IEICE (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Natsumi Kitajima
    • 1
  • Yuichi Goto
    • 1
  • Jingde Cheng
    • 1
  1. 1.Department of Information and Computer SciencesSaitama UniversitySaitamaJapan

Personalised recommendations