Extending TIM domain analysis to handle ADL constructs
Stephen Cresswell, Maria Fox, Derek Long · Strathprints: The University of Strathclyde institutional repository (University of Strathclyde) · 2002
Planning domain analysis provides information which is useful to the domain designer, and which can also be exploited by a planner to reduce search. The TIM domain analysis tool infers types and invariants from an input domain definition and initial state. In this paper we describe extensions to the TIM system to allow efficient processing of domains written in a more expressive language with features of ADL: types, conditional effects, universally quantified effects and negative preconditions.