An Ordering Of Goals For Planning - Formalizing Control Information in the Situation Calculus

Fangzhen Lin

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.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.