An Algebreic Framework for Uncertain STRIPS Planning

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.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.