Bookmark

OpenURL

Abstract

The CommonKADS methodology is a collection of structured methods for building knowledge based systems. Akey component of CommonKADS is the library of generic inference models which can be applied to tasks of specified types. These generic models can either be used as frameworks for knowledge acquisition, or to verify the completeness of models developed by analysis of the domain. However, the generic models for some task types, such as knowledge-based planning, are not welldeveloped. Since knowledge-based planning is an important commercial application of Artificial Intelligence, there is a clear need for the development of generic models for planning tasks. Many of the generic models which currently exist have been derived from modelling of existing AI systems. These models have the strength of proven applicability. There are a number of well-known and well-tried AI planning systems in existence; one of the best known is the Open Planning Architecture (O-Plan). This paper describes the development ofaCommonKADS generic inference model for knowledge-based planning tasks, based on the capabilities of the O-Plan system. The paper also brie y describes the veri cation of this model in the context of a real-life planning task: the assignment and management of RAF Search and Rescue operations.