2013 • In Joint Proceedings of the 7th International Rule Challenge, the Special Track on Human Language Technology and the 3rd RuleML Doctoral Consortium hosted at the 8th International Symposium on Rules (RuleML2013)
contextual reasoning; distributed reasoning; Ambient Intelligence; system development
Abstract :
[en] In this paper we present R-CoRe; a rule-based contextual reasoning platform for Ambient Intelligence environments. R-CoRe integrates Contextual Defeasible Logic (CDL) and Kevoree, a component-based software platform for Dynamically Adaptive Systems. Previously, we explained how this integration enables to overcome several reasoning and technical issues that arise from the imperfect nature of context knowledge, the open and dynamic nature of Ambient Intelligence environments, and the restrictions of wireless communications. Here, we focus more on technical aspects related to the architecture of R-Core, and demonstrate its use in Ambient Assisted Living.
Disciplines :
Computer science
Author, co-author :
Moawad, Assaad ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Bikakis, Antonis; University College London - UCL > Department of Information Studies
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)
Language :
English
Title :
R-CoRe: A Rule-based Contextual Reasoning Platform for AmI
Publication date :
July 2013
Event name :
RuleML@ChallengeEnriched 2013
Event date :
July 11 -13, 2013
Audience :
International
Main work title :
Joint Proceedings of the 7th International Rule Challenge, the Special Track on Human Language Technology and the 3rd RuleML Doctoral Consortium hosted at the 8th International Symposium on Rules (RuleML2013)
Antoniou, G., Papatheodorou, C., Bikakis, A.: Reasoning about Context in Ambient Intelligence Environments: A Report from the Field. In: KR. pp. 557-559. AAAI Press (2010)
Bikakis, A., Antoniou, G.: Defeasible Contextual Reasoning with Arguments in Ambient Intelligence. IEEE Trans. on Knowledge and Data Engineering 22(11), 1492-1506 (2010)
Bikakis, A., Antoniou, G.: Rule-based contextual reasoning in ambient intelligence. In: RuleML. pp. 74-88 (2010)
Bikakis, A., Antoniou, G.: Contextual Defeasible Logic and Its Application to Ambient Intelligence. IEEE Transactions on Systems, Man, and Cybernetics, Part A 41(4), 705-716 (2011)
Bikakis, A., Antoniou, G., Hassapis, P.: Strategies for contextual reasoning with conflicts in Ambient Intelligence. Knowledge and Information Systems 27(1), 45-84 (2011)
Cook, D. J., Augusto, J. C., Jakkula, V. R.: Ambient intelligence: Technologies, applications, and opportunities. Pervasive and Mobile Computing pp. 277-298 (2009)
Efthymiou, V., Caire, P., Bikakis, A.: Modeling and evaluating cooperation in multi-context systems using conviviality. In: Proceedings of BNAIC 2012 The 24th Benelux Conference on Artificial Intelligence. pp. 83-90 (2012)
Fouquet, F., Barais, O., Plouzeau, N., Jézéquel, J. M., Morin, B., Fleurey, F.: A Dynamic Component Model for Cyber Physical Systems. In: 15th International ACM SIGSOFT Symposium on Component Based Software Engineering. Bertinoro, Italie (Jul. 2012), http://hal.inria.fr/hal-00713769
Fouquet, F., Nain, G., Morin, B., Daubert, E., Barais, O., Plouzeau, N., Jézéquel, J. M.: An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements. In: Models 2012. Innsbruck, Autriche (Oct. 2012), http://hal. inria.fr/hal-00714558
Ghidini, C., Giunchiglia, F.: Local Models Semantics, or contextual reasoning=locality+compatibility. Artificial Intelligence 127(2), 221-259 (2001)
Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics, or: how we can do without modal logics. Artificial Intelligence 65 (1) (1994)
Henricksen, K., Indulska, J.: Modelling and Using Imperfect Context Information. In: Proceedings of PERCOMW'04. pp. 33-37. IEEE Computer Society, Washington, DC, USA (2004)
Kontopoulos, E., Zetta, T., Bassiliades, N.: Semantically-enhanced authoring of defeasible logic rule bases in the semantic web. In: WIMS. p. 56 (2012)
Luckham, D. C.: The power of events - an introduction to complex event processing in distributed enterprise systems. ACM (2005)
Moawad, A., Bikakis, A., Caire, P., Nain, G., Traon, Y. L.: A Rule-based Contextual Reasoning Platform for Ambient Intelligence environments. In: RuleML. LNCS, Springer (2013)
Moawad, A., Efthymiou, V., Caire, P., Nain, G., Le Traon, Y.: Introducing conviviality as a new paradigm for interactions among IT objects. In: Proceedings of the Workshop on AI Problems and Approaches for Intelligent Environments. vol. 907, pp. 3-8. CEUR-WS.org (2012)
Morin, B., Barais, O., Nain, G., Jezequel, J. M.: Taming dynamically adaptive systems using models and aspects. In: Proceedings of the 31st International Conference on Software Engineering. pp. 122-132. ICSE'09, IEEE Computer Society, Washington, DC, USA (2009), http://dx.doi.org/10.1109/ICSE. 2009.5070514
Paschke, A., Vincent, P., Springer, F.: Standards for complex event processing and reaction rules. In: RuleML America. pp. 128-139 (2011)