Forward-chaining planning in nondeterministic domains

Proceedings of the National Conference on Artificial Intelligence

Volumn , Issue , 2004, Pages 513-518

  Kuter, Ugur ^a   Nau, Dana ^b  

^a University of Maryland ^*  (United States)

^b UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; CONFORMAL MAPPING; HEURISTIC METHODS; OPTIMIZATION; PROBLEM SOLVING;

EXOGENOUS EVENTS; FORWARD-CHAINING PLANNING; GOAL FORMULA; NONDETERMINISTIC DOMAINS;

PLANNING;

EID: 9444248635     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. Bacchus, F., and Kabanza, F. 2000. Using Temporal Logics to Express Search Control Knowledge for Planning. Artificial Intelligence 116(1-2):123-191.
2. Bertoli, P.; Cimatti, A.; Pistore, M.; Roveri, M.; and Traverso, P. 2001. MBP: A Model Based Planner. In Proceedings of IJCAI Workshop on Planning under Uncertainty and Incomplete Information, 93-97.
3. Blum, A. L., and Furst, M. L. 1997. Fast Planning Through Planning Graph Analysis. Artificial Intelligence 90(1-2):281-300.
4. Bonet, B., and Geffner, H. 1999. Planning as Heuristic Search: New Results. In Proceedings of the European Conference on Planning (ECP), 360-372. Durham, UK: Springer-Verlag.
5. Bonet, B., and Geffner, H. 2000. Planning with Incomplete Information as Heuristic Search in Belief Space. In Chien, S.; Kambhampati, S.; and Knoblock, C., eds., Proceedings of the International Conference on AI Planning Systems (AIPS), 52-61. Breckenridge, CO: AAAI Press.
6. Bonet, B., and Geffner, H. 2001. GPT: A tool for planning with uncertainty and partial information. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 82-87. Seattle, WA: Morgan Kaufmann.
7. Boutilier, C.; Dean, T. L.; and Hanks, S. 1999. Decision-Theoretic Planning: Structural Assumptions and Computational Leverage. Journal of Artificial Intelligence Research 11:1-94.
8. Castellini, C.; Giunchiglia, E.; and Tacchella, A. 2003. SAT-Based Planning in Complex Domains: Concurrency, Constraints and Nondeterminism. Artificial Intelligence 147(1-2):85-117. To appear.
9. Cimatti, A.; Pistore, M.; Roveri, M.; and Traverso, P. 2003. Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking. Artificial Intelligence 147(1-2):35-84.
10. Cimatti, A.; Roveri, M.; and Traverso, P. 1998. Strong Planning in Non-Deterministic Domains via Model Checking. In Proceedings of the International Conference on AI Planning Systems (AIPS), 36-43. Pittsburgh, PA: AAAI Press.
11. Daniele, M.; Traverso, P.; and Vardi, M. 1999. Strong Cyclic Planning Revisited. In Proceedings of the European Conference on Planning (ECP), 35-48. Durham, UK: Springer.
12. Ferraris, P., and Giunchiglia, E. 2000. Planning as Satisfiability in Nondeterministic Domains. In AAAI/IAAI Proceedings, 748-753. Menlo Park, CA: AAAI Press.
13. Hoffmann, J., and Nebel, B. 2001. The FF Planning System: Fast Plan Generation Through Heuristic Search. Journal of Artificial Intelligence Research 14:253-302.
14. Kabanza, F.; Barbeau, M.; and St-Denis, R. 1997. Planning Control Rules for Reactive Agents. Artificial Intelligence 95(1):67-113.
15. Kuter, U., and Nau, D. 2004. Using Forward-Chaining Planning for Generating Weak, Strong, and Strong-Cyclic Solutions in Nondeterministic Domains. Technical Report CS-TR-4580, Dept. of Computer Science, University of Maryland.
16. Kvarnström, J., and Doherty, P. 2001. TALplanner: A Temporal Logic-based Forward-chaining Planner. Annals of Mathematics and Articial Intelligence 30:119-169.
17. Nau, D.; Au, T.-C.; Ilghami, O.; Kuter, U.; Murdock, W.; Wu, D.; and Yaman, F. 2003. SHOP2: An HTN Planning System. Journal of Artificial Intelligence Research 20:379-404.
18. Peot, M., and Smith, D. 1992. Conditional Nonlinear Planning. In Proceedings of the International Conference on AI Planning Systems (AIPS), 189-197. College Park, MD: AAAI Press.
19. Pistore, M.; Bettin, R.; and Traverso, P. 2001. Symbolic Techniques for Planning with Extended Goals in Nondeterministic Domains. In Proceedings of the European Conference on Planning (ECP). Toledo, ES: Springer Verlag.
20. Pryor, L., and Collins, G. 1996. Planning for Contingency: A Decision-based Approach. Journal of Artificial Intelligence Research 4:81-120.
21. Smith, D. E., and Weld, D. S. 1998. Conformant Graphplan. In AAAI/IAAI Proceedings, 889-896. Menlo Park, CA: AAAI Press.
22. Weld, D. S.; Anderson, C. R.; and Smith, D. E. 1998. Extending Graphplan to Handle Uncertainty and Sensing Actions. In AAAI/IAAI Proceedings, 897-904. Menlo Park, CA: AAAI Press.