Caire, Patrice[University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Nain, Grégory[University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Le Traon, Yves[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Theory, Practice, and Applications of Rules on the Web
7th International Symposium, RuleML 2013
[en] contextual reasoning, ; system development ; Ambient Intelligence, ; distributed reasoning,
[en] The special characteristics and requirements of intelligent environments impose several challenges to the reasoning processes of Ambient Intelligence systems. Such systems must enable heterogeneous entities operating in open and dynamic environments to collectively rea- son with imperfect context information. Previously we introduced Con- textual Defeasible Logic (CDL) as a contextual reasoning model that addresses most of these challenges using the concepts of context, map- pings and contextual preferences. In this paper, we present a platform integrating CDL with Kevoree, a component-based software framework for Dynamically Adaptive Systems. We explain how the capabilities of Kevoree are exploited to overcome several technical issues, such as com- munication, information exchange and detection, and explain how the reasoning methods may be further extended. We illustrate our approach with a running example from Ambient Assisted Living.