Partial-order planning with concurrent interacting actions

Journal of Artificial Intelligence Research

Volumn 14, Issue , 2001, Pages 105-146

  Boutilier, Craig ^a   Brafman, Ronen I ^b  

^a UNIVERSITY OF TORONTO   (Canada)

^b BEN GURION UNIVERSITY OF THE NEGEV   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; PROBLEM SOLVING; STRATEGIC PLANNING;

MULTI-ACTUATOR PLANNING (MAP);

MULTI AGENT SYSTEMS;

EID: 0036374211     PISSN: 10769757     EISSN: None     Source Type: Journal    
DOI: 10.1613/jair.740     Document Type: Article

References (39)

1. Baral, C., & Gelfond, M. (1997). Reasoning about effects of concurrent actions. Journal of Logic Programming, 85-117.
2. Blum, A. L., & Furst, M. L. (1995). Fast planning through graph analysis. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pp. 1636-1642 Montreal.
3. Boutilier, C. (1996). Planning, learning and coordination in multiagent decision processes. In Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, pp. 195-210 Amsterdam.
4. Boutilier, C. (1999). Sequential optimality and coordination in multiagent systems. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, pp. 478-485 Stockholm.
5. Boutilier, C., & Goldszmidt, M. (1996). The frame problem and Bayesian network action representations. In Proceedings of the Eleventh Biennial Canadian Conference on Artificial Intelligence, pp. 69-83 Toronto.
6. Brafman, R. I., Halpern, J. Y., & Shoham, Y. (1998). On the knowledge requirements of tasks. Artificial Intelligence, 98(1-2), 317-350.
7. Cimatti, A., Giunchiglia, E., Giunchiglia, F., & Traverso, P. (1997). Planning via model checking: A decision procedure for AR. In Proceedings of the Fourth European Conference on Planning (ECP'97), pp. 130-142 Toulouse.
8. de Giacomo, G., Lésperance, Y., & Levesque, H. J. (1997). Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, pp. 1221-1226 Nagoya.
9. Dean, T., & Kanazawa, K. (1989). Persistence and probabilistic projection. IEEE Trans. on Systems, Man and Cybernetics, 19(3), 574-585.
10. des Jardins, M. E., Durfee, E. H., Ortiz Jr., C. L., & Wolverton, M. J. (1999). A survey of research in distributed continual planning. AI Magazine, 20(4), 13-22.
11. des Jardins, M. E., & Wolverton, M. J. (1999). Coodinating a distributed planning system. AI Magazine, 20(4), 13-22.
12. Donald, B. R., Jennings, J., & Rus, D. (1993). Information invariants for cooperating autonomous mobile robots. In Proceedings of the International Symposium on Robotics Research Hidden Valley, PA.
13. Durfee, E. H., & Lesser, V. R. (1989). Negotiating task decomposition and allocation using partial global planning. In Huhns, M., & Gasser, L. (Eds.), Distributed AI, Vol. 2. Morgan Kaufmann.
14. Durfee, E. H., & Lesser, V. R. (1991). Partial global planning: A coordination framework for distributed hypothesis formation. IEEE Transactions on System, Man, and Cybernetics, 21(5), 1167-1183.
15. Ephrati, E., Pollack, M. E., & Rosenschein, J. S. (1995). A tractable heuristic that maximizes global utility through plan combination. In Proceedings of the First International Conference on Multiagent Systems, pp. 94-101 San Francisco.
16. Fagin, R., Halpern, J. Y., Moses, Y., & Vardi, M. Y. (1995). Reasoning about Knowledge. MIT Press, Cambridge, MA.
17. Fikes, R., & Nilsson, N. (1971). STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2 (3-4), 189-208.
18. Ghallab, M., & Alaoui, A. M. (1989). Managing efficiently temporal relations through indexed spanning trees. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, pp. 1297-1303 Detroit.
19. Giunchiglia, E. (2000). Planning as satisfiability with expressive action languages: Concurrency, constraints and nondeterminism. In Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR'00), pp. 657-666 Breckenridge, CO.
20. Giunchiglia, E., & Lifschitz, V. (1998). An action language based on causal explanation: Preliminary report. In Proceedings of the Fifteenth National Conference on Artificial Intelligence, pp. 623-630 Madison, WI.
21. Grosz, B. J., Hunsberger, L., & Kraus, S. (1999). Planning and acting together. AI Magazine, 20(4), 13-22.
22. Jensen, R. M., & Veloso, M. M. (2000). OBDD-based universal planning for synchronized agents in non-deterministic domains. Journal of Artificial Intelligence Research, 13, 189-226.
23. Kautz, H., & Selman, B. (1996). Pushing the envelope: Planning, prepositional logic, and stochastic search. In Proceedings of the Thirteenth National Conference on Artificial Intelligence, pp. 1194-1201 Portland, OR.
24. Khatib, O., Yokoi, K., Chang, K., Ruspini, D., Holmberg, R., Casal, A., & Baader, A. (1996). Force strategies for cooperative tasks in multiple mobile manipulation systems. In Giralt, G., & Hirzinger, G. (Eds.), Robotics Research 7, The Seventh International Symposium, pp. 333-342. Springer-Verlag, Berlin.
25. Knoblock, C. A. (1994). Generating parallel execution plans with a partial-order planner. In Proceedings of the Second International Conference on AI Planning Systems, pp. 98-103 Chicago.
26. Koehler, J. (1998). Planning under resource constraints. In Proceedings of the Thirteenth European Conference on Artificial Intelligence, pp. 489-493 Brighton, UK.
27. Lin, F., & Shoham, Y. (1992). Concurrent actions in the situation calculus. In Proceedings of the Tenth National Conference on Artificial Intelligence, pp. 590-595 San Jose.
28. Lingard, A. R., & Richards, E. B. (1998). Planning parallel actions. Artificial Intelligence, 99(2), 261-324.
29. McCarthy, J., & Hayes, P. (1969). Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence, 4, 463-502.
30. Moses, Y., & Tennenholtz, M. (1995). Multi-entity models. Machine Intelligence, 14, 63-88.
31. Penberthy, J. S., & Weld, D. S. (1992). UCPOP: A sound, complete, partial order planner for ADL. In Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92), pp. 103-114 Cambridge, MA.
32. Pinto, J. (1998). Concurrent actions and interacting effects. In Proceedings of the Sixth International Conference on Principles of Knowledge Rerpresentation and Reasoning (KR'98), pp. 292-303 Trento.
33. Reiter, R. (1978). On closed world databases. In Gallaire, H., & Minker, J. (Eds.), Logic and Databases, pp. 55-76. Plenum, New York.
34. Reiter, R. (1991). The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Lifschitz, V. (Ed.), Artificial Intelligence and Mathematical Theory of Computation (Papers in Honor of John McCarthy), pp. 359-380. Academic Press, San Diego.
35. Reiter, R. (1996). Natural actions, concurrency and continuous time in the situation calculus. In Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), pp. 2-13.
36. Stone, P., & Veloso, M. M. (1999). Task decomposition, dynamic role assignment, and low-bandwidth communication for real-time strategic teamwork. Artificial Intelligence, 110(2), 241-273.
37. Weld, D. S. (1994). An introduction to least commitment planning. AI Magazine, 15(4), 27-61.
38. Wilkins, D. E., & Myers, K. L. (1998). A multiagent planning architecture. In Proceedings of the Fourth International Conference on AI Planning Systems, pp. 154-162 Pittsburgh.
39. Wolverton, M. J., & des Jardins, M. (1998). Controlling communication in distributed planning using irrelevance reasoning. In Proceedings of the Fifteenth National Conference on Artificial Intelligence, pp. 868-874 Madison, WI.