Abstract
Planning with diverse knowledge, i.e., hybrid planning, is essential for robotic applications. However, powerful heuristics are needed to reason efficiently in the resulting large search spaces. HTN planning provides a means to reduce the search space; furthermore, meta-CSP search has shown promise in hybrid domains, both wrt. search and online plan adaptation. In this paper we combine the two approaches by implementing HTN-style task decomposition as a meta-constraint in a meta-CSP search, resulting in an HTN planner able to handle very rich domain knowledge. The planner produces partial-order plans and if several goal tasks are given, subtasks can be shared, leading to shorter plans. We demonstrate the straightforward integration of different kinds of knowledge for causal, temporal and resource knowledge as well as knowledge provided by an external path planner. The resulting online planner, CHIMP, is integrated in a plan-based robot control system and is demonstrated to physically guide a PR2 robot.
This work was supported by the EC Seventh Framework Program theme FP7-ICT-2011-7, grant agreement no. 287752.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Allen, J.: Towards a general theory of action and time. Artif. Intell. 23(2), 123–154 (1984)
Cesta, A., Oddi, A., Smith, S.F.: A constraint-based method for project scheduling with time windows. Journal of Heuristics 8(1), 109–136 (2002)
Dvorak, F., Bit-Monnot, A., Ingrand, F., Ghallab, M.: A flexible ANML actor and planner in robotics. In: Proc. of Planning and Robotics Workshop at ICAPS (2014)
Erol, K., Hendler, J., Nau, D.: HTN Planning: complexity and expressivity. In: Proc. AAAI, pp. 1123–1128 (1994)
Kaelbling, L.P., Lozano-Pérez, T.: Hierarchical planning in the now. In: IEEE Conference on Robotics and Automation (ICRA) (2011)
Lagriffoul, F., Dimitrov, D., Saffiotti, A., Karlsson, L.: Constraint propagation on interval bounds for dealing with geometric backtracking. In: Proc. of IEEE/RSJ Int’l Conf. on Intelligent Robots and Systems (2012)
Ligozat, G.: A new proof of tractability for ORD-Horn relations. In: AAAI Workshop on Spatial and Temporal Reasoning (1996)
Mansouri, M., Pecora, F.: More knowledge on the table: Planning with space, time and resources for robots. In: IEEE International Conference on Robotics and Automation (ICRA) (2014)
de Silva, L., Pandey, A.K., Alami, R.: An interface for interleaved symbolic-geometric planning and backtracking. In: IROS. IEEE (2013)
Smith, D.E., Cushing, W.: The ANML language. In: Proc. of the Scheduling and Planning Applications Workshop at ICAPS (2008)
Stock, S., Mansouri, M., Pecora, F., Hertzberg, J.: Online task merging with a hierarchical hybrid task planner for mobile service robots. In: Proc. IEEE/RSJ Int’l Conf. on Intelligent Robots and Systems (IROS) (2015) (in press)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Stock, S., Mansouri, M., Pecora, F., Hertzberg, J. (2015). Hierarchical Hybrid Planning in a Mobile Service Robot. In: Hölldobler, S., , Peñaloza, R., Rudolph, S. (eds) KI 2015: Advances in Artificial Intelligence. KI 2015. Lecture Notes in Computer Science(), vol 9324. Springer, Cham. https://doi.org/10.1007/978-3-319-24489-1_28
Download citation
DOI: https://doi.org/10.1007/978-3-319-24489-1_28
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-24488-4
Online ISBN: 978-3-319-24489-1
eBook Packages: Computer ScienceComputer Science (R0)