Mathematical Approaches to User Modeling