Translating conformant planning tasks in PPDDL into finite-domain representations
Zhen Zhang · Jisuanji yingyong yanjiu · 2011
Fisrt,introduced the description of the conformant planning tasks in PPDDL formulation and in finite-domain representation formally.Moreover,proposed a method for translating conformant planning tasks specified in the PPDDL formalism into a concise grounded representation that used finite-domain state variables,which called CFDR.Compared with MCPT,it mainly improved the method in invariant synthesis and MCPT generation to permit the uncertain initial state and non-determi-nistic action effects.Experimental results on the benchmark suite show that the approach is valid.