Applications of SHOP and SHOP2

We design the simple hierarchical ordered planner (SHOP) and its successor, SHOP2, with two goals in mind: to investigate research issues in automated planning and to provide some simple, practical planning tools. SHOP and SHOP2 are based on a planning formalism called hierarchical task network planning. SHOP and SHOP2 use a search-control strategy called ordered task decomposition, which breaks tasks into subtasks and generates the plan's actions in the same order that the plan executor executes them. So, throughout the planning process, the planner can tell what the state of the world at each step of the plan.

[1]  Dana S. Nau,et al.  SHOP2: An HTN Planning System , 2003, J. Artif. Intell. Res..

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

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

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

[5]  V. S. Subrahmanian,et al.  Utilizing Volatile External Information During Planning , 2004, ECAI.

[6]  조수원.  University of Maryland at College Park의 곤충학과 소개 , 1997 .

[7]  Patrick Doherty,et al.  TALplanner: A temporal logic based forward chaining planner , 2001, Annals of Mathematics and Artificial Intelligence.

[8]  Austin Tate,et al.  O Plan an Open Architecture for Command Planning and Control , 2006 .

[9]  Satyandra K. Gupta,et al.  AI Planning Versus Manufacturing-Operation Planning: A Case Study , 1995, IJCAI.

[10]  Dana Nau,et al.  A General Approach to Synthesize Problem-Specific Planners , 2003 .

[11]  Dana S. Nau,et al.  Forward-Chaining Planning in Nondeterministic Domains , 2004, AAAI.

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

[13]  James A. Hendler,et al.  Information Gathering During Planning for Web Service Composition , 2004, SEMWEB.

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

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

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

[17]  David W. Aha,et al.  CaMeL: Learning Method Preconditions for HTN Planning , 2002, AIPS.

[18]  Paolo Traverso,et al.  Automated Planning: Theory & Practice , 2004 .

[19]  James A. Hendler,et al.  Automating DAML-S Web Services Composition Using SHOP2 , 2003, SEMWEB.

[20]  James A. Hendler,et al.  HTN planning for Web Service composition using SHOP2 , 2004, J. Web Semant..

[21]  Stefan Edelkamp,et al.  Automated Planning: Theory and Practice , 2007, Künstliche Intell..

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

[23]  Jochen Schiller,et al.  Location Based Services , 2004 .