A PROGRAMMABLE APPROACH TO THE MAINTENANCE OF USER MODELING

摘要

In this paper, we introduce an algorithm for the maintenance of user modeling. The inputs of the algorithm are a propositional clause set Γ and a propositional clause A. And the outputs of the algorithm are the subsets of Γ which are minimally inconsistent with A. Then we also introduce a prototype system for the revision of propositional clause set. At last, we discuss the relationship between the approach presented in this paper and other related approaches.