Extending TIM domain analysis to handle ADL constructs

S. Cresswell, M. Fox, D. Long, T. L. McCluskey (Editor)

Research output: Contribution to conferencePaper

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.
Original languageEnglish
Number of pages10
Publication statusPublished - 2002

Keywords

  • domain analysis
  • TIM system
  • ADL
  • effcient processing

Fingerprint Dive into the research topics of 'Extending TIM domain analysis to handle ADL constructs'. Together they form a unique fingerprint.

  • Cite this

    Cresswell, S., Fox, M., Long, D., & McCluskey, T. L. (Ed.) (2002). Extending TIM domain analysis to handle ADL constructs.