A shell for developing non-monotonic user modeling systems

This paper first presents a general structured framework for user modeling, which includes a set of basic user modeling purposes exploited by a user modeling system when providing a set of services to other components of an application. At a higher level of abstraction such an application may perform a generic user modeling task , which results from an appropriate combination of some basic user modeling purposes. The central aim of the paper is to present, within the proposed framework, a flexible general-purpose shell, called UMT (User Modeling Tool), which supports the development of user modeling applications. UMT features a non-monotonic approach for performing the modeling activity: more specifically, it utilizes a modeling approach called assumption-based user modeling, which exploits a truth maintenance mechanism for maintaining the consistency of the user model. The modeling task is divided into two separate activities, one devoted to user classification and user model management, and the other devoted to consistency maintenance of the model. The modeling knowledge exploited by UMT is represented by means of stereotypes and production rules. UMT is capable of identifying, at any given moment during an interaction, all the possible alternative models which adequately describe the user and are internally consistent. The choice of the most plausible one among them is then performed using an explicit programmable preference criterion. UMT is also characterized by a very well defined and simple interface with the hosting application, and by a specialized development interface which supports the developer during the construction of specific applications. This paper includes an example application in the field of information-providing systems. UMT has been developed in Common LISP.