ECAI-2000 Logo

ECAI-2000 Conference Paper

[PDF] [full paper] [prev] [tofc] [next]

Incorporation of Temporal Logic Control into Plan Operators

Jussi Rintanen

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.

[prev] [tofc] [next]

ECAI-2000 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the Humboldt University on behalf of Gesellschaft für Informatik.