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

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.

Information

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

URI:

https://eprints.hud.ac.uk/id/eprint/1264

Title:

B vs OCL: comparing specification languages for Planning Domains

Creators:

Kitchin, Diane E., McCluskey, T.L. and West, Margaret M.

Editors:

Biundo, Susanne, Myers, Karen and Rajan, Kanna

Date:

2005

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

Additional Information:

© Association for the Advancement of Artificial Intelligence

Library

Item Type:

Book Chapter

Depositing User:

Date Deposited:

30 Jul 2008 10:37

Revision:

24

Last Modified:

28 Aug 2021 23:23

Documents

[thumbnail of mccluskeyicaps05vv.pdf]

Preview

mccluskeyicaps05vv.pdf - Accepted Version

Download (89kB) | Preview

Statistics

Downloads

Downloads per month over past year

CORE (COnnecting REpositories)

CORE (COnnecting REpositories)

Tools

Add to Any

Add to Email