Title :
Temporal Reasoning for Intuitive Specification of Context-Awareness
Author :
Alegre Ibarra, Unai ; Augusto, Juan Carlos ; Aztiria Goenaga, Asier
Author_Institution :
Univ. of Mondragon, Mondragon, Spain
fDate :
June 30 2014-July 4 2014
Abstract :
One of the most important challenges of the creation of intelligent environments is the specifications of what intelligent behaviours the system will exhibit. The processing of these situations can be computationally demanding. We report on the advances of the specification of a rule-based language which allows for the natural expression of situations of interest as those which occur on Intelligent Environments. The language focuses on quasi real-time situations and includes new temporal operators which allow a natural reference to time instants and to intervals. We explained how the system is implemented and how the system was validated within a Smart Office scenario.
Keywords :
formal specification; knowledge based systems; office automation; temporal reasoning; ubiquitous computing; context awareness; intelligent behaviours; intelligent environments; natural expression; natural reference; rule-based language specification; smart office scenario; Artificial intelligence; Cognition; Hazards; Intelligent sensors; Sensor systems; Silicon; ambient intelligence; context awareness; temporal reasoning;
Conference_Titel :
Intelligent Environments (IE), 2014 International Conference on
Conference_Location :
Shanghai