Managing concurrency in temporal planning using planner-scheduler interaction

Artificial Intelligence

Volumn 173, Issue 1, 2009, Pages 1-44

  Coles, Andrew ^a   Fox, Maria ^a   Halsey, Keith ^a   Long, Derek ^a   Smith, Amanda ^a  

^a UNIVERSITY OF STRATHCLYDE   (United Kingdom)

Author keywords

pddl2.1; Planning and scheduling; Temporal planning

Indexed keywords

INFERENCE ENGINES; LINGUISTICS; PROBLEM SOLVING; SCHEDULING;

EMPIRICAL DATUMS; PDDL2.1; PLANNING AND SCHEDULING; PLANNING DOMAIN DESCRIPTION LANGUAGES; TEMPORAL PLANNING;

PLANNING;

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

References (42)

1. Fox M., and Long D. PDDL2.1: An extension of PDDL for expressing temporal planning domains. Journal of Artificial Intelligence Research (JAIR) 20 (2003) 61-124
2. Gerevini A., and Serina I. LPG: A planner based on local search for planning graphs. Proceedings of the 6th International Conference of Artificial Intelligence Planning and Scheduling (AIPS'02) (2002), AAAI Press, Menlo Park, CA
3. Younes H.L.S., and Simmons R.G. VHPOP: Versatile heuristic partial order planner. Journal of Artificial Intelligence Research (JAIR) 20 (2003) 405-430
4. Edelkamp S. Taming numbers and durations in the model checking integrated planning system. Journal of Artificial Research (JAIR) 20 (2003) 195-238
5. Chen Y., Wah B.W., and Hsu C. Temporal planning using subgoal partitioning and resolution in sgplan. Journal of Artificial Intelligence Research (JAIR) 26 (2006) 323-369
6. D. Long, M. Fox, Exploiting a graphplan framework in temporal planning, in: Proceedings of the 13th International Conference on Automated Planning and Scheduling (ICAPS), 2003, pp. 52-61
7. A. Garrido, M. Fox, D. Long, A temporal planning system to manage level 3 durative actions of PDDL2.1, in: Proceedings of the 20th UK Planning and Scheduling Special Interest Group (PlanSIG), 2001, pp. 127-138
8. M.B. Do, S. Kambhampati, Sapa: A domain-independent heuristic metric temporal planner, in: Proceedings from the 6th European Conference of Planning (ECP), 2001, pp. 82-91
9. P. Haslum, H. Geffner, Heuristic planning with time and resources, in: Proceedings of the 6th European Conference on Planning (ECP), 2001, pp. 121-132
10. Ghallab M., and Laruelle H. Representation and control in IxTeT, a temporal planner. Proceedings of the Second International Conference on Artificial Intelligence Planning Systems (AIPS-94) (1994), AAAI Press, Menlo Park, CA 61-67
11. Bacchus F., and Kabanza F. Using temporal logics to express search control knowledge for planning. Artificial Intelligence 116 1-2 (2000) 123-191
12. P. Doherty, J. Kvarnstrom, TALplanner: An empirical investigation of a temporal logic-based forward chaining planner, in: Proceedings of the 6th International Workshop on the Temporal Representation and Reasoning, Orlando, Fl. (TIME'99), 1999
13. D. Smith, D.S. Weld, Temporal planning with mutual exclusion reasoning, in: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI), 1999, pp. 326-337
14. J. Penberthy, D. Weld, Temporal planning with continuous change, in: Proceedings of the 12th National Conference on Artificial Intelligence (AAAI), 1994
15. K. Halsey, D. Long, M. Fox, CRIKEY-A planner looking at the integration of scheduling and planning, in: Proceedings of the Workshop on Integration Scheduling Into Planning at 13th International Conference on Automated Planning and Scheduling (ICAPS'03), 2004, pp. 46-52
16. W. Cushing, S. Kambhampati, Mausam, D. Weld, When is temporal planning really temporal planning? in: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 2007, pp. 1852-1859
17. Smith D., Frank J., and Jónsson A. Bridging the gap between planning and scheduling. Knowledge Engineering Review 15 (2000) 61-94
18. P. Laborie, M. Ghallab, IxTeT: An integrated approach for plan generation and scheduling, in: Proceedings of INRIA/IEEE Symposium on Emerging Technologies and Factory Automation, 1995, pp. 485-495
19. M. Boddy, A. Cesta, S. Smith (Eds.), Proceedings of Workshop on Integrating Planning into Scheduling (WIPIS), 2004
20. Edelkamp S., and Helmert M. On the implementation of MIPS. AIPS-2000 Workshop on Decision-Theoretic Planning (2000), AAAI-Press 18-25
21. Allen J.F. Maintaining knowledge about temporal intervals. Communications of the ACM (1983) 832-843
22. M. Fox, D. Long, K. Halsey, An investigation into the expressive power of PDDL2.1, in: Proceedings of the 16th European Conference of Artificial Intelligence (ECAI), 2004
23. 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
24. Veloso M.M., Pérez M.A., and Carbonell J.G. Nonlinear planning with parallel resource allocation. Proceedings of the DARPA Workshop on Innovative Approaches to Planning, Scheduling, and Control (1990), Morgan Kaufmann, San Diego, CA 207-212
25. R. Dechter, I. Meiri, J. Pearl, Temporal constraint networks, in: Proceedings from Principles of Knowledge Representation and Reasoning, 1989, pp. 83-93
26. P. Laborie, D. Godard, Self-adapting large neighbourhood search: Application to single-mde scheduling problems, in: Proceedings of MISTA-07, 2007
27. Laborie P. Algorithms for propagating resource constraints in AI planning and scheduling: Existing approaches and new results. Artificial Intelligence 143 2 (2003) 151-188
28. J. Hoffmann, Extending FF to numerical state variables, in: Proceedings of the 15th European Conference on Artificial Intelligence (ECAI), 2002, pp. 571-575
29. Hoffmann J., and Edelkamp S. The deterministic part of IPC-4: An overview. Journal of Artificial Intelligence Research (JAIR) 24 (2005) 519-579
30. S. Cresswell, A. Coddington, Planning with timed literals and deadlines, in: J. Porteous (Ed.), Proceedings of the 22nd Workshop of the UK Planning and Scheduling Special Interest Group, University of Strathclyde, 2003, pp. 22-35, ISSN 1368-5708
31. T. Vidal, M. Ghallab, Constraint-based temporal management in planning: the IxTeT approach, in: Proc. of 12th European Conference on AI, 1996
32. A. Tate, Generating project networks, in: Proceedings of IJCAI-77, 1977
33. Drabble B., and Tate A. The use of optimistic and pessimistic resource profiles to inform search in an activity based planner. Proc. of 2nd Conference on AI Planning Systems (AIPS) (1994), AAAI Press
34. A. Tate, The 〈I-N-OVA〉 constraint model of plans, in: Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, 1996, pp. 221-228
35. Muscettola N. HSTS: Integrating planning and scheduling. In: Zweben M., and Fox M. (Eds). Intelligent Scheduling (1994), Morgan Kaufmann, San Mateo, CA 169-212
36. M. Ai-Change, J. Bresina, L. Charest, J. Hsu, A. Jónsson, R. Kanefsy, P. Maldegue, P. Morris, K. Rajan, J. Yglesias, MAPGEN: Mixed intitive activity planning for the Mars Exploratory Rover mission, in: Proceedings of Demonstration Systems Track, ICAPS'03, 2003
37. G. Rabideau, R. Knight, S. Chien, A. Fukunaga, A. Govindjee, Iterative repair planning for spacecraft operations in the ASPEN system, in: International Symposium on Artificial Intelligence Robotics and Automation in Space (ISAIRAS), 1999
38. Vere S. Planning in time: Windows and durations for activities and goals. IEEE Trans. on Pattern Analysis and MI 5 (1983) 246-267
39. M. Fox, D. Long, The third international planning competition: Temporal and metric planning, in: Proceedings from the 6th International Conference on Artificial Intelligence Planning and Scheduling (AIPS), 2002, pp. 115-117
40. J. Rintanen, Complexity of concurrent temporal planning, in: Proceedings of the 17th International Conference on Automated Planning and Scheduling (ICAPS), 2007, pp. 280-287
41. M. Fox, D. Long, A note on concurrency and complexity in temporal planning, in: Proceedings of the 26th UK Planning and Scheduling Special Interest Group (PlanSIG), 2007
42. A.I. Coles, M. Fox, D. Long, A.J. Smith, Planning with respect to an existing schedule of events, in: Proceedings of the 17th International Conference on Automated Planning and Scheduling (ICAPS), 2007, pp. 81-88