Improving performance of conformant planners: Static analysis of declarative planning domain specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5418 LNCS, Issue , 2009, Pages 239-253

  Tran, Dang Vien ^a   Nguyen, Hoang Khoi ^a   Pontelli, Enrico ^a   Son, Tran Cao ^a  

^a NEW MEXICO STATE UNIVERSITY   (United States)

Author keywords

Conformant Planning; Planning; Reasoning about Actions

Indexed keywords

CONFORMANT PLANNING; DECLARATIVE DESCRIPTIONS; HEURISTIC SEARCH; IMPROVING PERFORMANCE; INCOMPLETE KNOWLEDGE; NOVEL TECHNIQUES; PLANNING DOMAINS; PLANNING PROBLEM; REASONING ABOUT ACTIONS; STATIC ANALYZERS;

LINGUISTICS; PROCESS ENGINEERING; QUERY LANGUAGES; SPECIFICATIONS; TEXTILES;

PLANNING;

EID: 70350623134     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-92995-6_17     Document Type: Conference Paper

References (20)

1. Baral, C., Kreinovich, V., Trejo, R.: Computational complexity of planning and approximate planning in the presence of incompleteness. Artificial Intelligence 122, 241-267 (2000)
2. Bertoli, P., Cimatti, A., Roveri, M.: Heuristic search + symbolic model checking = efficient conformant planning. In: IJCAI, pp. 467-472. Morgan Kaufmann, San Francisco (2001)
3. Bonet, B., Givan, B.: Results of the conformant track of the 5th planning competition (2006), http://www.ldc.usb.ve/̃bonet/
4. Brafman, R., Hoffmann, J.: Conformant planning via heuristic forward search: A new approach. In: ICAPS, pp. 355-364. Morgan Kaufmann, San Francisco (2004)
5. Bryce, D.: POND: The Partially-Observable and Non-Deterministic Planner. In: Notes from the 5th International Planning Competition (2006)
6. Bryce, D., Kambhampati, S., Smith, D.: Planning Graph Heuristics for Belief Space Search. Journal of Artificial Intelligence Research 26, 35-99 (2006)
7. Bryce, D., Kambhampati, S.: Heuristic Guidance Measures for Conformant Planning. In: ICAPS, pp. 365-375. AAAI, Menlo Park (2004)
8. Cimatti, A., Roveri, M., Bertoli, P.: Conformant Planning via Symbolic Model Checking and Heuristic Search. Artificial Intelligence Journal 159, 127-206 (2004)
9. Gelfond, M., Lifschitz, V.: Representing actions in extended logic programs. In: JICSLP. MIT Press, Cambridge (1992)
10. Gelfond, M., Lifschitz, V.: Action Languages. ETAI 3(6) (1998)
11. Ghallab, M., et al.: PDDL: The Planning Domain Definition Language. Yale Center for Comp., Vis. and Ctrl (1998)
12. Hoffmann, J., Nebel, B.: The FF Planning System: Fast Plan Generation Through Heuristic Search. Journal of Artificial Intelligence Research 14, 253-302 (2001)
13. Hoffmann, J., Porteous, J., Sebastia, L.: Ordered landmarks in planning. J. Artif. Intell. Res. 22, 215-278 (2004)
14. Nguyen, X.L., Kambhampati, S., Nigenda, R.: Planning graph as the basis for deriving heuristics for plan synthesis by state space and CSP search. AIJ 135(1-2), 73-123 (2002)
15. Palacios, H., Geffner, H.: Compiling Uncertainty Away: Solving Conformant Planning Problems Using a Classical Planner (Sometimes). In: AAAI (2006)
16. Palacios, H., Geffner, H.: From Conformant into Classical Planning: Efficient Translations that may be Complete Too. In: ICAPS (2007)
17. Smith, D.E.,Weld, D.S.: Conformant graphplan. In: AAAI, pp. 889-896 (1998)
18. Son, T.C., Baral, C.: Formalizing sensing actions - a transition function based approach. Artificial Intelligence 125(1-2), 19-91 (2001)
19. Son, T.C., Tu, P.H.: On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information. In: KRR, pp. 481-491 (2006)
20. Son, T.C., Tu, P.H., Gelfond, M., Morales, R.: Conformant Planning for Domains with Constraints-A New Approach. In: AAAI, pp. 1211-1216 (2005)