Real world planners need to be sensitive to the quality of the plans they generate. Unlike classical planning where quality is often synonymous with plans having least number of actions, in temporal planning plan quality is multidimensional. It involves both temporal aspects of the plan (such as makespan, slack, tardiness) and execution cost aspects (such as cumulative action cost, resource consumption). Until now, most domain-independent temporal planners have concentrated solely on the former, ignoring the latter. In this paper, we consider the problem of developing heuristics that are sensitive to both makespan and cost, and develop a planning graph-based approach for this purpose. Our approach involves augmenting a (temporal) planning graph data structure with a mechanism to track the execution cost of the goals and subgoals. Since the cost of achieving a goal is dependent on the amount of available time, we need to track the cost of a literal as a function of time. We present a methodology for efficiently tracking the cost functions, and discuss how they can be used as the basis for deriving heuristics to support any objective function based on makespan and execution cost. We demonstrate the effectiveness of this general method for deriving cost- and makespan-sensitive heuristics in the context of Sapa a forward chaining planner for metric temporal domains that we have been developing. A version of Sapa using a subset of the techniques discussed in this paper was one of the best domain independent planners for domains with metric and temporal constraints in the third International Planning Competition, held at AIPS-02.
[1]
Bernhard Nebel,et al.
The FF Planning System: Fast Plan Generation Through Heuristic Search
,
2011,
J. Artif. Intell. Res..
[2]
Maria Fox,et al.
The Third International Planning Competition: Temporal and Metric Planning
,
2002,
AIPS.
[3]
Malik Ghallab,et al.
Representation and Control in IxTeT, a Temporal Planner
,
1994,
AIPS.
[4]
Terry L. Zimmerman,et al.
Generating parallel plans satisfying multiple criteria in anytime fashion
,
2002
.
[5]
Mihalis Yannakakis,et al.
Multiobjective query optimization
,
2001,
PODS '01.
[6]
Avrim Blum,et al.
Fast Planning Through Planning Graph Analysis
,
1995,
IJCAI.
[7]
Yuval Shahar,et al.
Utility Elicitation as a Classification Problem
,
1998,
UAI.
[8]
Subbarao Kambhampati,et al.
Planning graph as the basis for deriving heuristics for plan synthesis by state space and CSP search
,
2002,
Artif. Intell..
[9]
Hector Geffner,et al.
Heuristic Planning with Time and Resources
,
2014
.
[10]
Subbarao Kambhampati,et al.
Distance-Based Goal-Ordering Heuristics for Graphplan
,
2000,
AIPS.
[11]
Blai Bonet,et al.
A Robust and Fast Action Selection Mechanism for Planning
,
1997,
AAAI/IAAI.
[12]
David E. Smith,et al.
Temporal Planning with Mutual Exclusion Reasoning
,
1999,
IJCAI.
[13]
Subbarao Kambhampati,et al.
Reviving Partial Order Planning
,
2001,
IJCAI.
[14]
Pallab Dasgupta,et al.
Multiobjective Heuristic Search
,
1999,
Computational Intelligence.