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

A formal specification and rigorous implementation of an AI planner

McCluskey, T.L. (2000) A formal specification and rigorous implementation of an AI planner. Technical Report. UNSPECIFIED. (Unpublished)

[img]
Preview
PDF
mccluskeytweakf.pdf - Accepted Version

Download (350kB) | Preview

Abstract

This is an abridged version of chapters 6 and 7 in [Turner and McCluskey 94], which were originally derived from [McCluskey 88]. It introduces the reader to Planning as viewed from an Artificial Intelligence perspective. It also shows how a planning algorithm can be formally specified and then transformed into executable code. Note that the specification was developed without the use of any tools, hence it may contain some syntactic bugs. The planner implementation (and its derivatives) have been used frequently for nearly ten years: in that time no semantic bugs have been found. Hence the application could also be viewed as case study evidence supporting the power of formal techniques. After introducing the reader to planning in Sections 1 and 2, in Section 3 we describe an abstract specification of a planner, In Section 4 we introduce a design level solution to planning in the form of a goal directed algorithm whose basic operation is to achieve goals within a developing, partially ordered plan. We then progress to modelling the plan as a VDM state, and then specify the `achieve ' operations on this state. In Sections 5,6 and 7 we show how the design specification may be implemented faithfully using Logic Programming

Item Type: Monograph (Technical Report)
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
Related URLs:
Depositing User: Briony Heyhoe
Date Deposited: 05 Feb 2009 15:05
Last Modified: 16 Dec 2010 13:32
URI: http://eprints.hud.ac.uk/id/eprint/3283

Downloads

Downloads per month over past year

Repository Staff Only: item control page

View Item View Item

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