Over-subscription planning with numeric goals
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
| Hi-index | 0.00 |
Planning for numeric goals is an important problem. Only one of the many participants from the 2002 international planning competition (Metric-FF) can effectively handle problems containing numeric goal expressions. We report on planner S-MEP (Sequential More Expressive Planner) in this paper. S-MEP handles non-linear as well as linear expressions in preconditions, effects and goal. Metric-FF handles only linear expressions. Metric-FF ignores decrease effects of actions while computing the heuristic information. S-MEP considers decrease effects of actions while computing heuristic information. We report on empirical evaluation of S-MEP and its comparison with two versions of Metric-FF on 400 problems from linear Jugs domain, 120 problems from linear Short-Move-Karel domain and 120 problems from linear Long-Move-Karel domain. Karel domains are robotic transportation domains and Jugs domain is a fluid transfer domain. S-MEP solves many problems that neither version of Metric-FF can solve.