Domain-specific control information is often essential in solving difficult planning problems efficiently. Temporal logics are a declarative and expressive way of expressing such control information for almost any form of planning. In this paper we investigate the integration of temporal logic control information into plan operators. For a given control formula Phi and operators O, we produce a new set O_Phi of operators that works like O under the control of Phi. We show that for a subset of temporal formulae the compilation causes only a low-polynomial increase in the number of operators, that the size of plans is not affected, and that the control information speeds up planners in an amount that is competitive with what is achieved with temporal logic control as formula progression.
Keywords: planning, automated reasoning
Citation: Jussi Rintanen: Incorporation of Temporal Logic Control into Plan Operators. In W.Horn (ed.): ECAI2000, Proceedings of the 14th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2000, pp.526-530.