Extending TIM domain analysis to handle ADL constructs
Cresswell, S. and Fox, M. and Long, D.; McCluskey, T. L., ed. (2002) Extending TIM domain analysis to handle ADL constructs. In: UNSPECIFIED.
Full text not available in this repository.Request a copyAbstract
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 de¯nition 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 efects, universally quantifed effects and negative preconditions.
-
-
Item type: Conference or Workshop Item(Paper) ID code: 31981 Dates: DateEvent2002PublishedSubjects: Science > Chemistry
Science > Mathematics > Electronic computers. Computer science
Science > Mathematics > Computer softwareDepartment: Faculty of Science > Pure and Applied Chemistry
Faculty of Science > Computer and Information SciencesDepositing user: Pure Administrator Date deposited: 15 Aug 2011 15:44 Last modified: 09 Apr 2024 05:33 URI: https://strathprints.strath.ac.uk/id/eprint/31981
CORE (COnnecting REpositories)