language: en

An Ordering on Subgoals for Planning

Fangzhen Lin
Department of Computer Science The Hong Kong University of Science and Technology
Clear Water Bay, Kowloon, Hong Kong
fl@cs.ust.hk

Abstract Subgoal ordering is a type of control information that has received much attention in AI planning community. In this paper we formulate precisely a subgoal ordering in the situation calculus. We show how information about this subgoal ordering can be deduced from the background action theory. We also show for both linear and nonlinear planners how knowledge about this ordering can be used in a provably correct way to avoid unnecessary backtracking.

1 Introduction