Temporal Reasoning for Intuitive Specification of Context-Awareness

被引:11
作者
Alegre Ibarra, Unai [1 ]
Carlos Augusto, Juan [2 ]
Aztiria, Asier [1 ]
机构
[1] Univ Mondragon, Arrasate Mondragon, Spain
[2] Middlesex Univ, Dept Comp Sci, Res Grp Dev Intelligent Environm, London N17 8HR, England
来源
2014 INTERNATIONAL CONFERENCE ON INTELLIGENT ENVIRONMENTS (IE) | 2014年
关键词
ambient intelligence; context awareness; temporal reasoning;
D O I
10.1109/IE.2014.44
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
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.
引用
收藏
页码:234 / 241
页数:8
相关论文
共 6 条
  • [1] The logical approach to temporal reasoning
    Augusto, JC
    [J]. ARTIFICIAL INTELLIGENCE REVIEW, 2001, 16 (04) : 301 - 333
  • [2] Intelligent Environments: a manifesto
    Augusto, Juan C.
    Callaghan, Vic
    Cook, Diane
    Kameas, Achilles
    Satoh, Ichiro
    [J]. HUMAN-CENTRIC COMPUTING AND INFORMATION SCIENCES, 2013, 3 (03): : 1 - 18
  • [3] Learning Frequent Behaviors of the Users in Intelligent Environments
    Aztiria, Asier
    Augusto, Juan Carlos
    Basagoiti, Rosa
    Izaguirre, Alberto
    Cook, Diane J.
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (06): : 1265 - 1278
  • [4] Stratified causal theories for reasoning about deterministic devices and protocols
    Galton, A
    Augusto, JC
    [J]. NINTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2002, : 52 - 54
  • [5] A SYSTEM TO REASON ABOUT UNCERTAIN AND DYNAMIC ENVIRONMENTS
    Lu, Zhiru
    Augusto, Juan
    Liu, Jun
    Wang, Hui
    Aztiria, Asier
    [J]. INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, 2012, 21 (05)
  • [6] A LINGUISTIC TRUTH-VALUE TEMPORAL REASONING (LTR) SYSTEM AND ITS APPLICATION TO THE DESIGN OF AN INTELLIGENT ENVIRONMENT
    Lu, Zhirui
    Augusto, Juan
    Liu, Jun
    Wang, Hui
    [J]. INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2012, 5 (01) : 173 - 196