Towards a Context Theory for Context-aware systems, Advances in Ambient Intelligence

Abstract : The basic goal of context-aware systems is to make software aware of the environment and to adapt to their changing context. For that purpose, the core problem is to have a powerful context model. While significative formalizations have been proposed, context models are either expressed through logical formalisms or with ontology-based approaches. The major problem with all that approaches is that they suffer from the chronic insufficiency of first-order logic to cope with dynamic change and especially, to solve the frame problem. Therefore, building context-aware software is a complex task due to a lack of appropriate formal models in dynamic environments. In this paper, we propose a model which combines the strengths of both approaches while trying not to carry their specific weaknesses into the resulting formal framework. For this purpose, the formal model relies both on a knowledge representation with ontologies and on a logical reasoning with Dependent Record Types (DRT) based on Intuitionistic Type Theory and the Curry-Howard isomorphism. This logic modelling aims to be applied to any kind of process-based applications.
Type de document :
Chapitre d'ouvrage
J.C. Augusto and D. Shapiro. Frontiers in Artificial Intelligence and Applications, IOS Press The Netherlands, pp.36-55, 2007
Liste complète des métadonnées

http://hal.univ-smb.fr/hal-00498532
Contributeur : Richard Dapoigny <>
Soumis le : mercredi 7 juillet 2010 - 16:47:48
Dernière modification le : mercredi 10 janvier 2018 - 09:47:10

Identifiants

  • HAL Id : hal-00498532, version 1

Collections

UGA

Citation

Richard Dapoigny, Patrick Barlatier. Towards a Context Theory for Context-aware systems, Advances in Ambient Intelligence. J.C. Augusto and D. Shapiro. Frontiers in Artificial Intelligence and Applications, IOS Press The Netherlands, pp.36-55, 2007. 〈hal-00498532〉

Partager

Métriques

Consultations de la notice

60