Angelic semantics for high-level actions

ICAPS 2007, 17th International Conference on Automated Planning and Scheduling

Volumn , Issue , 2007, Pages 232-239

  Marthi, Bhaskara ^a   Russell, Stuart ^b   Wolfe, Jason ^b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SCHEDULING;

ACTION SEQUENCES; HIERARCHICAL PLANNING; PLANNING AGENTS; PLANNING ALGORITHMS; PRIMITIVE ACTIONS; PROPERTY; REACHABLE SET; SOUND AND COMPLETE; UNCERTAINTY; UPPER AND LOWER APPROXIMATION;

SEMANTICS;

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

References (15)

1. Bacchus, F., and Yang, Q. 1991. The downward refinement property. In Proc. IJCAI '91, 262-292.
2. Biundo, S., and Schattenberg, B. 2001. Prom abstract crisis to concrete relief - A preliminary report on combining state abstraction and HTN planning. In Proc. ECP-01, 157-168.
3. Doan, A., and Haddawy, R 1995. Decision-theoretic refinement planning: Principles and application. Technical Report TR-95-01-01, Univ. of Wisconsin-Milwaukee.
4. Fikes, R., and Nilsson, N. J. 1971. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2(3/4):189-208.
5. Georgeff, M. P., and Lansky, A. L. 1986. Procedural knowledge. Proc. IEEE 74(10):1383-1398.
6. Jagadeesan, R.; Shanbhogue, V.; and Saraswat, V. 1992. Angelic non-determinism in concurrent constraint programming. Technical report, Xerox PARC.
7. Knoblock, C. A. 1991. Automatically generating abstractions for problem solving. Ph.D. Dissertation, Carnegie Mellon University.
8. McDermott, D. 2000. The 1998 AI planning systems competition. AI Magazine 21(2):35-55.
9. McIlraith, S. A., and Fadel, R. 2002. Planning with complex actions. In Proc. NMR '02, 356-364.
10. Nau, D.; Au, T. C.; Ilghami, O.; Kuter, U.; Murdock, W. J.; Wu, D.; and Yaman, F. 2003. SHOP2: An HTN planning system. Journal of Artificial Intelligence Research 20:379-404.
11. Russell, S., and Norvig, P. 2003. Artificial Intelligence: A Modern Approach. Prentice-Hall, Englewood Cliffs, NJ, 2nd edition.
12. Simon, H. 1962. The architecture of complexity. Proc. American Philosophical Society 106(6):467-482.
13. Tate, A. 1977. Generating project networks. In Proc. IJCAI '77.
14. Yang, Q. 1990. Formalizing planning knowledge for hierarchical planning. Comput. Intell. 6(1):12-24.
15. Young, R. M.; Pollack, M. E.; and Moore, J. D. 1994. Decomposition and causality in partial-order planning. In AIPS '94.