Method of Hierarchical States in Planning Based on Model Checking
Wen Zhong, Sun Y · 2009
Planning by model checking is an approach to planning under uncertainty that deals with nondeterminism. Three ways which obtain hierarchical states for searching weak planning, strong planning, and strong cyclic planning are respectively designed. Based on hierarchical states, some important conclusions on a weak solution, a strong solution, and a strong cyclic solution are obtained. What can be eliminated directly are all found when a weak solution, a strong solution, and a strong cyclic solution are in turn searched. Therefore many state-action pairs can be eliminated directly before starting planning. In fact, a way has been given which is based on a search proceeding forwards from the initial states towards the goal states.