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
![]() |
PDF
- Accepted Version
Download (89kB) |
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: | 28 Aug 2021 23:23 |
URI: | http://eprints.hud.ac.uk/id/eprint/1264 |
Downloads
Downloads per month over past year
Repository Staff Only: item control page
![]() |
View Item |