Contingent planning via heuristic forward search with implicit belief states

Jorg Hoffmann, Ronen I. Brafman

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

152 Scopus citations

Abstract

Contingent planning is the task of generating a conditional plan given uncertainty about the initial state and action effects, but with the ability to observe some aspects of the current world state. Contingent planning can be transformed into an And-Or search problem in belief space, the space whose elements are sets of possible worlds. In (Brafman & Hoffmann 2004), we introduced a method for implicitly representing a belief state using a prepositional formula that describes the sequence of actions leading to that state. This representation trades off space for time and was shown to be quite effective for conformant planning within a heuristic forward- search planner based on the FF system. In this paper we apply the same architecture to contingent planning. The changes required to adapt the search space representation are small. More effort is required to adapt the relaxed planning problems whose solution informs the forward search algorithm. We propose the targeted use of an additional relaxation, mapping the relaxed contingent problem into a relaxed conformant problem. Experimental results show that the resulting planning system, Contingent-FF, is highly competitive with the state-of-the-art contingent planners POND and MBP.

Original languageEnglish
Title of host publicationICAPS 2005 - Proceedings of the 15th International Conference on Automated Planning and Scheduling
Pages71-80
Number of pages10
StatePublished - 1 Dec 2005
Externally publishedYes
Event15th International Conference on Automated Planning and Scheduling, ICAPS 2005 - Monterey, CA, United States
Duration: 5 Jun 200510 Jun 2005

Publication series

NameICAPS 2005 - Proceedings of the 15th International Conference on Automated Planning and Scheduling

Conference

Conference15th International Conference on Automated Planning and Scheduling, ICAPS 2005
Country/TerritoryUnited States
CityMonterey, CA
Period5/06/0510/06/05

Fingerprint

Dive into the research topics of 'Contingent planning via heuristic forward search with implicit belief states'. Together they form a unique fingerprint.

Cite this