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.
['Radosław Klimek']
Automatic generation of logical specifications for context-aware systems