Previous: Issues in Knowledge Level Modelling Up: Issues in Knowledge Level Modelling Next: The Knowledge Level According to Newell

Introduction

The notion of `knowledge level' was introduced by Allen Newell more than a decade ago [28] . Ever since it has provided a common perspective for researchers in Artificial Intelligence (AI) and in knowledge systems in particular. Its impact has been tremendous. Newell managed to make explicit what had become common practice in AI, namely talking about intelligent systems in a language of `knowing' and `wanting'. Moreover, he gave this language a role in systems engineering by postulating the knowledge level as a computer systems level to be studied in line with other levels such as the register-transfer level or the symbol level. It is no surprise then that Newell's treatment of knowledge was particularly attractive to the system oriented mind of computer scientists who are, after all, still the majority of AI researchers.

The notion of knowledge level has been used most visibly within the so called modelling approaches toward knowledge systems. In these approaches developing a knowledge based system is viewed as the construction of a series of models related to some (problem solving) behaviour. In particular the knowledge level model is a model in terms of the knowledge that rationalises that behaviour. It has become `en vogue' to assimilate the knowledge level idea in any encompassing treatment of knowledge systems. It ties together and to some extend unifies different approaches toward the theory and practice of knowledge systems [48][46][35][27][26][20][11][7] .

No doubt taking a knowledge level perspective has greatly improved our understanding of what knowledge systems are and how we can build them. For example, it has provoked a profound shift in knowledge acquisition: rather than extracting knowledge from an expert the aim of knowledge acquisition is to build a consolidated model of an expert's problem solving behaviour in terms of knowledge. Nevertheless the knowledge level is not beyond critique and several authors have pointed out problems with it. Some of these problems required further clarification [13] or minor repairs [37][33]. Others have been claimed to be unrepairable, which would render the knowledge level useless [45].

When one looks at knowledge level descriptions as they are presently used in knowledge systems then one finds striking differences with Newell's original notions. For example, at the knowledge level according to Newell there is no structure, whereas most models as we now see them are highly structured. How and why are these models different? The aim of this paper is to clarify this and other issues. It is not an introduction to knowledge level modeling but brings together ideas and interpretations to provide a (subjective) bird's eye view on the state of the art and the field's present research directions.

This paper starts with a brief recapitulation of Newell's notion of knowledge level (Sect. ). Then Sect. highlights the differences with the knowledge level models as they are practiced in contemporary knowledge engineering. An approach to relating the two notions, called two step rationality, is put forward in Sect. . Section takes a closer look on the structures that one finds in knowledge level modelling. Then Sect. digs deeper into the nature of problem solving itself from a knowledge level perspective while Sect. discusses implications for future generation architectures. In Sect. the methodological role of knowledge level modelling is discussed. Finally, Sect. is a brief conclusion.

walter@arti