Strathprints logo
Strathprints Home | Open Access | Browse | Search | User area | Copyright | Help | Library Home | SUPrimo

Extending TIM domain analysis to handle ADL constructs

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: 17 Jul 2013 16:09
    URI: http://strathprints.strath.ac.uk/id/eprint/31981

    Actions (login required)

    View Item