TY - GEN

T1 - Using classical planners to solve conformant probabilistic planning problems

AU - Taig, Ran

AU - Brafman, Ronen I.

PY - 2012/12/1

Y1 - 2012/12/1

N2 - Motivated by the success of the translation-based approach for conformant planning, introduced by Palacios and Geffner, we present two variants of a new compilation scheme from conformant probabilistic planning problems (CPP) to variants of classical planning. In CPP, we are given a set of actions - which we assume to be deterministic in this paper, a distribution over initial states, a goal condition, and a value 0 < p ≤ 1. Our task is to find a plan π such that the goal probability following the execution of π in the initial state is at least p. Our first variant translates CPP into classical planning with resource constraints, in which the resource represents probabilities of failure. The second variant translates CPP into cost-optimal classical planning problems, in which costs represents probabilities. Empirically, these techniques show mixed results, performing very well on some domains, and poorly on others. This indicates that compilation-based technique are a feasible and promising direction for solving CPP problems and, possibly, more general probabilistic planning problems.

AB - Motivated by the success of the translation-based approach for conformant planning, introduced by Palacios and Geffner, we present two variants of a new compilation scheme from conformant probabilistic planning problems (CPP) to variants of classical planning. In CPP, we are given a set of actions - which we assume to be deterministic in this paper, a distribution over initial states, a goal condition, and a value 0 < p ≤ 1. Our task is to find a plan π such that the goal probability following the execution of π in the initial state is at least p. Our first variant translates CPP into classical planning with resource constraints, in which the resource represents probabilities of failure. The second variant translates CPP into cost-optimal classical planning problems, in which costs represents probabilities. Empirically, these techniques show mixed results, performing very well on some domains, and poorly on others. This indicates that compilation-based technique are a feasible and promising direction for solving CPP problems and, possibly, more general probabilistic planning problems.

UR - http://www.scopus.com/inward/record.url?scp=84875615179&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84875615179

SN - 9781577355779

T3 - AAAI Workshop - Technical Report

SP - 65

EP - 71

BT - Problem Solving Using Classical Planners - Papers from the 2012 AAAI Workshop, Technical Report

T2 - 2012 AAAI Workshop

Y2 - 22 July 2012 through 22 July 2012

ER -