Extending TIM domain analysis to handle ADL constructs

S. Cresswell; M. Fox; D. Long; T. L. McCluskey

Extending TIM domain analysis to handle ADL constructs

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

Research output: Contribution to conference › Paper

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 language	English
Number of pages	10
Publication status	Published - 2002

Keywords

domain analysis
TIM system
ADL
effcient processing

Cite this

@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",

}

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 -

Extending TIM domain analysis to handle ADL constructs

Abstract

Keywords

Fingerprint

Cite this