Tuesday, March 4, 2008

One thought about completeness of ZENO and Decision Epoches planners

When reading these papers, I'm curious about why ZENO is complete but DEPs are not. One of the reasons I found is the difference between how they model the interaction/ordering between actions in the plans. ZENO post constraints between time points of actions, whereas DEPs uses advancing techniques. More interesting is that, in term of refinement planning, both of them can be considered as refinement operators, and advancing to decision epoches is not a complete refinement.
This difference does not exist in classical planning (i.e comparing POP v.s Progression/Regression) because decision epoches are not there and fattening and advancing work together...

No comments: