Precondition Control and the Progression Algorithm


We consider the problem of planning with declarative search control in the framework of the situation calculus. In particular, we are concerned with forwardchaining planning with search control expressed by linear temporal logic formulas in the style of Bacchus & Kabanza’s TLPlan system. We introduce a procedure for extracting conditions which can then be… (More)