Search:
Computing and Library Services - delivering an inspiring information environment

Towards an Algebraic Formulation of Domain Definitions using Parameterised Machines

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

[img]
Preview
PDF - Accepted Version
Download (157kB) | Preview

    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 > Informatics Research Group
    School of Computing and Engineering > Informatics Research Group > Knowledge Engineering and Intelligent Interfaces
    Related URLs:
    Depositing User: Cherry Edmunds
    Date Deposited: 15 Jul 2010 11:51
    Last Modified: 16 Dec 2010 13:12
    URI: http://eprints.hud.ac.uk/id/eprint/8135

    Document Downloads

    Downloader Countries

    More statistics for this item...

    Item control for Repository Staff only:

    View Item

    University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©