Sciweavers

ECAI
2000
Springer

Incorporation of Temporal Logic Control into Plan Operators

13 years 8 months ago
Incorporation of Temporal Logic Control into Plan Operators
Domain-specific control information is often essential in solving difficult planning problems efficiently. Temporal logics are a declarative and expressive representation for such control information. In this paper we investigate the integration of temporal logic control information into plan operators. For a given control formula Φ and operators O, we produce a new set OΦ of operators that works like O under the control of Φ. We show that for a subclass of temporal logic formulae the compilation causes only a low-polynomial increase in the size of the operators, that the length of plans is not affected, and that the speed-up obtained is competitive with what is achieved with temporal logic control as formula progression. The translation uses operators with conditional effects. An important benefit of our approach is that the problem of using temporal logic formulae as control information is solved once and for all: temporal logic control can be implemented as a preprocessing st...
Jussi Rintanen
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 2000
Where ECAI
Authors Jussi Rintanen
Comments (0)