Track:
Contents
Downloads:
Abstract:
In the situation calculus, plans and legal situations are isomorphic: a situation is legal iff it is the result of executing a plan in the initial situation. This isomorphism is important. It provides a basis on which certain control information in planning can be formalized in the situation calculus. As an application of this isomorphism, we investigate thoroughly a notion of goal ordering, and show its usefulness by applying it in a provably correct way to both linear and nonlinear planning.