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)

Computer And Information Sciences

Research output: Contribution to conference › Paper › peer-review

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 definition and initial state. In this paper we describe extensions to the TIM system to al- low efficient processing of domains written in a more expressive language with features of ADL: types, con- ditional effects, universally quantified effects and neg- ative preconditions.

Original language	English
Number of pages	10
Publication status	Published - Apr 2002
Event	AIPS '02 Workshop on Knowledge Engineering Tools and Techniques for A.I. Planning - Toulouse, France Duration: 23 Apr 2002 → 27 Apr 2002

Conference

Conference	AIPS '02 Workshop on Knowledge Engineering Tools and Techniques for A.I. Planning
City	Toulouse, France
Period	23/04/02 → 27/04/02

Keywords

domain analysis
TIM
planning systems

Cite this

@conference{8defb28818af47ea8f563babb1993bcd,

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 TIM domain analysis tool infers types and invariants from an input domain definition and initial state. In this paper we describe extensions to the TIM system to al- low efficient processing of domains written in a more expressive language with features of ADL: types, con- ditional effects, universally quantified effects and neg- ative preconditions.",

keywords = "domain analysis, TIM, planning systems",

author = "S. Cresswell and M. Fox and D. Long and T.L. McCluskey",

year = "2002",

month = apr,

language = "English",

note = "AIPS '02 Workshop on Knowledge Engineering Tools and Techniques for A.I. Planning ; Conference date: 23-04-2002 Through 27-04-2002",

}

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/4

Y1 - 2002/4

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 TIM domain analysis tool infers types and invariants from an input domain definition and initial state. In this paper we describe extensions to the TIM system to al- low efficient processing of domains written in a more expressive language with features of ADL: types, con- ditional effects, universally quantified effects and neg- ative 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 TIM domain analysis tool infers types and invariants from an input domain definition and initial state. In this paper we describe extensions to the TIM system to al- low efficient processing of domains written in a more expressive language with features of ADL: types, con- ditional effects, universally quantified effects and neg- ative preconditions.

KW - domain analysis

KW - TIM

KW - planning systems

UR - http://www.cis.strath.ac.uk/research/publications/papers/strath_cis_publication_80.pdf

M3 - Paper

T2 - AIPS '02 Workshop on Knowledge Engineering Tools and Techniques for A.I. Planning

Y2 - 23 April 2002 through 27 April 2002

ER -

Extending {TIM} domain analysis to handle {ADL} constructs

Abstract

Conference

Keywords

Other files and links

Fingerprint

Cite this