OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains

Journal of Artificial Intelligence Research

Volumn 13, Issue , 2000, Pages 189-226

  Jensen, Rune M ^a   Veloso, Manuela M ^a  

^a Carnegie Mellon University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (54)

1. Bacchus, F., & Kabanza, F. (1996). Using temporal logic to control search in a forward chaining planner. In Ghallab, M., & Milani, A. (Eds.), New directions in AI planning, pp. 141-153. ISO Press.
2. Baral, C., & Gelfond, M. (1997). Reasoning about effects of concurrent actions. The Journal of Logic Programming, 85-117.
3. Benda, M., Jagannathan, V., & Dodhiawala, R. (1986). On optimal cooperation of knowledge sources - an empirical investigation. Tech. rep. BCS-G2010-28, Boeing Advanced Technology Center, Boeing Computing Services.
4. Blum, A., & Furst, M. L. (1997). Fast planning through planning graph analysis. Artificial Intelligence, 90, 281-300.
5. Blythe, J. (1998). Planning under uncertainty in dynamic domains. Ph.D. thesis, Computer Science Department, Carnegie Mellon University. CMU-CS-98-147.
6. Blythe, J., & Veloso, M. M. (1997). Analogical replay for efficient conditional planning. In Proceedings of the 14th National Conference on Artificial Intelligence (AAAI'97), pp. 668-673. AAAI Press.
7. Bonet, B., Loerincs, G., & Geffner, H. (1997). A robust and fast action selection mechanism for planning. In Proceedings of the 14th National Conference on Artificial Intelligence (AAAI'97), pp. 714-719. AAAI Press.
8. Bryant, R. E. (1986). Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, 8, 677-691.
9. Burch, J., Clarke, E., & Long, D. (1991). Symbolic model checking with partitioned transition relations. In International Conference on Very Large Scale Integration, pp. 49-58. North-Holland.
10. Cimatti, A., Giunchiglia, E., Giunchiglia, F., & Traverso, P. (1997). Planning via model checking: A decision procedure for AR. In Proceedings of the 4th European Conference on Planning (ECP'97), Lecture Notes in Artificial Intelligence, pp. 130-142. Springer-Verlag.
11. Cimatti, A., Roveri, M., & Traverso, P. (1998a). Automatic OBDD-based generation of universal plans in non-deterministic domains. In Proceedings of the 15th National Conference on Artificial Intelligence (AAAI'98), pp. 875-881. AAAI Press.
12. Cimatti, A., Roveri, M., & Traverso, P. (1998b). Strong planning in non-deterministic domains via model checking. In Proceedings of the 4th International Conference on Artificial Intelligence Planning System (AIPS'98), pp. 36-43. AAAI Press.
13. Clarke, E., Grumberg, O., & Peled, D. (1999). Model Checking. MIT Press.
14. Clarke, E. M., Emerson, E. A., & Sistla, A. P. (1986). Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8(2), 244-263.
15. Currie, K., & Tate, A. (1991). O-plan: the open planning architecture. Artificial Intelligence, 52, 49-86.
16. Dean, T., Kaelbling, L. P., Kirman, J., & Nicholson, A. (1995). Planning under time constraints in stochastic domains. Artificial Intelligence, 76, 35-74.
17. Di Manzo, M., Giunchiglia, E., & Ruffino, S. (1998). Planning via model checking in deterministic domains: Preliminary report. In Proceedings of the 8th International Conference on Artificial Intelligence: Methodology, Systems and Applications (AIMSA'98), pp. 221-229. Springer-Verlag.
18. Drummond, M. (1989). Situated control rules. In Proceedings of the 1'st International Conference on Principles of Knowledge Representation and Reasoning (KR'89), pp. 103-113. Morgan Kaufmann.
19. Drummond, M., & Bresina, J. (1990). Anytime synthetic projection: Maximizing the probability of goal satisfaction. In Proceedings of the 8th Conference on Artificial Intelligence, pp. 138-144. AAAI Press.
20. Etzioni, O., Hanks, S., Weld, D., Draper, D., Lesh, N., & Williamson, M. (1992). An approach for planning with incomplete information. In Proceedings of the 3'rd International Conference on Principles of Knowledge Representation and Reasoning.
21. Fikes, R. E., & Nilsson, N. J. (1971). STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2, 189-208.
22. Gat, E. (1992). Integrating planning and reacting in a heterogeneous asynchronous architecture for controlling real-world mobile robots. In Proceedings of the 10th National Conference on Artificial Intelligence (AAAI'92), pp. 809-815. AAAI Press.
23. Gelfond, M., & Liftschitz, V. (1993). Representing action and change by logic programs. The Journal of Logic Programming, 17, 301-322.
24. Georgeff, M. P., & Lansky, A. L. (1987). Reactive reasoning and planning. In Proceedings of the 6th National Conference on Artificial Intelligence (AAAI'87), pp. 677-682. Morgan Kaufmann.
25. Ginsberg, M. L. (1989). Universal planning: An (almost) universal bad idea. AI Magazine, 10(4), 40-44.
26. Giunchiglia, E., Kartha, G. N., & Lifschitz, Y. (1997). Representing action: Indeterminacy and ramifications. Artificial Intelligence, 95, 409-438.
27. Giunchiglia, E., & Lifschitz, V. (1998). An action language based on causal explanation: Preliminary report. In Proceedings of the 15th National Conference on Artificial Intelligence (AAAI'98), pp. 623-630. AAAI Press.
28. Haigh, K. Z., & Veloso, M. M. (1998). Planning, execution and learning in a robotic agent. In Proceedings of the 4th International Conference on Artificial Intelligence Planning Systems (AIPS'98), pp. 120-127. AAAI Press.
29. Haslum, P., & Geffner, H. (2000). Admissible heuristics for optimal planning. In Proceedings of the 5th International Conference on Artificial Intelligence Planning System (AIPS'00), pp. 140-149. AAAI Press.
30. Jensen, R. M. (1999). OBDD-based universal planning in multi-agent, non-deterministic domains. Master's thesis, Technical University of Denmark, Department of Automation. IAU99F02.
31. Jensen, R. M., Veloso, M., & Bryant, R. E. (2000). Abstraction techniques for OBDD-based planning. Forthcoming.
32. Kabanza, F., Barbeau, M., & St-Denis, R. (1997). Planning control rules for reactive agents. Artificial Intelligence, 95, 67-113.
33. Kautz, H., & Selman, B. (1996). Pushing the envelope: Planning, propositional logic and stochastic search. In Proceedings of the 13th National Conference on Artificial Intelligence (AAAI'96), Vol. 2, pp. 1194-1201. AAAI Press.
34. Kautz, H., & Selman, B. (1999). Unifying SAT-based and graph-based planning. In Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99), Vol. 1, pp. 318-325. Morgan Kaufmann.
35. Koehler, J., Nebel, B., Hoffmann, J., & Dimopoulos, Y. (1997). Extending planning graphs to an ADL subset. In Proceedings of the 4th European Conference on Planning (ECP'97), pp. 273-285. Springer-Verlag.
36. Koenig, S., & Simmons, R. G. (1995). Real-time search in non-deterministic domains. In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI-95), pp. 1660-1667. Morgan Kaufmann.
37. Lever, J., & Richards, B. (1994). Parcplan: a planning architecture with parallel actions and constraints. In Lecture Notes in Artificial Intelligence, pp. 213-222. ISMIS'94, Springer-Verlag.
38. Lind-Nielsen, J. (1999). BuDDy - A Binary Decision Diagram Package. Tech. rep. IT-TR: 1999-028, Institute of Information Technology, Technical University of Denmark, http://cs.it.dtu.dk/buddy.
39. Lingard, A. R., & Richards, E. B. (1998). Planning parallel actions. Artificial Intelligence, 99, 261-324.
40. Long, D., & Fox, M. (1998). Domain independent planner compilation. In AIPS'98 Workshop: Knowledge Engineering and Acquisition for Planning: Bridging Theory and Practice. AAAI technical Report WS-98-03.
41. McDermott, D. (1999). The 1998 AI planning system competition. Artificial Intelligence Magazine. (submitted).
42. McMillan, K. L. (1993). Symbolic Model Checking. Kluwer Academic Publ.
43. Penberthy, J. S., & Weld, D. S. (1992). UCPOP: A sound, complete, partial order planner for ADL. In Proceedings of the 3'rd International Conference on Principles of Knowledge Representation and Reasoning, pp. 103-114. Morgan Kaufmann.
44. Peot, M., & Smith, D. (1992). Conditional nonlinear planning. In Proceedings of the 1'st International Conference on Artificial Intelligence Planning Systems (AIPS'92), pp. 189-197. Morgan Kaufmann.
45. Ranjan, R. K., Aziz, A., Brayton, R. K., Plessier, B., & Pixley, C. (1995). Efficient BDD algorithms for FSM synthesis and verification. In IEEE/ACM Proceedings of the International Workshop on Logic Synthesis.
46. Schoppers, M. J. (1987). Universal plans for reactive robots in unpredictable environments. In Proceedings of the 10th International Joint Conference on Artificial Intelligence (IJCAI-87), pp. 1039-1046. Morgan Kaufmann.
47. Smirnov, Y., Koenig, S., Veloso, M., & Simmons, R. (1996). Efficient goal-directed exploration. In Proceedings , the Thirteenth National Conference on Artificial Intelligence (AAAI'96), pp. 292-297. AAAI Press.
48. Stone, P., & Veloso, M. M. (1998). Towards collaborative and adversarial learning: A case study in robotic soccer. International Journal of Human-Computer Studies (IJHCS).
49. Sutton, R. S., & Barto, A. G. (1998). Reinforcement learning: an introduction. MIT Press.
50. Veloso, M., Carbonell, J., Pérez, A., Borrajo, D., Fink, E., & Blythe, J. (1995). Integrating planning and learning: The PRODIGY architecture. Journal of Experimental and Theoretical Artificial Intelligence, 7(1), 81-120.
51. Veloso, M. M. (1994). Planning and learning by analogical reasoning. Springer-Verlag.
52. Veloso, M. M., Pollack, M. E., & Cox, M. T. (1998). Rationale-based monitoring for planning in dynamic environments. In Proceedings of the 4th International Conference on Artificial Intelligence Planning Systems (AIPS'98), pp. 171-179. AAAI Press.
53. Weld, D. (1999). Recent advances in AI planning. Artificial Intelligence Magazine, 93-123.
54. Wilkins, D. E., Myers, K. L., Lowrance, J. D., & Wesley, L. P. (1994). Planning and reacting in uncertain and dynamic environments. Journal of Experimental and Theoretical Artificial Intelligence, 6, 197-227.