רונן ברפמן

אקדמי בכיר

A relevance-based compilation method for Conformant probabilistic planning

Ran Taig, Ronen I. Brafman

Conformant probabilistic planning (CPP) differs from conformant planning (CP) by two key elements: the initial belief state is probabilistic, and the conformant plan must achieve the goal with probability ≥ θ, for some 0 < θ ≤ 1. In earlier work we observed that one can reduce CPP to CP by finding a set of initial states whose probability ≥ θ, for which a conformant plan exists. In previous solvers we used the underlying planner to select this set of states and to plan for them simultaneously. Here we suggest an alternative approach: start with relevance analysis to determine a promising set of initial states on which to focus. Then, call an off-the-shelf conformant planner to solve the resulting problem. This approach has a number of advantages. First, instead of depending on the heuristic function to select the set of initial slates, we can introduce specific, efficient relevance reasoning techniques. Second, we can benefit from optimizations used by conformant planners that are unsound when applied lo the original CPP. Finally, we are free to use any existing (or new) CP solver. Consequently, the new planner dominates previous solvers on almost all domains and scales to instances that were not solved before.

שפת פרסום אנגלית
דפים 2374-2380
סטטוס פרסום פורסם - 01.01.2014

ASJC Scopus subject areas

Software
Artificial Intelligence
קבצים וקישורים אחרים
Link to publication in Scopus