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

Conference

ConferenceAIPS '02 Workshop on Knowledge Engineering Tools and Techniques for A.I. Planning
CityToulouse, France
Period23/04/0227/04/02

Fingerprint

Information analysis
Planning
Processing

Keywords

  • domain analysis
  • TIM
  • planning systems

Cite this

Cresswell, S., Fox, M., Long, D., & McCluskey, T. L. (Ed.) (2002). Extending {TIM} domain analysis to handle {ADL} constructs. Paper presented at AIPS '02 Workshop on Knowledge Engineering Tools and Techniques for A.I. Planning, Toulouse, France, .
Cresswell, S. ; Fox, M. ; Long, D. ; McCluskey, T.L. (Editor). / Extending {TIM} domain analysis to handle {ADL} constructs. Paper presented at AIPS '02 Workshop on Knowledge Engineering Tools and Techniques for A.I. Planning, Toulouse, France, .10 p.
@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 = "4",
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",

}

Cresswell, S, Fox, M, Long, D & McCluskey, TL (ed.) 2002, 'Extending {TIM} domain analysis to handle {ADL} constructs' Paper presented at AIPS '02 Workshop on Knowledge Engineering Tools and Techniques for A.I. Planning, Toulouse, France, 23/04/02 - 27/04/02, .

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

2002. Paper presented at AIPS '02 Workshop on Knowledge Engineering Tools and Techniques for A.I. Planning, Toulouse, France, .

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

ER -

Cresswell S, Fox M, Long D, McCluskey TL, (ed.). Extending {TIM} domain analysis to handle {ADL} constructs. 2002. Paper presented at AIPS '02 Workshop on Knowledge Engineering Tools and Techniques for A.I. Planning, Toulouse, France, .