Tools
Tools
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]](http://eprints.hud.ac.uk/style/images/fileicons/application_pdf.png)
| 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 |
Item control for Repository Staff only:
| View Item |