Spatiotemporal Context Modelling in Pervasive Context-Aware Computing Environment: a Logic Perspective

D. Ameyed, M. Miraoui, C. Tadj

Pervasive context-aware computing, is one of the topics that received particular attention from researchers. The context, itself is an important notion explored in many works discussing its: acquisition, definition, modelling, reasoning and more. In view of the permanent evolution of context-aware systems, today context modeling, still a complex task due to the lack of; an adequate, dynamic, formal and relevant context representation. In this paper we discuss various context modeling approaches and previous logic based works. We also propose a preliminary formal spatiotemporal context modelling based on first order logic, derived from the structure of natural languages.

Keywords: context modelling; logic; formal; pervasive system; context-aware system.