Planning with Action Abstraction and Plan Decomposition Hierarchies

Useful and suitable action representations, with accompanying planning algorithms are crucial for the task performance of many agent systems, and thus a core issue of research on intelligent agents. An efficient and expressive representation of actions and plans can allow planning systems to retrieve relevant knowledge faster and to access and use suitable actions more effectively. Two general approaches have been pursued in the past; STRIPS-based planners, which construct plans from scratch, based on primitive action descriptions and planners using pre-defined Plan Decompositions Hierarchies, also known as Hierarchical Task Networks. In our research, we integrated both an inheritance hierarchy of actions, using STRIPS-like action descriptions, with a plan decomposition hierarchy, which consists of pre-defined plan schemata. This combination is suitable for a richer action and plan representation, and thus an improved planning algorithm. We implemented and tested this approach for a prototypical example application: the travel planning domain.

[1]  Nicola Guarino,et al.  Dwq : Esprit Long Term Research Project, No 22469 Part-whole Relations in Object-centered Systems: an Overview Part-whole Relations in Object-centered Systems: an Overview , 2022 .

[2]  Henry A. Kautz.  A formal theory of plan recognition , 1987 .

[3]  D. Hartfiel,et al.  Understanding , 2003 .

[4]  David E. Wilkins,et al.  A Call for Knowledge-Based Planning , 2001, AI Mag..

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

[6]  Craig A. Knoblock.  Automatically Generating Abstractions for Planning , 1994, Artif. Intell..

[7]  David E. Smith,et al.  Reasoning About Action I: A Possible Worlds Approach , 1987, Artif. Intell..

[8]  Enrico Franconi,et al.  A Temporal Description Logic for Reasoning about Actions and Plans , 1998, J. Artif. Intell. Res..

[9]  Daniel S. Weld.  Recent Advances in AI Planning , 1999, AI Mag..

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

[11]  Bob J. Wielinga,et al.  Using explicit ontologies in KBS development , 1997, Int. J. Hum. Comput. Stud..

[12]  Nicola Guarino,et al.  Understanding and building, using ontologies , 1997, Int. J. Hum. Comput. Stud..

[13]  Barbara Dunin-Keplicz,et al.  Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology , 2005 .

[14]  Dana S. Nau,et al.  Semantics for hierarchical task-network planning , 1994 .

[15]  Diane J. Litman,et al.  Terminological Reasoning with Constraint Networks and an Application to Plan Recognition , 1992, KR.

[16]  William A. Woods,et al.  Conceptual Indexing: A Better Way to Organize Knowledge , 1997 .

[17]  D. Litman,et al.  Subsumption and recognition of heterogeneous constraint networks , 1994, Proceedings of the Tenth Conference on Artificial Intelligence for Applications.

[18]  Thorsten Liebig,et al.  Action Hierarchies for the Automatic Generation of Multilingual Technical Documents , 1997 .

[19]  Christel Kemke.  A Formal Theory for Describing Action Concepts in Terminological Knowledge Bases , 2003, Canadian Conference on AI.

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

[21]  Christel Kemke.  About the Ontology of Actions , 2001 .

[22]  Jon Doyle,et al.  Two Theses of Knowledge Representation: Language Restrictions, Taxonomic Classification, and the Utility of Representation Services , 1991, Artif. Intell..