{"type":"ScholarlyArticle","title":"On the Effectiveness of CNF and DNF Representations in Contingent Planning","authors":[{"name":"Son Thanh To","slug":"son-thanh-to","given":"Son Thanh","family":"To","affiliation":""},{"name":"Enrico Pontelli","slug":"enrico-pontelli","given":"Enrico","family":"Pontelli","affiliation":""},{"name":"Tran Cao Son","slug":"tran-cao-son","given":"Tran Cao","family":"Son","affiliation":""}],"abstract":"This paper investigates the effectiveness of two state representations, CNF and DNF, in contingent planning. To this end, we developed a new contingent planner, called CNFct, using the AND/OR forward search algorithm PrAO [To et al., 2011] and an extension of the CNF representation of [To et al., 2010] for conformant planning to handle nondeterministic and sensing actions for contingent planning. The study uses CNFct and DNFct [To et al., 2011] and proposes a new heuristic function for both planners. The experiments demonstrate that both CNFct and DNFct offer very competitive performance in a large range of benchmarks but neither of the two representations is a clear winner over the other. The paper identifies properties of the representation schemes that can affect their performance on different problems.","doi":"10.5591/978-1-57735-516-8/IJCAI11-339","url":"https://ijcai.org/proceedings/2011/339","pdf":"https://ijcai.org/proceedings/2011/0339.pdf","markdown":"https://ijcai.org/proceedings/2011/339.md","bibtex":"https://ijcai.org/proceedings/2011/bibtex/339","volume":{"slug":"2011","title":"Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2011","url":"https://ijcai.org/proceedings/2011/","year":2011,"location":"Barcelona, Catalonia, Spain","dates":"16–22 July 2011","editors":"Toby Walsh","isbn":"978-1-57735-512-0; 978-1-57735-513-7; 978-1-57735-514-4; 978-1-57735-515-1; 978-1-57735-516-8","publisher":"AAAI Press/International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":339,"pages":{"first":2033,"last":2037},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}