Propice-Plan: Toward a Unified Framework for Planning and Execution

  • Olivier Despouys
  • François Félix Ingrand
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1809)


In this paper, we investigate the links between planning and plans execution. We propose a new approach (Propice-Plan) which integrates both activities. It implements supervision and execution capabilities, combined with different planning techniques:

  • plan synthesis to complement existing operational plans; and

  • anticipation planning to advise the execution for the best option to take when facing choices by anticipating plans execution), and to forecast problems that may arise due to unforeseen situations.

This approach relies on a common language to represent plans, actions, operational procedures and constraints. In particular, the description we propose makes transitions between planning activities and execution seamless.

This work is used in two complex real-world problems: planning and control for autonomous mobile robots, and for the transition phases of a blast furnace.


Blast Furnace Goal Node Anticipation Module Planning Module Plan Execution 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Alami et al., 1998]
    Alami, R., Chatila, R., Fleury, S., Ghallab, M., Ingrand, F.: An Architecture for Autonomy. International Journal of Robotics Research 17(4), 315–337 (1998)CrossRefGoogle Scholar
  2. Beetz and McDermott, 1994]
    Beetz, M., McDermott, D.: Improving Robot Plans During Their Execution. In: Proceedings of AIPS 1994 (June 1994)Google Scholar
  3. [Blum and Furst, 1997]
    Blum, A., Furst, M.: Fast Planning Through Planning Graph Analysis. Artificial Intelligence, 90, 281–300 (1997), See also zbMATHCrossRefGoogle Scholar
  4. [Bonasso et al., 1997]
    Bonasso, R.P., Firby, R.J., Gat, E., Kortenkamp, D., Miller, D.P., Slack, M.G.: Experiences with an Architecture for Intelligent, Reactive Agents. Journal of Experimental and Theoretical AI (January 1997)Google Scholar
  5. [Botelho, 1998]
    Botelho, S.: A distributed scheme for task planning and negotiation in multi-robot systems. In: Proceedings of ECAI (1998)Google Scholar
  6. [Currie and Tate, 1991]
    Currie, K., Tate, A.: O-Plan: the Open Planning Architecture. Artificial Intelligence 52, 49–86 (1991)CrossRefGoogle Scholar
  7. [Firby, 1994]
    Firby, R.J.: Task Networks for Controlling Continuous Processes. In: Proceedings of the Second International Conference on AI Planning Systems, Chicago IL (June 1994)Google Scholar
  8. [Ge ner and Bonet, 1998]
    Geffner, H., Bonet, B.: High-Level Planning and Control with Incomplete Information Using POMDPs. In: Proceedings AIPS 1998 Workshop on Integrating Planning, Scheduling and Execution in Dynamic and Uncertain Environments (1998), See also
  9. [Ghallab and Mounir-Alaoui, 1989]
    Ghallab, M., Mounir-Alaoui, A.: The Indexed Time Table Approach for Planning and Acting. In: Rodriguez, S. (ed.) Procs. NASA Conference on Space Telerobotics, February 1989, vol. 5, pp. 321–332. JPL Publications (1989)Google Scholar
  10. [Guere and Alami, 1999]
    Guéré, E., Alami, R.: A Possibilistic Planner That Deals With Non-Determinism and Contingency. In: Procs. IJCAI (1999)Google Scholar
  11. [Ingrand et al., 1992]
    Ingrand, F.F., Georgeff, M.P., Rao, A.S.: An Architecture for Real-Time Reasoning and System Control. IEEE Expert, Knowledge-Based Diagnosis in Process Engineering 7(6), 34–44 (1992)Google Scholar
  12. [Ingrand et al., 1996]
    Ingrand, F.F., Chatila, R., Alami, R., Robert, F.: PRS: A High Level Supervision and Control Language for Autonomous Mobile Robots. In: IEEE International Conference on Robotics and Automation, St Paul, USA (1996)Google Scholar
  13. [Kambhampati, 1999]
    Kambhampati, S.: Improving Graphplan’s Search with EBL & DDB Techniques. In: Procs. IJCAI (1999)Google Scholar
  14. [Koehler et al., 1997]
    Koehler, J., Nebel, B., Hoffmann, J., Dimopoulos, Y.: Extending Planning Graphs to an ADL Subset. In: Proceedings of European Conference on Planning (1997), See also
  15. [Kushmeric et al., 1995]
    Kushmeric, N., Hanks, S., Weld, D.: An Algorithm for Probabilistic Planning. Artificial Intelligence 2, 239–286 (1995)CrossRefGoogle Scholar
  16. [Levinson, 1994]
    Levinson, R.: A General Programming Langage for Unified Planning and Control. Artificial Intelligence 76, 281–300 (1994)Google Scholar
  17. [McDermott et al., 1998]
    McDermott, D., Ghallab, M., Howe, A., Knoblock, C., Ram, A., Veloso, M., Weld, D., Wilkins, D.: PDDL-The Planning Domain Definition Langage. Technical Report CVC TR-98-003/DCS TR-1165, Yale Center for Computational Vision and Control (October 1998), Available on request to Google Scholar
  18. [Myers, 1998]
    Myers, K.L.: Towards a Framework for Continuous Planning and Execution. In: Proceedings of the AAAI Fall Symposium on Distributed Continual Planning (1998), See also
  19. [Nau et al., 1999]
    Nau, D., Cao, Y., Lotem, A., Muñoz-Avila, H.: SHOP: Simple Hierarchical Ordered Planner. In: Procs. IJCAI (1999)Google Scholar
  20. [Nebel et al., 1997]
    Nebel, B., Dimopoulos, Y., Koehler, J.: Ignoring Irrelevant Facts and Operators in Plan Generation. In: Proceedings of European Conference on Planning (1997), See also
  21. [Pryor and Collins, 1996]
    Pryor, L., Collins, G.: Planning for contingencies: A decision-based approach. Artificial Intelligence Research (1996)Google Scholar
  22. [Wilkins et al., 1994]
    Wilkins, D.E., Myers, K.L., Lowrance, J.D., Wesley, L.P.: Planning and Reacting in Uncertain and Dynamic Environments. Journal of Experimental and Theoretical AI 6, 197–227 (1994), See also
  23. [Yang, 1997]
    Yang, Q.: Intelligent Planning: A Decomposition and Abstraction Based Approach, pp. 163–171. Springer, Heidelberg (1997)zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Olivier Despouys
    • 1
  • François Félix Ingrand
    • 1
  1. 1.LAAS/CNRSToulouse Cedex 04France

Personalised recommendations