Subgoal Partitioning and Global Search for Solving Temporal Planning Problems in Mixed Space

We study in this paper the partitioning of the constraints of a temporal planning problem by subgoals, their sequential evaluation before parallelizing the actions, and the resolution of inconsiste...

[1]  Mordecai Avriel,et al.  Nonlinear programming , 1976 .

[2]  David E. Wilkins,et al.  Can AI planners solve practical problems? , 1990, Comput. Intell..

[3]  Daniel S. Weld,et al.  UCPOP: A Sound, Complete, Partial Order Planner for ADL , 1992, KR.

[4]  Daniel S. Weld,et al.  Temporal Planning with Continuous Change , 1994, AAAI.

[5]  Dimitri P. Bertsekas,et al.  Nonlinear Programming , 1997 .

[6]  Avrim Blum,et al.  Fast Planning Through Planning Graph Analysis , 1995, IJCAI.

[7]  Bart Selman,et al.  Pushing the Envelope: Planning, Propositional Logic and Stochastic Search , 1996, AAAI/IAAI, Vol. 2.

[8]  Ronald L. Rardin,et al.  Optimization in operations research , 1997 .

[9]  D. Long,et al.  E cient Implementation of the Plan Graph in STAN , 1999 .

[10]  Patrick Doherty,et al.  TALplanner: an empirical investigation of a temporal logic-based forward chaining planner , 1999, Proceedings. Sixth International Workshop on Temporal Representation and Reasoning. TIME-99.

[11]  Zhe Wu,et al.  The Theory of Discrete Lagrange Multipliers for Nonlinear Discrete Optimization , 1999, CP.

[12]  Bart Selman,et al.  Unifying SAT-based and Graph-based Planning , 1999, IJCAI.

[13]  Jörg Hoffmann,et al.  On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm , 2000, J. Artif. Intell. Res..

[14]  Subbarao Kambhampati,et al.  AltAlt: Combining the Advantages of Graphplan and Heuristic State Search , 2000 .

[15]  M. Fourman.  Propositional Planning , 2000 .

[16]  Nicola Muscettola,et al.  Planning in Interplanetary Space: Theory and Practice , 2000, AIPS.

[17]  Henry Kautz,et al.  Integer optimization models of AI planning problems , 2000, The Knowledge Engineering Review.

[18]  Blai Bonet,et al.  Planning as heuristic search , 2001, Artif. Intell..

[19]  Yue Cao,et al.  Total-Order Planning with Partially Ordered Subtasks , 2001, IJCAI.

[20]  Daniel S. Weld,et al.  Combining linear programming and satisfiability solving for resource planning , 2001, The Knowledge Engineering Review.

[21]  Bernhard Nebel,et al.  The FF Planning System: Fast Plan Generation Through Heuristic Search , 2011, J. Artif. Intell. Res..

[22]  Ioannis P. Vlahavas,et al.  The GRT Planner , 2001, AI Mag..

[23]  Fangzhen Lin.  A Planner Called R , 2001, AI Mag..

[24]  Ivan Serina,et al.  LPG: A Planner Based on Local Search for Planning Graphs with Action Costs , 2002, AIPS.

[25]  Stefan Edelkamp.  Mixed Propositional and Numeric Planning in the Model Checking Integrated Planning System , 2002, AIPS Workshop on Planning for Temporal Domains.

[26]  Ehl Emile Aarts,et al.  Simulated annealing and Boltzmann machines , 2003 .

[27]  Maria Fox,et al.  PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains , 2003, J. Artif. Intell. Res..

[28]  Yixin Chen,et al.  Automated Planning and Scheduling using Calculus of Variations in Discrete Space , 2003, ICAPS.

[29]  Yixin Chen,et al.  Partitioning of temporal planning problems in mixed space using the theory of extended saddle points , 2003, Proceedings. 15th IEEE International Conference on Tools with Artificial Intelligence.

[30]  Austin Tate,et al.  O-Plan2: an Open Architecture for Command, Planning and Control , 2006 .