A KADS/(ML)2 model of a scheduling task
Harmelen, F.A.H. van
MetadataShow full item record
One of the central concerns of "knowledge engineering" is the construction of a model of problem solving behaviour. One of the prominent approaches in recent years to this problem (at least in Europe) has been the KADS methodology for knowledge engineering. KADS is centered around a so-called model of expertise which describes the problem solving expertise of the system to be modelled independent of a possible implementation. Traditionally, these KADS models have always been expressed in an informal way, using a vocabulary of natural language, semi-structured language and graphical notation. In recent years, we have developped (ML)2, a more formal language to express KADS models. In this paper, we first give a brief overview of the (ML)2 language, and then show how this language can be used to model the simple scheduling task. Part I of this paper is devoted to a description of (ML)2. To make this paper self-contained, we give a brief description of KADS models, and then describe how (ML)2 captures each of the elements of a KADS model, followed by a concluding section. Part II of this paper shows how (ML)2 can be used to model the example scheduling task. After a brief introduction, we again treat each of the KADS layers in turn.