Finite-domain representations of conformant planning tasks based on single logic program.

Finite-domain representations (FDR) is one of the best methods to compress the size of state space, but it requires building a logic program for each initial state in grounding stage. Unfortunately the number of the possible initial state in conformant planning is always huge. So there will be heavy time and space overhead and even leads to memory overflow. In order to improve the efficiency of the algorithm, this paper designed a new method named IFDR using a single logic program to translate the PPDDL task into grounded one. A logic program consists of a set of facts and a set of rules. The set of facts of the logic program was formed by the atoms in all the possible initial state, and the set of rules was derived from the axiom and operator definitions. The outcomes of comparative experiments validate the accuracy and effectiveness of the new algorithm. [ABSTRACT FROM AUTHOR]