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 metadatas

https://hal-supelec.archives-ouvertes.fr/hal-00651761
Contributor : Evelyne Faivre <>
Submitted on : Wednesday, December 14, 2011 - 10:30:12 AM
Last modification on : Friday, September 14, 2018 - 1:02:54 AM

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

166