Abstract
Three approaches to hierarchical planning have been widely discussed in the recent planning literature: Hierarchical Task Network (HTN) decomposition, model-reduction and operator decomposition. Abstraction is used in different ways in these three approaches and this has significance for both efficiency and expressive power. This paper identifies four issues that arise in the use of abstraction in planning which have been treated in different ways in the three approaches identified above. These issues are discussed with reference to an approach to abstraction which combines elements of the HTN and operator-decomposition approaches. Particular comparison is made with the HTN approach in order to highlight some important distinctions between the task decomposition and operator decomposition planning strategies. The CNF (Common Normal Form) case study, used by Erol to demonstrate certain features of the HTN approach, is used as the basis for this comparison.
Preview
Unable to display preview. Download preview PDF.
References
F. Bacchus and Q. Yang. Downward refinement and the efficiency of hierarchical problem solving. Artificial Intelligence, 71(1), 1994.
D. Chapman. Planning for conjunctive goals. Artificial Intelligence, 29, 1987.
M. Drummond. Refining and extending the procedural net. In Proceedings of IJCAI-85, 1985.
K. Erol. Hierarchical Task Network Planning: Formalization, Analysis and Implementation. PhD thesis, University of Maryland, 1995.
K. Erol, J. Hendler, and D.S. Nau. Semantics for hierarchical task network planning. Technical Report CS-TR-3239 UMICS-TR-94-31, Department of Computer Science, University of Maryland, USA, 1994.
H. Kautz. A formal theory of plan recognition and its implementation. In J.F. Allen, H.A. Kautz, R.N. Pelavin, and J.D. Tenenberg, editors, Reasoning about plans. Morgan-Kaufmann, 1991.
C. Knoblock. Automatically generating abstraction for planning. Artificial Intelligence, 68:2, 1994.
D. McAllester and D. Rosenblitt. Systematic non-linear planning. In Proceedings of IJCAI-91, 1991.
J.S. Penberthy and D.S. Weld. UCPOP: A sound and complete partial order planner for ADL. In Proceedings of KR-92, the 3rd International Conference on Principles of Knowledge Representation and Reasoning, 1992.
C. Reed, D.P. Long, and M. Fox. Context and focussing in argumentative discourse planning. In Proceedings of the International Conference on Context, 1997.
E.D. Sacerdoti. Planning in a hierarchy of abstraction spaces. Artificial Intelligence, 5, 1974.
E.D. Sacerdoti. A structure for plans and behaviour. American Elsevier, 1977.
A. Tate. Project planning using a hierarchical non-linear planner. Technical report, Department of Artificial Intelligence, University of Edinburgh, 1976.
A. Tate, B. Drabble, and J. Dalton. O-PLAN: A knowledge-based planner and its application to logistics (url: ftp://ftp.aiai.ed.ac.uk/pub/documents/1996/96-arpioplan-and-logistics.ps). In Advanced Planning Technologies. Morgan Kaufman, 1996.
J. Tenenberg. Abstraction in Planning. In J.F. Allen, H.A. Kautz, R.N. Pelavin, and J.D. Tenenberg, editors, Reasoning about plans. Morgan-Kaufmann, 1991.
D. Wilkins.Practical planning: extending the classical AI paradigm. Addison-Wesley, 1988.
Q. Yang. Formalizing planning knowledge for hierarchical planning. Computational Intelligence, 6, 1990.
R. M. Young and J. D. Moore. DPOCL: A principled approach to discourse planning. In Proceedings of the 7th International Workshop on NLG, 1994.
R. M. Young, M. E Pollack, and J. D. Moore. Decomposition and causality in partial order planning. In Proceedings of the Second International Conference on AI and Planning Systems, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fox, M. (1997). Natural hierarchical planning using operator decomposition. In: Steel, S., Alami, R. (eds) Recent Advances in AI Planning. ECP 1997. Lecture Notes in Computer Science, vol 1348. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63912-8_86
Download citation
DOI: https://doi.org/10.1007/3-540-63912-8_86
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63912-1
Online ISBN: 978-3-540-69665-0
eBook Packages: Springer Book Archive