Formal Approach to User Models in Data Retrieval

摘要

A formal foundation for modelling the interests of users interacting with a data base is given. This is done in three steps: First a logic is defined for describing interests of a user in the availability of certain data. Then a special modal operator, analogous to the possibility operator of the standard Kripke possible-world semantics, is defined for expressing the predictive qualities of a user model. It will be shown that modelling predictions of possible interests of a user can best be formalized by means of a KT system. Finally, a notational convention for describing the results of user modelling methods is introduced.