Projet pour le cours

IFT702 - Planification en Intelligence Artificielle

First ideas, brain-storming (10 July)

• See original paper... not usefully from now

Interesting reading in the book( 12 - 16 July)

• Chapter 13 and 14 (of Automated Planning book)
• Planning with chronicles
• very different from classical planning
• Chapter 15
• Planning and Resource Scheduling
• Interesting, but not for our project...
• Part V (ch 16...17)
  
• Planning under uncertainty
• interesting, but too much for a course project
  

Project description (16 July)

• We will try to implements a domain for an existing planner with time reasoning and time metric
• Domain will be inspired from scenarios for U2S robot in AAAI and scientific exposition. (reference : mail from François Michaud about possible scenarios AAAI 2003)
• One of ours objectives is to find current limitations of 2 or 3 planners that seems appropriate to handle this kind of tasks
• Answer to the questions :
  
• Why theses limitations ?
  
• How to extends limitations ?

Choosing a planner / implementing a basic one ? (19-20 July)

• The first task is to find an existing planner that have time reasoning feature
• If we don't find one... try to implement a custom planner based on algorithm in section 14.3 (planning with chronicles)

Tasks (July 22th ... August 6th)

• Writting final scenarios for the virtual robot (similar for real U2S robot)
• The Scientific Conference Scenario
  
• Writting domain in planner language
  
• The Scientific Conference in PDDL with test problems
  
• Writting a custom simulator with strong assumption
• The Scientific Conference Simulator
  
• Experimenting
• Planning with Metric-FF
• Planning with HSP* (does not work)
• Planning with LPG
• Comparing Metric-FF and LPG
  
• Investigation of some problems
  
• Why socialize action is difficult to permits
• Problem with recharge action (now solved)
  
• Performance analysis
• with Metric-FF
  
• Making conclusion and critics
  
• Our conclusion
  

Presentation (August 11th)

• pres_ift702.ppt
  

References

• Ghallab, Nau and Traverso. Automated Planning : theory and practive, 2004.
• Fox and Long. PDDL 2.1: An Extension to PDDL for Expressing Temporal Planning Domains. [PS.GZ]
  
• J. Hoffmann, Extending FF to Numerical State Variables, in: Proceedings of the 15th European Conference on Artificial Intelligence, Lyon, France, July 2002. [PS.GZ]
  
• Hoffmann. The Metric-FF Planning System: Translating "Ignoring Delete List" to Numeric State Variables, Journal of Artificial Intelligence Research 20 (2003). [PS.GZ]
• Hoffmann and Nebel. The FF Planning System: Fast Plan Generation Through Heuristic Search, Journal of Artificial Intelligence Research 14 (2001). [PS.GZ]
• Alfonso Gerevini, Alessandro Saetti, Ivan Serina. Planning through Stochastic Local Search and Temporal Action Graphs, to appear in Journal of Artificial Intelligence Research (JAIR). [PS.GZ]
  
• International Planning Competition 2002 (IPC-3) Web Site :  http://planning.cis.strath.ac.uk/competition/
• International Planning Competition 2004 (IPC-4) Web Site :  http://www-rcf.usc.edu/~skoenig/icaps/icaps04/index.html