Abstract

A dynamic domain consists of a set of legal states and a transition function that maps states to states. AI formalisms for specifying dynamic domains have so far focused on describing the effects of actions, that is, the transition functions. In this paper we propose a notion of characteristic set of position systems for the purpose of describing legal states. A position system for a type of objects is a set of properties that are mutually exclusive, and that in each state, every object of the type must satisfy exactly one of these properties called its position under the position system. A set of position systems, one for each type of objects in the domain, is characteristic if there is a one-to-one mapping between legal states and sets of objects’ positions under these position systems. These position systems are useful for reasoning about these dynamic systems including planning. In particular, we show that once we have characteristic sets of position systems for a dynamic domain, planning can be done by writing rules about when to move objects from one position to another