Skip to Main content Skip to Navigation
Conference papers

Situation calculus and personalized web systems

Abstract : 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
Document type :
Conference papers
Complete list of metadata
Contributor : Evelyne Faivre Connect in order to contact the contributor
Submitted on : Wednesday, December 14, 2011 - 10:30:12 AM
Last modification on : Monday, December 14, 2020 - 12:38:04 PM




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⟩



Les métriques sont temporairement indisponibles