TY - GEN

T1 - A translation based approach to probabilistic conformant planning

AU - Brafman, Ronen I.

AU - Taig, Ran

PY - 2011/10/31

Y1 - 2011/10/31

N2 - In conformant probabilistic planning (CPP), we are given a set of actions with stochastic effects, a distribution over initial states, a goal condition, and a value 0 < p ≤1. Our task is to find a plan π such that the probability that the goal condition holds following the execution of π in the initial state is at least p. In this paper we focus on the problem of CPP with deterministic actions. Motivated by the success of the translation-based approach of Palacious and Geffner [6], we show how deterministic CPP can be reduced to a metric-planning problem. Given a CPP, our planner generates a metric planning problem that contains additional variables. These variables represent the probability of certain facts. Standard actions are modified to update these values so that this semantics of the value of variables is maintained. An empirical evaluation of our planner, comparing it to the best current CPP solver, Probabilistic-FF, shows that it is a promising approach.

AB - In conformant probabilistic planning (CPP), we are given a set of actions with stochastic effects, a distribution over initial states, a goal condition, and a value 0 < p ≤1. Our task is to find a plan π such that the probability that the goal condition holds following the execution of π in the initial state is at least p. In this paper we focus on the problem of CPP with deterministic actions. Motivated by the success of the translation-based approach of Palacious and Geffner [6], we show how deterministic CPP can be reduced to a metric-planning problem. Given a CPP, our planner generates a metric planning problem that contains additional variables. These variables represent the probability of certain facts. Standard actions are modified to update these values so that this semantics of the value of variables is maintained. An empirical evaluation of our planner, comparing it to the best current CPP solver, Probabilistic-FF, shows that it is a promising approach.

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

U2 - 10.1007/978-3-642-24873-3_2

DO - 10.1007/978-3-642-24873-3_2

M3 - Conference contribution

AN - SCOPUS:80054883291

SN - 9783642248726

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 16

EP - 27

BT - Algorithmic Decision Theory - Second International Conference, ADT 2011, Proceedings

T2 - 2nd International Conference on Algorithmic Decision Theory, ADT 2011

Y2 - 26 October 2011 through 28 October 2011

ER -