%0 Journal Article
%T Automatic generation of logical specifications for context-aware systems
%A Radoslaw Klimek
%J Computer Science
%D 2014
%I arXiv
%X Context-awareness is a one of the most important paradigm for nowadays/modern systems. It means sensing and reacting on environment which might be formed by things that belong to the IoT. The information that is derived from sensors constitutes, informally speaking, a kind of speech and language phrases, which could be expressed in terms of formal/temporal logic. Logic avoids ambiguity which is typical for natural languages. Such logical specifications, which could be the result of observing the behavior of users/inhabitants that belong to an environment, then might be used by context-aware applications. The knowledge expressed in terms of temporal logic formulas may constitute an input for formal reasoning processes to support decisions of applications that are context-aware and pro-active.
%U http://arxiv.org/abs/1403.0185v1