Location of Repository

Towards an Algebraic Formulation of Domain Definitions using Parameterised Machines

By T.L. McCluskey and R.M. Simpson

Abstract

Abstractly specifying, rapidly creating, and re-using models of domain structure are desirable\ud goals for knowledge engineering in AI Planning. However, while planning algorithms, and now knowledge engineering itself, are maturing areas of research, the descriptions used to formulate\ud dynamic domain descriptions is under researched. In this paper we describe on-going work\ud attempting to establish an algebraic approach to constructing domain descriptions.\ud We postulate that this formulation will serve several purposes: it will help descriptions of\ud domains to be rapidly built up by composing and interfacing pre-defined abstract, primitive machines.\ud It will help engineers re-use existing domains, and it will serve as a semantics for concrete\ud description languages such as PDDL

Topics: T1
Publisher: UK PLANNING AND SCHEDULING Special Interest Group
OAI identifier: oai:eprints.hud.ac.uk:8135

Suggested articles

Preview


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.