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 (89kB) | 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 > 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

?? tserg ??
School of Computing and Engineering > Serious Games Research Group
Related URLs:
Depositing User: Briony Heyhoe
Date Deposited: 30 Jul 2008 10:37
Last Modified: 25 Aug 2015 02:08
URI: http://eprints.hud.ac.uk/id/eprint/1264

Downloads

Downloads per month over past year

Repository Staff Only: item control page

View Item View Item

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