An approach to efficient planning with numerical fluents and multi-criteria plan quality

Artificial Intelligence

Volumn 172, Issue 8-9, 2008, Pages 899-944

  Gerevini, Alfonso E ^a   Saetti, Alessandro ^a   Serina, Ivan ^a  

^a UNIVERSITY OF BRESCIA   (Italy)

Author keywords

Automated planning; Domain independent planning; Efficient planning; Heuristic search for planning; Numerical fluents; Planning with numerical information

Indexed keywords

GRAPH THEORY; HEURISTIC METHODS; NUMERICAL METHODS; PROBLEM SOLVING;

AUTOMATED PLANNING; DOMAIN-INDEPENDENT PLANNING; HEURISTIC SEARCH; OBJECTIVE FUNCTIONS;

REAL TIME SYSTEMS;

EID: 41049115532     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2008.01.002     Document Type: Article

References (49)

1. F. Bacchus, M. Ady, Planning with resources and concurrency: A forward chaining approach, in: Proceedings 17th International Joint Conference on Artificial Intelligence (IJCAI-01), Seattle, WA, USA, 2001, pp. 417-424
2. J. Benton, M.B. Do, S. Kambhampati, Over-subscription planning with numeric goals, in: Proceedings 19th International Joint Conference on Artificial Intelligence (IJCAI-05), Edinburgh, Scotland, 2005, pp. 1207-1214
3. Blum A., and Furst M.L. Fast planning through planning graph analysis. Artificial Intelligence 90 (1997) 281-300
4. Chen Y., Hsu C., and Wah B. Temporal planning using subgoal partitioning and resolution in SGPlan. Journal of Artificial Intelligence Research (JAIR) 26 (2006) 323-369
5. Y. Chen, C. Hsu, W. Wha, SGPlan: Subgoal partitioning and resolution in planning, in: Abstract Booklet of the Competing Planners of ICAPS-04, 2004, pp. 30-32
6. Dechter R., Meiri I., and Pearl J. Temporal constraint networks. Artificial Intelligence 49 (1991) 61-95
7. Y. Dimopoulos, A. Gerevini, P. Haslum, A. Saetti, The benchmark domains of the deterministic part of IPC-5, in: Abstract Booklet of the Competing Planners of ICAPS-06, 2006, pp. 14-19
8. Do M., and Kambhampati S. Sapa: A multi-objective metric temporal planner. Journal of Artificial Intelligence Research (JAIR) 20 (2003) 155-194
9. Edelkamp S. Taming numbers and duration in the model checking integrated planning system. Journal of Artificial Intelligence Research (JAIR) 20 (2003) 61-124
10. M. Fox, D. Long, Utilizing automatically inferred invariants in graph construction and search, in: Proceedings 5th International Conference on Artificial Intelligence Planning and Scheduling (AIPS-00), Breckenridge, CO, USA, 2000, pp. 102-111
11. Fox M., and Long D. PDDL2.1: An extension to PDDL for expressing temporal planning domains. Journal of Artificial Intelligence Research (JAIR) 20 (2003) 61-124
12. A. Garrido, D. Long, Planning with numeric variables in multi-objective planning, in: Proceedings 16th European Conference on Artificial Intelligence (ECAI-04), Valencia, Spain, 2004, pp. 662-666
13. A. Gerevini, D. Long, Plan constraints and preferences in PDDL3, Technical Report 2005-08-47, Università degli Studi di Brescia, Dipartimento di Elettronica per l'Automazione, 2005
14. Gerevini A., Saetti A., and Serina I. On managing temporal information for handling durative actions in LPG. AI*IA 2003: Advances in Artificial Intelligence (2003), Springer-Verlag, Berlin, Heidelberg, New York 91-104
15. Gerevini A., Saetti A., and Serina I. Planning through stochastic local search and temporal action graphs. Journal of Artificial Intelligence Research (JAIR) 20 (2003) 239-290
16. A. Gerevini, A. Saetti, I. Serina, An empirical analysis of some heuristic features for local search in LPG, in: Proceedings 14th International Conference on Automated Planning and Scheduling (ICAPS-04), Whistler, Canada, 2004, pp. 171-180
17. Gerevini A., Saetti A., and Serina I. An approach to temporal planning and scheduling in domains with predictable exogenous events. Journal of Artificial Intelligence Research (JAIR) 25 (2006) 187-231
18. A. Gerevini, A. Saetti, I. Serina, An approach to efficient planning with numerical fluents and multi-criteria plan quality (preliminary report), Technical Report 2007-01-53, Università degli Studi di Brescia, Dip. di Elettronica per l'Automazione, 2007
19. A. Gerevini, I. Serina, Fast planning through greedy action graphs, in: Proceedings 16th National Conference on Artificial Intelligence (AAAI-99), Orlando, FL, USA, 1999, pp. 503-510
20. M. Ghallab, A. Howe, C. Knoblock, D. McDermott, A. Ram, M. Veloso, D. Weld, D. Wilkins, PDDL-the planning domain definition language, Technical Report CVC TR98-003/DCS TR-1165, Yale Center for Computational Vision and Control, 1998
21. Ghallab M., Nau D., and Traverso P. Automated Planning: Theory and Practice (2003), Morgan Kaufmann Publishers, San Francisco, CA, USA
22. Glover F., and Laguna M. Tabu Search (1997), Kluwer Academic Publishers, Boston, MA, USA
23. Goldberg D.E. Genetic Algorithms in Search, Optimization and Machine Learning (1989), Addison-Wesley, Boston, MA, USA
24. P. Haslum, H. Geffner, Heuristic planning with time and resources, in: Proceedings 6th European Conference on Planning (ECP-01), Toledo, Spain, 2001
25. M. Helmert, Decidability and undecidability results for planning with numerical state variables, in: Proceedings 6th International Conference on Artificial Intelligence Planning and Scheduling (AIPS-02), Toulouse, France, 2002, pp. 303-312
26. Helmert M. The Fast Downward planning system. Journal of Artificial Intelligence Research (JAIR) 26 (2006) 191-246
27. Hoffmann J. The Metric-FF planning system: Translating "ignoring delete lists", to numeric state variables. Journal of Artificial Intelligence Research (JAIR) 20 (2003) 291-341
28. Hoffmann J., and Edelkamp S. The deterministic part of IPC-4: An overview. Journal of Artificial Intelligence Research (JAIR) 24 (2005) 519-579
29. Hoffmann J., Edelkamp S., Thièbaux S., Englert R., Liporace F., and Trueg S. Engineering benchmarks for planning: the domains used in the deterministic part of IPC-4. Journal of Artificial Intelligence Research (JAIR) 26 (2006) 453-541
30. J. Hoffmann, H. Kautz, C. Gomes, B. Selman, SAT encodings of state-space reachability problems in numeric domains, in: Proceedings 20th International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, 2007
31. Hoffmann J., and Nebel B. The FF planning system: Fast plan generation through heuristic search. Journal of Artificial Intelligence Research (JAIR) 14 (2001) 253-302
32. C. Hsu, B.W. Wah, R. Huang, Y. Chen, New features in SGPlan for handling preferences and constraints in PDDL3.0, in: Abstract Booklet of the competing planners of IPC-5, 2006, pp. 39-41
33. H. Kautz, J.P. Walser, State-space planning by integer optimization, in: Proceedings 16th National Conference on Artificial Intelligence (AAAI-98), Madison, WI, USA, 1998, pp. 526-533
34. J. Koehler, Planning under resource constraints, in: Proceedings 13th European Conference on Artificial Intelligence (ECAI-98), Brighton, UK, 1998, pp. 489-493
35. J. Koehler, B. Nebel, J. Hoffmann, Y. Dimopoulos. Extending planning graphs to an ADL subset, Technical Report 88, Institut für Informatik, Freiburg, Germany, 1997
36. Long D., and Fox M. The 3rd international planning competition: Results and analysis. Journal of Artificial Intelligence Research (JAIR) 20 (2003) 1-59
37. D. Nau, Y. Cao, A. Lotem, H. Muñoz Avila, SHOP: Simple hierarchical ordered planner, in: Proceedings 16th International Joint Conference on Artificial Intelligence (IJCAI-99), Stockholm, Sweden, 1999, pp. 968-973
38. J.S. Penberthy, D.S. Weld, Temporal planning with continuous change, in: Proceedings 12th National Conference on Artificial Intelligence (AAAI-94), Seattle, WA, USA, 1994, pp. 1010-1015
39. S.J. Penberthy, Planning with continuous change, PhD thesis, University of Washington, 1993. Available as technical report UW-CSE-93-12-01
40. Ramesh T. Traveling purchaser problem. Opsearch 18 (1981) 78-91
41. I. Refanidis, I. Vlahavas, GRT: A domain independent heuristic for STRIPS worlds based on greedy regression tables, in: Proceedings 5th European Conference on Planning (ECP-99), Durham, UK, 1999, pp. 346-358
42. I. Refanidis, I. Vlahavas, Heuristic planning with resources, in: Proceedings 14th European Conference on Artificial Intelligence (ECAI-00), Berlin, Germany, 2000, pp. 521-525
43. Refanidis I., and Vlahavas I. Multiobjective heuristic state-space planning. Artificial Intelligence Journal 145 1-2 (2003) 1-32
44. B. Selman, H.A. Kautz, B. Cohen, Noise strategies for improving local search, in: Proceedings 12th National Conference on Artificial Intelligence (AAAI-94), Seattle, WA, USA, 1994, pp. 337-343
45. Simon A.H. Models of Man (1957), John Wiley & Sons Inc., New York, USA
46. D. Smith, Choosing objectives in over-subscription planning, in: Proceedings 14th International Conference on Automated Planning and Scheduling (ICAPS-04), Whistler, Canada, 2004
47. Wilcoxon F., and Wilcox R.A. Some Rapid Approximate Statistical Procedures (1964), Lederle Laboratories, Pearl River, New York, USA
48. M. Williamson, S. Hanks, Optimal planning with a goal-directed utility model, in: Proceedings 2nd International Conference on Artificial Intelligence Planning and Scheduling (AIPS-94), Chicago, IL, USA, 1994, pp. 176-181
49. S. Wolfman, D. Weld, The LPSAT system and its applications to resource planning, in: Proceedings 16th International Joint Conference on Artificial Intelligence (IJCAI-99), Stockholm, Sweden, 1999