Improving Heuristics for Planning as Search in Belief Space

Proceedings of the 6th International Conference on Artificial Intelligence Planning Systems, AIPS 2002

Volumn , Issue , 2002, Pages 143-152

  Bertoli, Piergiorgio ^a   Cimatti, Alessandro ^a  

^a ITC IRST   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; KNOWLEDGE ACQUISITION; MODEL CHECKING; PROBLEM SOLVING;

BELIEF SPACE; CONDITION; DEGREE-OF-KNOWLEDGE; INFORMED SEARCH; MODEL-CHECKING TECHNIQUES; PLANNING ALGORITHMS; PLANNING UNDER UNCERTAINTY; SEARCH DIRECTION; SUBGOALS; SYMBOLIC MODEL CHECKING;

BINARY DECISION DIAGRAMS;

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

References (27)

1. Bertoli, P.; Cimatti, A.; Pistore, M.; Roveri, M.; and Traverso, P. 2001a. MBP: a Model Based Planner. In Proc. of the IJCAI'01 Workshop on Planning under Uncertainty and Incomplete Information.
2. th International Joint Conference on Artificial Intelligencof (IJCAI-01). AAAI Press.
3. Bertoli, P.; Cimatti, A.; and Roveri, M. 2001a. Conditional Planning under Partial Observability as Heuristic-Symbolic Search in Belief Space. In A. Cesta, D. B., ed., Proceedings ECP'01.
4. th International Joint Conference on Artificial Intelligencof (IJCAI-01). AAAI Press.
5. th International Conference on Artificial Intelligence Planning and Scheduling, 52-61. AAAI-Press.
6. Bryant, R. E. 1992. Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys 24(3):293-318.
7. Castellini, C.; Giunchiglia, E.; and Tacchella, A. 2001. Improvements to SAT-based Conformant Planning. In A. Cesta, D. B., ed., Proceedings ECP'01.
8. Cimatti, A., and Roveri, M. 2000. Conformant Planning via Symbolic Model Checking. Journal of Artificial Intelligence Research (JAIR) 13:305-338.
9. Cimatti, A.; Clarke, E.; Giunchiglia, F.; and Roveri, M. 1998. NUSMV: a reimplementation of SMV. In Proceeding of the International Workshop on Software Tools for Technology Transfer (STTT-98), 25-31. Aalborg, Denmark: BRICS Notes Series, NS-98-4. Also IRST-Technical Report 9801-06, Trento, Italy.
10. Cimatti, A.; Roveri, M.; and Bertoli, P. 2001. Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking. In Proceedings of the 7th International Conference on Tools and Algorithms for the Construction of Systems, 313-327. Springer.
11. Cimatti, A.; Roveri, M.; and Traverso, P. 1998a. Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains. In Proceeding of the Fifteenth National Conference on Artificial Intelligence (AAAI-98). Madison, Wisconsin: AAAI-Press. Also IRST-Technical Report 9801-10, Trento, Italy.
12. Cimatti, A.; Roveri, M.; and Traverso, P. 1998b. Strong Planning in Non-Deterministic Domains via Model Checking. In Proceeding of the Fourth International Conference on Artificial Intelligence Planning Systems (AIPS-98). Carnegie Mellon University, Pittsburgh, USA: AAAI-Press.
13. De Giacomo, G., and Vardi, M. 1999. Automata-Theoretic Approach to Planning for Temporally Extended Goals. In Biundo, S., ed., Proceeding of the Fifth European Conference on Planning, Lecture Notes in Artificial Intelligence. Durham, United Kingdom: Springer-Verlag.
14. k Planning System. In Proceedings of the IJCAI-01 Workshop on Planning with Uncertainty and Incomplete Information.
15. Filzi, A.; Pirri, F.; and Reiter, R. 2000. Open world planning in the situation calculus. In Proceedings of Seventeenth National Conference on Artificial Intelligence (AAAI'00). Austin, Texas: AAAI Press.
16. Giunchiglia, E.; Kartha, G. N.; and Lifschitz, V. 1997. Representing action: Indeterminacy and ramifications. Artificial Intelligence 95(2):409-438.
17. Hoffmann, J., and Nebel, B. 2001. The FF planning system: Fast plan generation through heuristic search. Journal of Artificial Intelligence Research 14:253-302.
18. Kabanza, F.; Barbeau, M.; and St-Denis, R. 1997. Planning control rules for reactive agents. Artificial Intelligence 95(1):67-113.
19. Kurien, J.; Nayak, P. P.; and Smith, D. 2001. Fragment-based Conformant Planning. Unpublished document.
20. Pixley, C.; Jeong, S.-W.; and Hachtel, G. D. 1992. Exact calculation of synchronization sequences based on binary decision diagrams. In Proceedings of the 29th Conference on Design Automation, 620-623. Los Alamitos, CA, USA: IEEE Computer Society Press.
21. Pryor, L., and Collins, G. 1996. Planning for Contingency: a Decision Based Approach. J. of Artificial Intelligence Research 4:81-120.
22. Rho, J.-K.; Somenzi, F.; and Pixley, C. 1993. Minimum length synchronizing sequences of finite state machine. In IEEE, A.-S., ed., Proceedings of the 30th ACM/IEEE Design Automation Conference, 463-468. Dallas, TX: ACM Press.
23. Rintanen, J. 1999. Constructing conditional plans by a theorem-prover. Journal of Artificial Intellegence Research 10:323-352.
24. Smith, D. E., and Weld, D. S. 1998. Conformant graphplan. In Proceedings of the 15th National Conference on Artificial Intelligence (AAAI-98) and of the 10th Conference on Innovative Applications of Artificial Intelligence (IAAI-98), 889-896. Menlo Park: AAAI Press.
25. Somenzi, F. 1997. CUDD: CU Decision Diagram package - release 2.1.2. Department of Electrical and Computer Engineering - University of Colorado at Boulder.
26. Thiebaux, S., and Cordier, M. 2001. Supply restoration in power distribution systems - a benchmark for planning under uncertainty. In A. Cesta, D. B., ed., Proceedings ECP'01.
27. Weld, D. S.; Anderson, C. R.; and Smith, D. E. 1998. Extending graphplan to handle uncertainty and sensing actions. In Proceedings of the 15th National Conference on Artificial Intelligence (AAAI-98) and of the 10th Conference on Innovative Applications of Artificial Intelligence (IAAI-98), 897-904. Menlo Park: AAAI Press.