TY - GEN
T1 - Hierarchical task network planning with task insertion and state constraints
AU - Xiao, Zhanhao
AU - Herzig, Andreas
AU - Perrussel, Laurent
AU - Wan, Hai
AU - Su, Xiaoheng
PY - 2017
Y1 - 2017
N2 - We extend hierarchical task network planning with task insertion (TIHTN) by introducing state constraints, called TIHTNS. We show that just as for TIHTN planning, all solutions of the TIHTNS planning problem can be obtained by acyclic decomposition and task insertion, entailing that its planexistence problem is decidable without any restriction on decomposition methods. We also prove that the extension by state constraints does not increase the complexity of the plan-existence problem, which stays 2-NEXPTIME-complete, based on an acyclic progression operator. In addition, we show that TIHTNS planning covers not only the original TIHTN planning but also hierarchy-relaxed hierarchical goal network planning.
AB - We extend hierarchical task network planning with task insertion (TIHTN) by introducing state constraints, called TIHTNS. We show that just as for TIHTN planning, all solutions of the TIHTNS planning problem can be obtained by acyclic decomposition and task insertion, entailing that its planexistence problem is decidable without any restriction on decomposition methods. We also prove that the extension by state constraints does not increase the complexity of the plan-existence problem, which stays 2-NEXPTIME-complete, based on an acyclic progression operator. In addition, we show that TIHTNS planning covers not only the original TIHTN planning but also hierarchy-relaxed hierarchical goal network planning.
KW - network analysis (planning)
UR - http://handle.westernsydney.edu.au:8081/1959.7/uws:44496
U2 - 10.24963/ijcai.2017/623
DO - 10.24963/ijcai.2017/623
M3 - Conference Paper
SN - 9780999241103
SP - 4463
EP - 4469
BT - Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI-17): Melbourne, Australia, 19-25 August 2017
PB - International Joint Conferences on Artificial Intelligence
T2 - International Joint Conference on Artificial Intelligence
Y2 - 19 August 2017
ER -