We consider the problem of planning with declarative search control in the framework of the situation calculus. In particular, we are concerned with forward-chaining planning with search control expressed by linear temporal logic formulas in the style of Bacchus and Kabanza’s TLPlan system. We introduce a procedure for extracting conditions which can then be evaluated on plan prefixes for enforcing search control. These conditions are situation calculus formulas whose entailment can be checked by regression and can be used as further preconditions of actions in nonMarkovian action theories and in some cases in classical Markovian theories through a transformation procedure. We show that these conditions eliminate exactly the same plan prefixes as the Progression algorithm of the TLPlan system.

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.