Abstract

We present a representation for reasoning and planning with an incomplete state description (open-world) called PSIPLAN-S. The presented formalism has several properties critical for application domains with a large degree of incompleteness in the state description, particularly, in domains with a large or unknown set of all objects. The formalism offers (1) considerably expressive state and goal description language, that includes limited universal quantification, (2) representation of sensing actions and knowledge goals, (3) a correct and complete state update procedure, and (4) complete reasoning within a substantial subset of the language. The approach is illustrated by examples from a working system.