The intent of this cours is to give students an understanding of automated planning theory and automated planning practice and how they relate to each other to device intelligent robot. This cours contains a set of theoritical lessons to introduce the theory of automated planning illustrating by examples from robotics.

• Part I. Classical approaches of planning}
  • Chapter 1. Introduction and Overview or AI Planning
  • Chapter 2. Classical Planning representation and complexity
  • Chapter 3. State-space planning
  • Chapter 4. Plan-space planning
• Part II. Neo-classical approaches of planning
  • Chapter 5. Planning Graph techniques
  • Chapter 6. Propositional Plannning techniques
  • Chapter 7. Constraints satisfaction techniques
• Part III. Heuristics and control strategies for planning
  • Chapter 8. Heuristics Planning
  • Chapter 9. Hierarchical Task Network planning
• Part VI. Planning under uncertainly
  • Chapter 10. Planning based on Markov Decision processes
  • Chapter 11. Planning based on Model Checking

All the exercices for the course are available online.

• M. Ghallab, D. Nau and P. Traverso, “Automated Planning”, Morgan-Kaufman, 2004.
• M. Ghallab, D. Nau and P. Traverso, “Automated Planning and Acting”, Morgan-Kaufman, 2018.
• S. Russell and P. Norvig, "Artificial Intelligence: A Modern Approach", chapter XI“, Prentice Hall, 2002
• S. LaValle, Planning Algorithms, Cambridge University Press, 2006.
• P. Régnier, and V. Vidal, “Algorithmique de la planification en IA”, Cépaduès éditions, 2004.