Cresswell, S. and Fox, M. and Long, D. (2002) Extending TIM domain analysis to handle ADL constructs. In: UNSPECIFIED.
Full text not available in this repository. (Request a copy from the Strathclyde author)Abstract
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 |
| Keywords: | domain analysis, TIM system, ADL, effcient processing, Chemistry, Electronic computers. Computer science, Computer software |
| Subjects: | Science > Chemistry Science > Mathematics > Electronic computers. Computer science Science > Mathematics > Computer software |
| Department: | Faculty of Science > Pure and Applied Chemistry Faculty of Science > Computer and Information Sciences |
| Related URLs: | |
| Depositing user: | Pure Administrator |
| Date Deposited: | 15 Aug 2011 16:44 |
| Last modified: | 12 Mar 2012 11:29 |
| URI: | http://strathprints.strath.ac.uk/id/eprint/31981 |
Actions (login required)
| View Item |