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

B vs OCL: comparing specification languages for Planning Domains

Kitchin, Diane E., McCluskey, T.L. and West, Margaret M. (2005) B vs OCL: comparing specification languages for Planning Domains. In: Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005). AAAI Press. ISBN 978-1-57735-220-4

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

    Abstract

    In this paper we examine the specification and validation of Artificial Intelligence Planning domain models using the B Abstract Machine Notation and its associated tool support. We compare this to the use of OCL (object-centred language) within its tool-supported environment, GIPO. We present encodings of two well-known AI planning domain models, the Blocks world and the Tyres world, with the aim of finding a correspondence between the B and the OCL languages. We also compare the tool-supported validation offered by their respective environments.

    Item Type: Book Chapter
    Additional Information: © Association for the Advancement of Artificial Intelligence
    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
    School of Computing and Engineering > Informatics Research Group > Software Engineering Research Group
    School of Computing and Engineering > Serious Games Research Group
    Related URLs:
    Depositing User: Briony Heyhoe
    Date Deposited: 30 Jul 2008 11:37
    Last Modified: 05 Jan 2011 11:10
    URI: http://eprints.hud.ac.uk/id/eprint/1264

    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 ©