McCluskey, T.L. and Simpson, R.M. (2005) Towards an Algebraic Formulation of Domain Definitions using Parameterised Machines. Proceedings of the Annual PLANSIG Conference. ISSN 1368-5708
![]() |
PDF
- Accepted Version
Download (161kB) |
Abstract
Abstractly specifying, rapidly creating, and re-using models of domain structure are desirable
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
dynamic domain descriptions is under researched. In this paper we describe on-going work
attempting to establish an algebraic approach to constructing domain descriptions.
We postulate that this formulation will serve several purposes: it will help descriptions of
domains to be rapidly built up by composing and interfacing pre-defined abstract, primitive machines.
It will help engineers re-use existing domains, and it will serve as a semantics for concrete
description languages such as PDDL.
Item Type: | Article |
---|---|
Subjects: | T Technology > T Technology (General) |
Schools: | School of Computing and Engineering School of Computing and Engineering > Pedagogical Research Group School of Computing and Engineering > High-Performance Intelligent Computing School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge |
Related URLs: | |
Depositing User: | Cherry Edmunds |
Date Deposited: | 15 Jul 2010 10:51 |
Last Modified: | 28 Aug 2021 22:11 |
URI: | http://eprints.hud.ac.uk/id/eprint/8135 |
Downloads
Downloads per month over past year
Repository Staff Only: item control page
![]() |
View Item |