Strong Cyclic Planning under Partial Observability

  • Authors:

  • Piergiorgio Bertoli;Alessandro Cimatti;Marco Pistore

  • Affiliations:

  • ITC-IRST, via Sommarive 18, 38100, Povo, Italy, e-mail: [bertoli,cimatti]@irst.itc.it;ITC-IRST, via Sommarive 18, 38100, Povo, Italy, e-mail: [bertoli,cimatti]@irst.itc.it;DIT --University of Trento, via Sommarive 14, 38100, Povo, Italy, e-mail: pistore@dit.unitn.it

  • Venue:
  • Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

Strong Cycling Planning aims at generating iterative plans that implement trial-and-error strategies, where loops are allowed only so far as there is a chance to reach the goal. In this paper, we tackle the problem of Strong Cyclic Planning under Partial Observability, making three main contributions. First, we provide a formal definition of the problem. We point out that several degrees of solution are possible and equally interesting, depending on the admissible delay between achieving the goal and detecting that it has been achieved. Second, we present a family of planning algorithms that tackle the different versions of the problem. Third, we implement the algorithms using efficient symbolic representation techniques, and experimentally compare their performances.