Academia.eduAcademia.edu

Outline

Deploying Interactive Mission Planning Tools

Abstract

This article contains a retrospective overview of connected work performed for the European Space Agency (ESA) over a span of 10 years. We have been creating and rening an AI approach to problem solving and injected a series of deployed planning and scheduling systems which have innovated agency's mission planning practice. Goal of the paper is to identify general lessons learned and guidelines for work practice of the future. Specically, the work dwells on issue related to some key points that have contributed to strengthen the effectiveness of our approach: the attention to domain modeling, the constraintbased algorithm synthesis, and the development of an endto-end methodology to eld applications. Desirable features of space applications useful for protable and successful deployment on different ground segment operations are also discussed.

References (35)

  1. J. Amilhastre, H. Fargier, and P. Marquis. Consistency Restoration and Explanations in Dynamic CSPs -Application to Conguration. Articial Intelligence, 135(2002):199-234, 2002.
  2. D. Anderson, E. Anderson, N. Lesh, J. Marks, B. Mirtich, D. Rata- jczak, and K. Ryall. Human-Guided Simple Search. In AAAI-00. Proceedings of the 17 th National Conference on Articial Intelli- gence, pages 209-216. AAAI Press / The MIT Press, 2000.
  3. G. Bernardi, A. Cesta, and G. Cortellessa. Deploying RAXEM2: Planning Improvements in Daily Work Practice. In SPARK-09. Scheduling and Planning Applications woRKshop at ICAPS, Thes- saloniki, Greece, 2009.
  4. A. Cesta, G. Cortellessa, M. Denis, A. Donati, S. Fratini, A. Oddi, N. Policella, E. Rabenau, and J. Schulster. MEXAR2: AI Solves Mission Planner Problems. IEEE Intelligent Systems, 22(4), 2007.
  5. A. Cesta, G. Cortellessa, M. Denis, A. Donati, S. Fratini, A. Oddi, N. Policella, E. Rabenau, and J. Schulster. Continuous Plan Man- agement Support for Space Missions: the RAXEM Case. In PAIS/ECAI-08. Prestigious Applications on Intelligent Systems. Proceedings of the 18 th European Conference on Articial Intel- ligence, pages 703-707, 2008.
  6. A. Cesta, G. Cortellessa, S. Fratini, and A. Oddi. Looking for MrSPOCK: Issues in Deploying a Space Application. In SPARK- 08. Scheduling and Planning Applications woRKshop at ICAPS, Sidney, Australia, 2008.
  7. A. Cesta, G. Cortellessa, S. Fratini, A. Oddi, and Policella. N. An Innovative Product for Space Mission Planning -an a posteriori evaluation. In ICAPS-07. Proceedings of the 17th International Conference on Automated Planning and Scheduling, 2007.
  8. A. Cesta, G. Cortellessa, A. Oddi, and N. Policella. Studying De- cision Support for MARS EXPRESS Planning Tasks: A Report from the MEXAR Experience. In IWPSS-04. Proceedings of the 4 th International Workshop on Planning and Scheduling for Space, 2004.
  9. A. Cesta and S. Fratini. The Timeline Representation Framework as a Planning and Scheduling Software Development Environment. In 27 th Workshop of the UK Planning and Scheduling Special In- terest Group, pages 17-24, Edinburgh, UK, 2008.
  10. A. Cesta and A. Oddi. Gaining Efficiency and Flexibility in the Simple Temporal Problem. In TIME, 1996.
  11. A. Cesta, A.and Finzi, S. Fratini, A. Orlandini, and E. Tronci. Flex- ible Timeline-Based Plan Verication. In KI, pages 49-56, 2009.
  12. S. Chien, T. Estlin, F. Fisher, and G. Rabideau. Lessons Learned Deploying Space Planning Systems. Applied Articial Intelli- gence, 15(2):161-187, 2001.
  13. S. Chien, G. Rabideau, R. Knight, R. Sherwood, B. Engelhardt, D. Mutz, T. Estlin, B. Smith, F. Fisher, T. Barrett, G. Stebbins, and D. Tran. ASPEN -Automated Planning and Scheduling for Space Mission Operations. In Proceedings of SpaceOps 2000, 2000.
  14. P.R. Conrad, J.A. Shah, and B.C. Williams. Flexible Execution of Plans with Choice. In ICAPS, 2009.
  15. G. Dooms, P. Van Hentenryck, and L. Michel. Model-driven Visualizations of Constraint-based Local Search. Constraints, 14(3):294-324, 2009.
  16. Europa. Europa Software Distribution Web Site. https://babelfish.arc.nasa.gov/trac/europa/, 2008.
  17. R.E. Fikes and N.J. Nilsson. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Articial Intelligence, 2(3-4):189-208, 1971.
  18. M. Fox and D. Long. PDDL 2.1: An Extension to PDDL for Ex- pressing Temporal Planning Domains. Journal of Articial Intelli- gence Research, 20:61-124, 2003.
  19. J. Frank and A. Jonsson. Constraint Based Attribute and Interval Planning. Constraints, 8(4):339-364, 2003.
  20. GOAC. Goal Oriented Autonomous Controller. ESA ITT 5961, 2009.
  21. N. Jussien and V. Barichard. The PaLM System: Explanation- based Constraint Programming. In Proceedings of TRICS: Tech- niques foR Implementing Constraint programming Systems, a post- conference workshop of CP 2000, pages 118-133, Singapore, 2000.
  22. N. Jussien and O. Lhomme. Local Search with Constraint Prop- agation and Conict-based Heuristics. Articial Intelligence, 139(1):21-45, July 2002.
  23. K.W. Klau, N. Lesh, M. Marks, and M. Mitzenmacher. Human- guided Search. Journal of Heuristics, 16(3):289-310, 2010.
  24. M. Lavagna and F. Castellini. Advanced Planning and Scheduling Initiative's XMAS tool: AI for automatic scheduling of XMM- Newton long term plan. In IWPSS-09. Proceedings of the 6 th International Workshop on Planning and Scheduling for Space, Pasadena, CA., 2009.
  25. P.H. Morris and N. Muscettola. Temporal Dynamic Controllability Revisited. In AAAI, pages 1193-1198, 2005.
  26. P.H. Morris, N. Muscettola, and T. Vidal. Dynamic Control Of Plans With Temporal Uncertainty. In IJCAI, pages 494-502, 2001.
  27. N. Muscettola. HSTS: Integrating Planning and Scheduling. In Zweben, M. and Fox, M.S., editor, Intelligent Scheduling. Morgan Kauffmann, 1994.
  28. A. Oddi and N. Policella. Improving Robustness of Spacecraft Downlink Schedules. IEEE Transactions on Systems, Man, and Cybernetics -Part C Applications and Reviews, 37(5), 2007.
  29. A. Oddi, N. Policella, A. Cesta, and G. Cortellessa. Constraint- Based Random Search for Solving Spacecraft Downlink Schedul- ing Problems. In G. Kendall, E. Burke, S.Petrovic, and M. Gen- dreau, editors, Multidisciplinary Scheduling: Theory and Applica- tions, pages 133-162. Springer, 2005.
  30. L. Planken, M. de Weerdt, and R. van der Krogt. P3C: A New Algorithm for the Simple Temporal Problem. In ICAPS, pages 256-263, 2008.
  31. N. Policella, A. Cesta, A. Oddi, and S. F. Smith. Solve-and- Robustify. Synthesizing Partial Order Schedule by Chaining. J. Scheduling, 12(3):299-314, 2009.
  32. C. Pralet and G. Verfaillie. AIMS: A Tool for Long-term Planning of the ESA INTEGRAL Mission. In IWPSS-09. Proceedings of the 6 th International Workshop on Planning and Scheduling for Space, Pasadena, CA., 2009.
  33. R. Rasconi, A. Cesta, and N. Policella. Validating Scheduling Ap- proaches Against Executional Uncertainty. Journal of Intelligent Manufacturing, 21(1):49-64, 2010.
  34. G. Righini and E. Tresoldi. A Mathematical Programming Solution to the Mars Express Memory Dumping Problem. IEEE Transac- tions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, 40(3):268-277, 2010.
  35. S.F. Smith, G. Cortellessa, D.W. Hildum, and C.M. Ohler. Using a scheduling domain ontology to compute user-oriented explana- tions. In L. Castillo, D. Borrajo, M.A. Salido, and A. Oddi, editors, Planning, Scheduling, and Constraint Satisfaction: From Theory to Practice. IOS Press, 2004.