Michel De Glas and Eric Jacopin
This paper presents a formal framework for discrete probabilistic planning so as to extend the classical STRIPS planning framework. Since the semantic of STRIPS relies on the notion of set of formulas describing a situation, uncertainty in STRIPS deals with uncertain sets. An axiomatic theory is described for a new species of set such that membership to these sets can be partial. Then one builds a calculus which handles uncertainty as symbolic probabilistic degrees of membership. The algebra is then plunged in classical planning and usual definitions are given along with an example. The framework holds promise in that it allows non compoundable and non comparable uncertainty (in the uncertain case, two actions may modify the same value in a non comparable manner) and gradual truth degrees.