Situation calculus and personalized web systems - CentraleSupélec Access content directly
Conference Papers Year : 2011

Situation calculus and personalized web systems

Fabrice Popineau
Yolaine Bourda


Personalized systems are a response to the increasing number of resources on the Internet, but can be difficult to create. In order to facilitate the design and creation of such personalized systems, we aim at formalizing them. The situation calculus is a logical framework that has often been proposed to model web applications and even personalized ones. However, the details of its use are much more rarely explained. In this paper we will show that it is needed to carefully consider which variant of the situation calculus to choose. We will precisely show why we want to use the so-called guarded action theories. We explain why and how it fits into an architecture. We introduce two scenarios of personalized applications to illustrate this choice
No file

Dates and versions

hal-00651761 , version 1 (14-12-2011)



Georges Dubus, Fabrice Popineau, Yolaine Bourda. Situation calculus and personalized web systems. 2011 11th International Conference on Intelligent Systems Design and Applications, Nov 2011, Cordoba, Spain. pp.569-574, ⟨10.1109/ISDA.2011.6121716⟩. ⟨hal-00651761⟩
31 View
0 Download



Gmail Facebook Twitter LinkedIn More