{"type":"ScholarlyArticle","title":"A generic approach to planning in the presence of incomplete information: Theory and implementation (Extended Abstract)","authors":[{"name":"Son Thanh To","slug":"son-thanh-to","given":"Son Thanh","family":"To","affiliation":"Knexus Research Corporation National Harbor , MD 20745"},{"name":"Tran Cao Son","slug":"tran-cao-son","given":"Tran Cao","family":"Son","affiliation":"Department of Computer Science New Mexico State University"},{"name":"Enrico Pontelli","slug":"enrico-pontelli","given":"Enrico","family":"Pontelli","affiliation":"Department of Computer Science New Mexico State University"}],"abstract":"This paper proposes a generic approach to planning in the presence of incomplete information. The approach builds on an abstract notion of a belief state representation, along with an associated set of basic operations. These operations facilitate the development of a sound and complete transition function, for reasoning about effects of actions in the presence of incomplete information, and a set of abstract algorithms for planning. The paper demonstrates how the abstract definitions and algorithms can be instantiated in three concrete representations—minimal-DNF, minimal-CNF, and prime implicates—resulting in three highly competitive conformant planners: DNF, CNF, and PIP. The paper relates the notion of a representation to that of ordered binary decision diagrams, a well-known belief state representation employed by many conformant planners, and several target compilation languages that have been presented in the literature.The paper also includes an experimental evaluation of the planners DNF, CNF, and PIP and proposes a new set of conformant planning benchmarks that are challenging for state-of-the-art conformant planners.","doi":"10.24963/ijcai.2017/725","url":"https://ijcai.org/proceedings/2017/725","pdf":"https://ijcai.org/proceedings/2017/0725.pdf","markdown":"https://ijcai.org/proceedings/2017/725.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/725","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Journal track","track":"Journal track","number":725,"pages":{"first":5075,"last":5079},"keywords":["Planning and Scheduling: Conformant/Contingent planning","Planning and Scheduling: Planning with Incomplete information"],"videos":[],"references":[{"position":1,"raw":"[Albore, Ramirez, and Geffner, 2011] Alexandre Al- bore, Miquel Ramirez, and Hector Geffner. Effective Heuristics and Belief Tracking for Plan- ning with Incomplete Information. In Proceedings of ICAPS.","title":"Effective Heuristics and Belief Tracking for Planning with Incomplete Information","authors":"Alexandre Albore, Miquel Ramirez, Hector Geffner","year":null,"venue":"Proceedings of ICAPS","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Baral et al., 2000] Chitta Baral, Vladik Kreinovich, and Raul Trejo. Computational complexity of plan- ning and approximate planning in the presence of incompleteness. AIJ, 122:241-267.","title":"Computational complexity of planning and approximate planning in the presence of incompleteness","authors":"Chitta Baral, Vladik Kreinovich, Raul Trejo","year":null,"venue":"AIJ","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Bonet and Geffner, 2000] Blai Bonet and Hector Geffner. Planning with Incomplete Information as Heuristic Search in Belief Space. International Conference on AI Planning Systems (AIPS).","title":"Planning with Incomplete Information as Heuristic Search in Belief Space","authors":"Geffner ; ] Blai Bonet, Hector Bonet, Geffner","year":"2000","venue":"International Conference on AI Planning Systems (AIPS)","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Bryant, 1992] Randal E. Bryant. Symbolic boolean manipulation with ordered binary decision dia- grams. ACM Computing Surveys, 24(3):293-318.","title":"Symbolic boolean manipulation with ordered binary decision diagrams","authors":"Randal E Bryant","year":null,"venue":"ACM Computing Surveys","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Bryce et al., 2006] Daniel Bryce, Subbarao Kambham- pati, and David E. Smith. Planning Graph Heuris- tics for Belief Space Search. Journal of Artificial Intelligence Research, 26:35-99.","title":"Planning Graph Heuristics for Belief Space Search","authors":"Daniel Bryce, Subbarao Kambhampati, David E Smith","year":null,"venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Cimatti, Roveri, and Bertoli, 2004] Alessandro Cimatti, Marco Roveri, and P. Bertoli. Con- formant Planning via Symbolic Model Checking and Heuristic Search. Artificial Intelligence Journal, 159:127-206.","title":"Conformant Planning via Symbolic Model Checking and Heuristic Search","authors":"Alessandro Cimatti, Marco Roveri, P Bertoli","year":null,"venue":"Artificial Intelligence Journal","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"Goldman and Boddy 1996]","title":null,"authors":"Boddy Goldman","year":"1996","venue":null,"doi":null,"url":null,"internal_url":null},{"position":8,"raw":"Robert P. Goldman and Mark S. Boddy. 1996. Expressive Planning and Explicit Knowledge. In Proc. of 3rd Int. Conf. AI Planning Systems, 110-117.","title":"Expressive Planning and Explicit Knowledge","authors":"Robert P Goldman, Mark S Boddy","year":"1996","venue":"Proc. of 3rd Int. Conf. AI Planning Systems","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Haslum and Jonsson, 1999] Patrik Haslum and Peter Jonsson. Some results on the complexity of plan- ning with incomplete information. In Proc. of ECP- 99, Lect. Notes in AI Vol 1809. Springer.","title":"Some results on the complexity of planning with incomplete information","authors":"Jonsson Haslum, Patrik Haslum, Peter Jonsson","year":"1999","venue":"Proc. of ECP-99","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Hoffmann and Brafman, 2006] Jorg Hoffmann and Ro- nen I. Brafman. Conformant planning via heuristic forward search: A new approach. Artificial Intelli- gence, 170(6-7), 507-541.","title":"Conformant planning via heuristic forward search: A new approach","authors":"Jorg Hoffmann, Ronen I Brafman","year":null,"venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Hoffmann and Nebel, 2001] Jorg Hoffmann and Bern- hard Nebel. The FF planning system: Fast plan generation through heuristic search. Journal of Ar- tificial Intelligence Research, 14, 253-302.","title":"The FF planning system: Fast plan generation through heuristic search","authors":"Nebel Hoffmann, Jorg Hoffmann, Bernhard Nebel","year":"2001","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Nguyen et al., 2012] Khoi H. Nguyen, Vien D. Tran, Tran C. Son, and Enrico Pontelli, 2012. On Com- puting Conformant Plans Using Classical Planners: A Generate-And-Complete Approach. In Proceed- ings of ICAPS.","title":"On Computing Conformant Plans Using Classical Planners: A Generate-And-Complete Approach","authors":"H Khoi, Nguyen, D Vien, Tran C Tran, Enrico Son, Pontelli","year":"2012","venue":"Proceedings of ICAPS","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Palacios and Geffner, 2007] Hector Palacios and Hec- tor Geffner. From Conformant into Classical Plan- ning: Efficient Translations that may be Complete Too. In Proceedings of ICAPS. [Palacios and Geffner, 2009] Hector Palacios and Hec- tor Geffner. Compiling Uncertainty Away in Con- formant Planning Problems with Bounded Width. In JAIR 35:623-675.","title":"Hector Palacios and Hector Geffner. From Conformant into Classical Planning: Efficient Translations that may be Complete Too","authors":"Geffner Palacios","year":"2007","venue":"Proceedings of ICAPS","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Smith and Weld, 1998] David .E. Smith and Daniel S. Weld. Conformant graphplan. In AAAI, pages 889- 896.","title":"Conformant graphplan","authors":"E David, Daniel S Smith, Weld","year":null,"venue":"AAAI","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Son and Baral, 2001] Tran C. Son and Chitta Baral. Formalizing sensing actions -a transition func- tion based approach. Artificial Intelligence, 125(1- 2):19-91, January 2001.","title":"Formalizing sensing actions -a transition function based approach","authors":"Tran C Son, Chitta Baral","year":"2001","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Son and Tu, 2006] Tran C. Son and Phan H. Tu. On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information. In KRR, 481-491.","title":"On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information","authors":"Tran C Son, H Phan, Tu","year":null,"venue":"KRR","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Son et al., 2005] Tran C. Son, Phan H. Tu, Michael Gelfond, and A. Ricardo Morales Conformant Planning for Domains with Constraints -A New Approach. In AAAI, pages 1211-1216.","title":"Ricardo Morales Conformant Planning for Domains with Constraints -A New Approach","authors":"Tran C Son, H Phan, Michael Tu, A Gelfond","year":null,"venue":"AAAI","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Tran et al., 2009] Vien D. Tran, Khoi H. Nguyen, En- rico Pontelli, and Tran C. Son. Improving per- formance of conformant planners: Static analysis of declarative planning domain specifications. In PADL, pages 239-253. Springer.","title":"Improving performance of conformant planners: Static analysis of declarative planning domain specifications","authors":"D Vien, Tran, H Khoi, Enrico Nguyen, Tran C Pontelli, Son","year":null,"venue":"PADL","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[To, Son, and Pontelli, 2015] Son T. To, Tran C. Son, and Enrico Pontelli. A generic approach to plan- ning in the presence of incomplete information: Theory and implementation. In Artificial Intelli- gence 227, 1-51.","title":"A generic approach to planning in the presence of incomplete information: Theory and implementation","authors":"Son T To, Tran C Son, Enrico Pontelli","year":null,"venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[To, Pontelli, and Son, 2009] Son T. To, Enrico Pontelli, and Tran C. Son. A Conformant Planner with Ex- plicit Disjunctive Representation of Belief States. In Proceedings of ICAPS.","title":"A Conformant Planner with Explicit Disjunctive Representation of Belief States","authors":"Son T To, Enrico Pontelli, Tran C Son","year":null,"venue":"Proceedings of ICAPS","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[To, Son, and Pontelli, 2010a] Son T. To, Tran C. Son, and Enrico Pontelli. A New Approach to Con- formant Planning using CNF. In Proceedings of ICAPS","title":"A New Approach to Conformant Planning using CNF","authors":"Son To, Son T Pontelli, Tran C To, Enrico Son, Pontelli","year":"2010","venue":"Proceedings of ICAPS","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[To, Son, and Pontelli, 2010b] Son T. To, Tran C. Son, and Enrico Pontelli. On the Use of Prime Impli- cates in Conformant Planning. In Proceedings of AAAI","title":"On the Use of Prime Implicates in Conformant Planning","authors":"Son To, T Pontelli ; B] Son, Tran C To, Enrico Son, Pontelli","year":"2010","venue":"Proceedings of AAAI","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[To, Son, and Pontelli, 2011c] Son T. To, Tran C. Son, and Enrico Pontelli. Conjunctive Representations in Contingent Planning: Prime Implicates versus Minimal-CNF Formula. In Proceedings of the 25th AAAI Conference on Artificial Intelligence (AAAI).","title":"Conjunctive Representations in Contingent Planning: Prime Implicates versus Minimal-CNF Formula","authors":"Son To, T Pontelli ; C] Son, Tran C To, Enrico Son, Pontelli","year":"2011","venue":"Proceedings of the 25th AAAI Conference on Artificial Intelligence (AAAI)","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Tu et al., 2011] Phan H. Tu, Tran C. Son, Michael Gel- fond, and A. Ricardo Morales. Approximation of action theories and its application to conformant planning. In Artificial Intelligence, 175 79-119.","title":"Approximation of action theories and its application to conformant planning","authors":"H Phan, Tran C Tu, Michael Son, A Ricardo Gelfond, Morales","year":null,"venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}