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

Fingerprint

Information analysis
Planning
Processing

Keywords

  • domain analysis
  • TIM system
  • ADL
  • effcient processing

Cite this

Cresswell, S., Fox, M., Long, D., & McCluskey, T. L. (Ed.) (2002). Extending TIM domain analysis to handle ADL constructs.
Cresswell, S. ; Fox, M. ; Long, D. ; McCluskey, T. L. (Editor). / Extending TIM domain analysis to handle ADL constructs. 10 p.
@conference{6a3608757fe646d7987dd412666f8079,
title = "Extending TIM domain analysis to handle ADL constructs",
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 TIMdomain 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.",
keywords = "domain analysis, TIM system, ADL, effcient processing",
author = "S. Cresswell and M. Fox and D. Long and McCluskey, {T. L.}",
year = "2002",
language = "English",

}

Cresswell, S, Fox, M, Long, D & McCluskey, TL (ed.) 2002, 'Extending TIM domain analysis to handle ADL constructs'.

Extending TIM domain analysis to handle ADL constructs. / Cresswell, S.; Fox, M.; Long, D.; McCluskey, T. L. (Editor).

2002.

Research output: Contribution to conferencePaper

TY - CONF

T1 - Extending TIM domain analysis to handle ADL constructs

AU - Cresswell, S.

AU - Fox, M.

AU - Long, D.

A2 - McCluskey, T. L.

PY - 2002

Y1 - 2002

N2 - 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 TIMdomain 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.

AB - 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 TIMdomain 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.

KW - domain analysis

KW - TIM system

KW - ADL

KW - effcient processing

M3 - Paper

ER -

Cresswell S, Fox M, Long D, McCluskey TL, (ed.). Extending TIM domain analysis to handle ADL constructs. 2002.