Compiling Uncertainty Away in Non-Deterministic Conformant Planning

  • Authors:

  • Alexandre Albore;Hector Palacios;Hector Geffner

  • Affiliations:

  • Universitat Pompeu Fabra, Spain, email: alexandre.albore@upf.edu;Universidad Simón Bolívar, Venezuela, email: hlp@ldc.usb.ve;ICREA & Universitat Pompeu Fabra, Barcelona, Spain, email: hector.geffner@upf.edu

  • Venue:
  • Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

It has been shown recently that deterministic conformant planning problems can be translated into classical problems that can be solved by off-the-shelf classical planners. In this work, we aim to extend this formulation to non-deterministic conformant planning. We start with the well known observation that non-deterministic effects can be eliminated by using hidden conditions that must be introduced afresh each time a non-deterministic action is applied. This observation, however, leads to translations that have to be recomputed as the search for plans proceeds. We then introduce other translations, that while incomplete, appear to be quite effective and result in classical planning problems that need to be solved only once. A number of experimental results over existing and new domains are reported.