On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas

The generation of the set of all ground actions for a given set of ADL operators, which are allowed to have conditional effects and preconditions that can be represented using arbitrary first-order formulas is a complex process which heavily influences the performance of any planner or pre-planning analysis method. The paper describes a sophisticated instantiation procedure that determines so-called inertia in a given problem representation and uses them to perform simplifications of formulas during the instantiation process. As a result, many inapplicable actions are detected and ruled out from the domain representation yielding a much smaller search space for the planner.

• Type: Conference
• Year: 2000
• Where: PUK
• Authors: Jana Koehler, Jörg Hoffmann
• Keywords: Arbitrary First-order Formulas, Pre-planning Analysis Method, PUK 2000, PUK 2001, Sophisticated Instantiation Procedure