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

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:	http://planning.cis.strath.ac.uk/vvpsws/... Publisher Author Author
Depositing User:	Briony Heyhoe
Date Deposited:	30 Jul 2008 10:37
Last Modified:	31 Mar 2018 12:45
URI:	http://eprints.hud.ac.uk/id/eprint/1264

Downloads

Repository Staff Only: item control page

View Item