• DocumentCode
    254914
  • 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
  • fYear
    2014
  • fDate
    June 30 2014-July 4 2014
  • Firstpage
    234
  • Lastpage
    241
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Intelligent Environments (IE), 2014 International Conference on
  • Conference_Location
    Shanghai
  • Type

    conf

  • DOI
    10.1109/IE.2014.44
  • Filename
    6910455