Engineering and Compiling Planning Domain Models to Promote Validity and Efficiency

Engineering and Compiling Planning Domain Models to Promote Validity and Efficiency (2000)

Cached

Download Links

[helios.hud.ac.uk]

Other Repositories/Bibliography

DBLP

by T. L. Mccluskey , J.M. Porteous

Venue:	Artificial Intelligence
Citations:	49 - 16 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Engineering and Compiling Planning Domain Models to Promote Validity and Efficiency	user correction - Legacy Corrections
AUTHOR NAME	T. L. Mccluskey	user correction - Legacy Corrections
AUTHOR NAME	J.M. Porteous	user correction - Legacy Corrections
AUTHOR AFFIL	The School of Computing and Mathematics,; The University of Huddersfield,	user correction - Legacy Corrections
AUTHOR ADDR	Huddersfield, UK	user correction - Legacy Corrections
ABSTRACT	This paper postulates a rigorous method for the construction of classical planning domain models. We describe, with the help of a non-trivial example, a tool supported method for encoding such models. The method results in an `object-centred' specification of the domain that lifts the representation from the level of the literal to the level of the object. Thus, for example, operators are defined in terms of how they change the state of objects, and planning states are defined as amalgams of the objects' states. The method features two classes of tools: for initial capture and validation of the domain model; and for operationalising the domain model (a process we call compilation) for later planning. Here we focus on compilation tools used to generate macros and goal orders to be utilised at plan generation time. We describe them in depth, and evaluate empirically their combined benefits in plan-generation speed-up. The method's main benefit is in helping the modeller to pro...	user correction - Legacy Corrections
YEAR	2000	user correction - Legacy Corrections
VENUE	Artificial Intelligence	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	1--65	INFERENCE
VOLUME	95	INFERENCE
CITATIONS	59 found	ParsCit 1.0