Conformant planning via heuristic forward search: A new approach

Artificial Intelligence

Volumn 170, Issue 6-7, 2006, Pages 507-541

  Hoffmann, Jörg ^a   Brafman, Ronen I ^b  

^a MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

^b BEN GURION UNIVERSITY OF THE NEGEV   (Israel)

Author keywords

Heuristic search planning; Planning under uncertainty; Relaxed plan heuristic

Indexed keywords

BENCHMARKING; HEURISTIC METHODS; PROBLEM SOLVING; SEARCH ENGINES; UNCERTAIN SYSTEMS;

CONJUNCTIVE NORMAL FORM (CNF); HEURISTIC SEARCH PLANNING; PLANNING UNDER UNCERTAINTY; RELAXED PLAN HEURISTIC;

STRATEGIC PLANNING;

EID: 33645339523     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2006.01.003     Document Type: Article

References (31)

1. B. Bonet, and H. Geffner Planning with incomplete information as heuristic search in belief space S. Chien R. Kambhampati C. Knoblock Proceedings of the 5th International Conference on Artificial Intelligence Planning Systems (AIPS-00) 2000 AAAI Press Menlo Park, CA 52 61
2. A. Cimatti, and M. Roveri Conformant planning via symbolic model checking JAIR 13 2000 305 338
3. P. Bertoli, A. Cimatti, Improving heuristics for planning as search in belief space, in: [30], pp. 143-152
4. M. Davis, and H. Putnam A computing procedure for quantification theory J. ACM 7 3 1960 201 215
5. M. Davis, G. Logemann, and D. Loveland A machine program for theorem proving Comm. ACM 5 7 1962 394 397
6. J. Hoffmann, and B. Nebel The FF planning system: Fast plan generation through heuristic search J. Artificial Intelligence Res. 14 2001 253 302
7. D. Bryce, S. Kambhampati, D.E. Smith, Planning in belief space with a labelled uncertainty graph, in: Proc. AAAI-04 Workshop on Learning and Planning in Markov Decision Processes, 2004
8. P. Ferraris, and E. Giunchiglia Planning as satisfiability in nondeterministic domains Proceedings of the 17th National Conference of the American Association for Artificial Intelligence (AAAI-00) Austin, TX 2000 MIT Press Cambridge, MA 748 753
9. E. Giunchiglia Planning as satisfiability with expressive action languages: Concurrency, constraints, and nondeterminism A. Cohn F. Giunchiglia B. Selman Principles of Knowledge Representation and Reasoning: Proceedings of the 7th International Conference (KR-00) Breckenridge, CO 2000 Morgan Kaufmann San Mateo, CA
10. J. McCarthy, and P.J. Hayes Some philosophical problems from the standpoint of artificial intelligence B. Meltzer D. Michie Machine Intelligence, vol. 4 1969 Edinburgh University Press Edinburgh, UK 463 502
11. T. Bylander The computational complexity of propositional STRIPS planning Artificial Intelligence 69 1-2 1994 165 204
12. H. Turner Polynomial-length planning spans the polynomial hierarchy S. Flesca S. Greco N. Leone G. Ianni Logics in Artificial Intelligence - 8th European Conference JELIA-02 Cosenza, Italy 2002 Springer-Verlag Berlin 111 124
13. B. Bonet, and H. Geffner Planning as heuristic search Artificial Intelligence 129 1-2 2001 5 33
14. L. Zhang, S. Malik, Extracting small unsatisfiable cores from unsatisfiable boolean formulas, in: Proc. SAT-03, 2003
15. A.L. Blum, and M.L. Furst Fast planning through planning graph analysis Artificial Intelligence 90 1-2 1997 279 298
16. M.W. Moskewicz, C.F. Madigan, Y. Zhao, L. Zhang, and S. Malik Chaff: Engineering an efficient SAT solver in: Proceedings of the 38th Design Automation Conference (DAC-01), 2001 http://www.ee.princeton.edu/~chaff/ DAC2001v56.pdf
17. R. Brafman, A simplifier for propositional formulas with many binary clauses, in: [31], pp. 515-520
18. R.P.A. Petrick, F. Bacchus, A knowledge-based approach to planning with incomplete information and sensing, in: [30], pp. 212-221
19. A Cimatti, M. Roveri, and P. Bertoli Conformant planning via symbolic model checking and heuristic search Artificial Intelligence 159 1-2 2004 127 206
20. J. Slaney, and S. Thiebaux Blocks world revisited Artificial Intelligence 125 2001 119 153
21. D.E. Smith, and D. Weld Conformant Graphplan Proceedings of the 15th National Conference of the American Association for Artificial Intelligence (AAAI-98) Madison, WI 1998 MIT Press Cambridge, MA 889 896
22. J. Kurien, P.P. Nayak, D.E. Smith, Fragment-based conformant planning, in: [30], pp. 153-162
23. A. Cimatti, M. Roveri, P. Bertoli, Heuristic search + symbolic model checking = efficient conformant planning, in: [31], pp. 467-472
24. D. Bryce, S. Kambhampari, Heuristic guidance measures for conformant planning, in: [29], pp. 365-374
25. J. Rintanen Constructing conditional plans by a theorem-prover J. Artificial Intelligence Res. 10 1999 323 352
26. T. Eiter, W. Faber, N. Leone, and G. Pfeifer A logic programming approach to knowledge-state planning, II: The DLVK system Artificial Intelligence 144 1-2 2003 157 211
27. B.C. Gazen, and C. Knoblock Combining the expressiveness of UCPOP with the efficiency of Graphplan S. Steel R. Alami Recent Advances in AI Planning. 4th European Conference on Planning (ECP'97) Toulouse, France Lecture Notes in Artificial Intelligence vol. 1348 1997 Springer-Verlag Berlin 221 233
28. J. Hoffmann, and R. Brafman Contingent planning via heuristic forward search with implicit belief states S. Biundo K. Myers K. Rajan Proceedings of the 15th International Conference on Automated Planning and Scheduling (ICAPS-05) Monterey, CA 2005 Morgan Kaufmann San Mateo, CA in press
29. S. Koenig S. Zilberstein J. Koehler Proceedings of the 14th International Conference on Automated Planning and Scheduling (ICAPS-04) Whistler, Canada 2004 Morgan Kaufmann San Mateo, CA
30. M. Ghallab J. Hertzberg P. Traverso Proceedings of the 6th International Conference on Artificial Intelligence Planning and Scheduling (AIPS-02) Toulouse, France 2002 Morgan Kaufmann San Mateo, CA
31. B. Nebel Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01) Seattle, Washington 2001 Morgan Kaufmann San Mateo, CA