Compiling Uncertainty Away: Solving Conformant Planning Problems using a Classical Planner (Sometimes)

Even under polynomial restrictions on plan length, conformant planning remains a very hard computational problem as plan verification itself can take exponential time. This heavy price cannot be avoided in general although in many cases conformant plans are verifiable efficiently by means of simple forms of disjunctive inference. This raises the question of whether it is possible to identify and use such forms of inference for developing an efficient but incomplete planner capable of solving non-trivial problems quickly. In this work, we show that this is possible by mapping conformant into classical problems that are then solved by an off-the-shelf classical planner. The formulation is sound as the classical plans obtained are all conformant, but it is incomplete as the inverse relation does not always hold. The translation accommodates `reasoning by cases' by means of an `split-protectand-merge' strategy; namely, atoms L/Xi that represent conditional beliefs `if Xi then L&...

• Type: Conference
• Year: 2006
• Where: AAAI
• Authors: Héctor Palacios, Hector Geffner
• Keywords: AAAI 2006, Cases Conformant Plans, Conformant Planning, Hard Computational Problem, Intelligent Agents