In this paper a solution to the Sisyphus room allocation problem is discussed,which uses the generalised directive model (GDM) methodology developed in the ACKnowledge project, together with the knowledge engineering methodology developed in the VITAL project. After briefly introducing these methodologies, the paper presents a "walkthrough" of the Sisyphus solution from analysis to implementation in detail, so that all acquisition, modelling and design decisions can be seen in context. The selection of a reusable off-the-shelf model from the GDM library is presented, together with a discussion of the ways in which this selection process can drive the knowledge acquisition process. Next,there is an account of the instantiation of the GDM and the imposition of a control regime over the dataflow structure; we show how this process uncovers hidden constraints and inconsistencies in Siggi's account of his own problem-solving. The output of this KA phase consists of a conceptual model of the problem which is discussed in detail and formalized in terms of the VITAL conceptual modelling language. From this analysis of the problem, we move on to discussion of the issues concerning the design and implementation of a system, and we show how our implementation satisfies the specification of the Sisyphus problem.
For instance, VITAL comprises a library of reusable problem solving models at the knowledge level, which can be used to drive the knowledge acquisition process REF , while the VITAL-KR supports implementation-level reuse.
Grounding GDMs: a structured case study
Int. J. Hum.-Comput. Stud.
Computer Science