Abstract
To make planning feasible, planning models abstract from many details of the modeled system. When executing plans in the actual system, the model might be inaccurate in a critical point, and plan execution may fail. There are two options to handle this case: the previous solution can be modified to address the failure (plan repair), or the planning process can be re-started from the new situation (re-planning). In HTN planning, discarding the plan and generating a new one from the novel situation is not easily possible, because the HTN solution criteria make it necessary to take already executed actions into account. Therefore all approaches to repair plans in the literature are based on specialized algorithms. In this paper, we discuss the problem in detail and introduce a novel approach that makes it possible to use unchanged, off-the-shelf HTN planning systems to repair broken HTN plans. That way, no specialized solvers are needed.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
To simplify the following definitions, the definition is slightly different from Definition 1, where it is a sequence of identifiers mapped to the tasks. The latter makes it possible to identify which decomposition resulted in an action, which is not needed here.
References
Alford, R., Bercher, P., Aha, D.W.: Tight bounds for HTN planning. In: Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS), pp. 7–15. AAAI Press (2015)
Alford, R., Bercher, P., Aha, D.W.: Tight bounds for HTN planning with task insertion. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI). pp. 1502–1508. AAAI Press (2015)
Alford, R., Shivashankar, V., Kuter, U., Nau, D.S.: HTN problem spaces: structure, algorithms, termination. In: Proceedings of the 5th Annual Symposium on Combinatorial Search (SoCS), pp. 2–9. AAAI Press (2012)
Barták, R., Vlk, M.: Hierarchical task model for resource failure recovery in production Scheduling. In: Sidorov, G., Herrera-Alcántara, O. (eds.) MICAI 2016. LNCS (LNAI), vol. 10061, pp. 362–378. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-62434-1_30
Behnke, G., Höller, D., Bercher, P., Biundo, S.: Change the plan - how hard can that be? In: Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS), pp. 38–46. AAAI Press (2016)
Behnke, G., Höller, D., Biundo, S.: On the complexity of HTN plan verification and its implications for plan recognition. In: Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS), pp. 25–33. AAAI Press (2015)
Behnke, G., Höller, D., Biundo, S.: This is a solution! (...but is it though?) - Verifying solutions of hierarchical planning problems. In: Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS), pp. 20–28. AAAI Press (2017)
Bercher, P., Alford, R., Höller, D.: A survey on hierarchical planning - one abstract idea, many concrete realizations. In: Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI), pp. 6267–6275. IJCAI Organization (2019)
Bercher, P., et al.: Plan, repair, execute, explain - how planning helps to assemble your home theater. In: Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS), pp. 386–394. AAAI Press (2014)
Bercher, P., Höller, D., Behnke, G., Biundo, S.: User-centered planning. In: Biundo, S., Wendemuth, A. (eds.) Companion Technology. CT, pp. 79–100. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-43665-4_5
Bercher, P., Keen, S., Biundo, S.: Hybrid planning heuristics based on task decomposition graphs. In: Proceedings of the 7th Annual Symposium on Combinatorial Search (SoCS), pp. 35–43. AAAI Press (2014)
Bidot, J., Schattenberg, B., Biundo, S.: Plan repair in hybrid planning. In: Dengel, A.R., Berns, K., Breuel, T.M., Bomarius, F., Roth-Berghofer, T.R. (eds.) KI 2008. LNCS (LNAI), vol. 5243, pp. 169–176. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-85845-4_21
Biundo, S., Bercher, P., Geier, T., Müller, F., Schattenberg, B.: Advanced user assistance based on AI planning. Cogn. Syst. Res. 12(3–4), 219–236 (2011)
Boella, G., Damiano, R.: A replanning algorithm for a reactive agent architecture. In: Scott, D. (ed.) AIMSA 2002. LNCS (LNAI), vol. 2443, pp. 183–192. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-46148-5_19
Drabble, B., Dalton, J., Tate, A.: Repairing plans on-the-fly. In: Proceedings of the NASA Workshop on Planning and Scheduling for Space, pp. 13.1–13.8 (1997)
Dvor̆ák, F., Barták, R., Bit-Monnot, A., Ingrand, F., Ghallab, M.: Planning and acting with temporal and hierarchical decomposition models. In: Proceedings of the 26th International Conference on Tools with Artificial Intelligence (ICTAI), pp. 115–121. IEEE (2014)
Erol, K., Hendler, J.A., Nau, D.S.: Complexity results for HTN planning. Ann. Math. Artif. Intell. 18(1), 69–93 (1996)
Fox, M., Gerevini, A., Long, D., Serina, I.: Plan stability: replanning versus plan repair. In: Proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS), pp. 212–221. AAAI Press (2006)
Geier, T., Bercher, P.: On the decidability of HTN planning with task insertion. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI), pp. 1955–1961. IJCAI/AAAI (2011)
Gerevini, A., Serina, I.: Fast plan adaptation through planning graphs: local and systematic search techniques. In: Proceedings of the 5th International Conference on Artificial Intelligence Planning Systems (AIPS), pp. 112–121. AAAI Press (2000)
Höller, D., Behnke, G., Bercher, P., Biundo, S.: Language classification of hierarchical planning problems. In: Proceedings of the 21st European Conference on Artificial Intelligence (ECAI), pp. 447–452. IOS Press (2014)
Höller, D., Behnke, G., Bercher, P., Biundo, S.: Assessing the expressivity of planning formalisms through the comparison to formal languages. In: Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS), pp. 158–165. AAAI Press (2016)
Höller, D., Behnke, G., Bercher, P., Biundo, S.: Plan and goal recognition as HTN planning. In: Proceedings of the 30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), pp. 466–473. IEEE Computer Society (2018)
Höller, D., Bercher, P., Behnke, G., Biundo, S.: A generic method to guide HTN progression search with classical heuristics. In: Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press (2018)
Höller, D., Bercher, P., Behnke, G., Biundo, S.: HTN plan repair using unmodified planning systems. In: Proceedings of the 1st ICAPS Workshop on Hierarchical Planning (HPlan), pp. 26–30 (2018)
Höller, D., Bercher, P., Behnke, G., Biundo, S.: HTN planning as heuristic progression search. J. Artif. Intell. Res. 67, 835–880 (2020)
Kambhampati, S., Hendler, J.A.: A validation-structure-based theory of plan modification and reuse. Artif. Intell. 55, 193–258 (1992)
Nau, D.S., et al.: SHOP2: an HTN planning system. J. Artif. Intell. Res. 20, 379–404 (2003)
Nau, D.S., Cao, Y., Lotem, A., Muñoz-Avila, H.: The SHOP planning system. AI Mag. 22(3), 91–94 (2001)
Ramírez, M., Geffner, H.: Plan recognition as planning. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI), pp. 1778–1783. AAAI Press (2009)
Warfield, I., Hogg, C., Lee-Urban, S., Muñoz-Avila, H.: Adaptation of hierarchical task network plans. In: Proceedings of the 20th International Florida Artificial Intelligence Research Society Conference (FLAIRS), pp. 429–434. AAAI Press (2007)
Acknowledgments
Gefördert durch die Deutsche Forschungsgemeinschaft (DFG) – Projektnummer 232722074 – SFB 1102 / Funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) – Project-ID 232722074 – SFB 1102.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Höller, D., Bercher, P., Behnke, G., Biundo, S. (2020). HTN Plan Repair via Model Transformation. In: Schmid, U., Klügl, F., Wolter, D. (eds) KI 2020: Advances in Artificial Intelligence. KI 2020. Lecture Notes in Computer Science(), vol 12325. Springer, Cham. https://doi.org/10.1007/978-3-030-58285-2_7
Download citation
DOI: https://doi.org/10.1007/978-3-030-58285-2_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-58284-5
Online ISBN: 978-3-030-58285-2
eBook Packages: Computer ScienceComputer Science (R0)