Search:
Computing and Library Services - delivering an inspiring information environment

Validating planning domain models using B-AMN

West, Margaret M., Kitchin, Diane E. and McCluskey, T.L. (2002) Validating planning domain models using B-AMN. In: PlanSIG 2002, 21st/22nd Nov 2002, Delft University of Technology, Holland. (Unpublished)

[img]
Preview
PDF - Accepted Version
Download (192kB) | Preview

    Abstract

    The validation of planning domain models is an important issue and can present problems. In this paper we describe ongoing work which attempts to overcome these problems through the construction of a B-AMN specication which models the domain. The B-Method utilises B-AMN, a state-based formal specication language with tool support provided by the B-Toolkit. We describe how this tool support provides facilities for both animation and proof, and we propose the use of the B-Method at an initial level of domain capture. The approach is illustrated using a simple transport domain, where a high-level model, which can be reasoned with, is produced. In addition, animation allows validation by users.

    Item Type: Conference or Workshop Item (Paper)
    Subjects: T Technology > T Technology (General)
    Q Science > QA Mathematics > QA75 Electronic computers. Computer science
    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: 04 Feb 2009 16:37
    Last Modified: 05 Jan 2011 11:11
    URI: http://eprints.hud.ac.uk/id/eprint/3267

    Downloads

    Downloads per month over past year

    Repository Staff Only: item control page

    View Item

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