A formal approach to personalization - CentraleSupélec Access content directly
Conference Papers Year : 2011

A formal approach to personalization

Fabrice Popineau
Yolaine Bourda


Personalized systems are a response to the increasing number of resources on the Internet. In order to facilitate their design and creation, we aim at formalizing them. In this paper, we consider the relationship between a personalized application and its non-personalized counterpart. We argue that a personalized application is a formal extension of a non-personalized one. We aim at characterizing the syntactic differences between the expression of the personalized and non-personalized versions of the application. Situation calculus is our framework to formalize applications. We introduce two scenarios of non-personalized application that we personalize to illustrate our approach.
No file

Dates and versions

hal-00646744 , version 1 (30-11-2011)



Georges Dubus, Fabrice Popineau, Yolaine Bourda. A formal approach to personalization. 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence, Nov 2011, Boca Raton (Floride), United States. pp.233-238, ⟨10.1109/ICTAI.2011.43⟩. ⟨hal-00646744⟩
32 View
0 Download



Gmail Facebook Twitter LinkedIn More