Conjunctive Representations in Contingent Planning: Prime Implicates versus Minimal CNF Formula

Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011

Volumn , Issue , 2011, Pages 1023-1028

  To, Son Thanh ^a   Son, Tran Cao ^a   Pontelli, Enrico ^a  

^a New Mexico State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

CNF FORMULAS; CONFORMANT PLANNING; DETERMINISTICS; HEURISTIC FUNCTIONS; INCOMPLETE INFORMATION; PRIME IMPLICATE; PROPERTY; SEARCH ALGORITHMS; SEARCH HEURISTICS; STATE REPRESENTATION;

HEURISTIC ALGORITHMS;

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

References (12)

1. Albore, A.; Palacios, H.; and Geffner, H. 2009. A Translation-based Approach to Contingent Planning. IJCAI.
2. P. Bertoli et al. 2001. MBP: a model based planner. IJCAI Workshop on Planning under Uncert. and Incomplete Inf..
3. Hoffmann, J. and Brafman, R. 2005. Contingent planning via heuristic forward search with implicit belief states. In ICAPS.
4. Bryant, R. E. 1992. Symbolic boolean manipulation with ordered binary decision diagrams. ACM Computing Surveys, 24(3):293-318.
5. Bryce, D.; Kambhampati, S.; and Smith, D. 2006. Planning Graph Heuristics for Belief Space Search. JAIR, 26:35-99.
6. Haslum, P. and Jonsson, P. 1999. Some results on the complexity of planning with incomplete information. In Proc. of ECP-99, Lect. Notes in AI Vol 1809. Springer.
7. Peot, M. and Smith, D. 1992. Conditional nonlinear planning. AIPS.
8. To, S. T.; Pontelli, E.; and Son, T. C. 2009. A Conformant Planner with Explicit Disjunctive Representation of Belief States. In ICAPS.
9. To, S. T.; Son, T. C.; and Pontelli, E. 2010a. A New Approach to Conformant Planning using CNF. In ICAPS.
10. To, S. T.; Son, T. C.; and Pontelli, E. 2010b. On the Use of Prime Implicates in Conformant Planning. In AAAI.
11. To, S. T.; Son, T. C.; and Pontelli, E. 2011a. Contingent Planning as AND/OR forward Search with Disjunctive Representation. In ICAPS.
12. To, S. T.; Pontelli, E.; Son, T. C. 2011b. On the Effectiveness of CNF and DNF Representations in Contingent Planning. In IJCAI.