SHOP2: An HTN Planning System

The SHOP2 planning system received one of the awards for distinguished performance in the 2002 International Planning Competition. This paper describes the features of SHOP2 which enabled it to excel in the competition, especially those aspects of SHOP2 that deal with temporal and metric planning domains.

[1]  Earl D. Sacerdoti,et al.  The Nonlinear Nature of Plans , 1975, IJCAI.

[2]  Austin Tate,et al.  Generating Project Networks , 1977, IJCAI.

[3]  David E. Wilkins,et al.  Practical planning - extending the classical AI planning paradigm , 1989, Morgan Kaufmann series in representation and reasoning.

[4]  Mark S. Boddy,et al.  Solving Time-Dependent Planning Problems , 1989, IJCAI.

[5]  Austin Tate,et al.  O-Plan: The open Planning Architecture , 1991, Artif. Intell..

[6]  Dana S. Nau,et al.  On the Complexity of Blocks-World Planning , 1992, Artif. Intell..

[7]  James A. Hendler,et al.  HTN Planning: Complexity and Expressivity , 1994, AAAI.

[8]  James A. Hendler,et al.  UM Translog: a planning domain for the development and benchmarking of planning systems , 1995 .

[9]  John S. Baras,et al.  Integrating Tradeoff Analysis and Plan-Based Evaluation of Designs for Microwave Modules , 1996 .

[10]  Dana S. Nau,et al.  Complexity results for hierarchical task-network planning , 1996 .

[11]  Tara A. Estlin,et al.  An Argument for a Hybrid HTN/Operator-Based Approach to Planning , 1997, ECP.

[12]  Dana Nau,et al.  Integrating electrical and mechanical design and process planning , 1997 .

[13]  Dana S. Nau,et al.  Computer Bridge - A Big Win for AI Planning , 1998, AI Mag..

[14]  Dana S. Nau,et al.  Control Strategies in HTN Planning: Theory Versus Practice , 1998, AAAI/IAAI.

[15]  Dana S. Nau,et al.  Success in Spades: Using AI Planning Techniques to Win the World Championship of Computer Bridge , 1998, AAAI/IAAI.

[16]  James A. Hendler,et al.  Using Planning Graphs for Solving HTN Planning Problems , 1999, AAAI/IAAI.

[17]  Hector Muñoz-Avila,et al.  SHOP: Simple Hierarchical Ordered Planner , 1999, IJCAI.

[18]  Fahiem Bacchus,et al.  Using temporal logics to express search control knowledge for planning , 2000, Artif. Intell..

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

[20]  David W. Aha,et al.  SiN: Integrating Case-based Reasoning with Task Decomposition , 2001, IJCAI.

[21]  Patrick Doherty,et al.  TALplanner: A Temporal Logic-Based Planner , 2001, AI Mag..

[22]  John K. Slaney,et al.  Blocks World revisited , 2001, Artif. Intell..

[23]  Dan Wu,et al.  UM-Translog-2: A Planning Domain Designed for AIPS-2002 , 2002 .