service robots; social robotics; distributed reasoning
Abstract :
[en] An ageing population with increased social care needs has provided recent impetus for research into assisted living technologies, as the need for different approaches to providing supportive environments for senior citi- zens becomes paramount. Ambient intelligence (AmI) systems are already contributing to this endeavour. A key feature of future AmI systems will be the ability to identify causes and explanations for changes to the environment, in order to react appropriately. We identify some of the challenges that arise in this respect, and argue that an iterative and distributed approach to explanation generation is required, interleaved with di- rected data gathering. We further argue that this can be realised by developing and combining state-of-the art techniques in automated distributed reasoning, activity recognition, robotics, and knowledge-based control.
Disciplines :
Computer science
Author, co-author :
bikakis, Antonis
Caire, Patrice ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
clark, keith
Cornelius, Gary Philippe ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
ma, jiefei
miller, rob
russo, alessandra
Voos, Holger ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Engineering Research Unit ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
External co-authors :
yes
Language :
English
Title :
Collaborative Explanation and Response in Assisted Living Environments Enhanced with Humanoid Robots
Publication date :
2016
Event name :
8th International Conference on Agents and Artificial Intelligence
Event place :
Rome, Italy
Event date :
February 24 - 26, 2016
Main work title :
8th International Conference on Agents and Artificial Intelligence, ICAART, Rome, Italy, 2016
ALrajeh, D., Miller, R., Russo, A., and Uchitel, S. (2013). Reasoning about triggered scenarios in logic programming. In Proc. ICLP'13.
Artikis, A. and Paliouras, G. (2009). Behaviour Recognition Using the Event Calculus. Artificial Intelligence Applications and Innovations III, pages 469-478.
Bettini, C. et al. (2010). A survey of context modelling and reasoning techniques. Pervasive and Mobile Computing, 6(2):161-180.
Bikakis, A. and Antoniou, G. (2010a). Defeasible Contextual Reasoning with Arguments in Ambient Intelligence. IEEE Transactions on Knowledge and Data Engineering, 22(11):1492-1506.
Bikakis, A. and Antoniou, G. (2010b). Rule-based contextual reasoning in ambient intelligence. In Proc. RuleML 2010, volume 6403 of LNCS, pages 74-88. Springer.
Bikakis, A., Antoniou, G., and Hassapis, P. (2011). Strategies for contextual reasoning with conflicts in Ambient Intelligence. Knowledge and Information Systems, 27(1):45-84.
Boytsov, A. and Zaslavsky, A. B. (2010). Extending context spaces theory by proactive adaptation. In Proc. NEW2AN 2010, volume 6294 of Lecture Notes in Computer Science, pages 1-12. Springer.
Broda, K., Clark, K., Miller, R., and Russo, A. (2009). Sage: A logical agent-based environment monitoring and control system. In Proc. AmI 2009, volume 5859 of LNCS, pages 112-117. Springer.
Caire, P., Alcade, B., van der Torre, L., and Sombattheera, C. (2011). Conviviality measures. In Proc. AAMAS 2011.
Das, S. K., Cook, D. J., Bhattacharya, A., III, E. O. H., and Lin, T.-Y. (2002). The role of prediction algorithms in the mavhome smart home architecture. IEEE Wireless Communications, 9(6):77-84.
Gellert, A. and Vintan, L. (2006). Person movement prediction using hidden markov models. Studies in Informatics and Control, 15(1):17-30.
Kateb, D. E., Zannone, N., Caire, P., Moawad, A., Nain, G., Mouelhi, T., and Traon, Y. L. (2014). Convivialitydriven access control policy. Requirements Engineering Journal, pages 1-20.
Kowalski, R. A. and Sergot, M. J. (1986). A Logic-Based Calculus of Events. New Generation Computing, 4:67-95.
Ma, J., Miller, R., Morgenstern, L., and Patkos, T. (2013). An epistemic event calculus for asp-based reasoning about knowledge of the past, present and future. In Proc. LPAR-19.
Ma, J., Russo, A., Broda, K., and Lupu, E. (2010). Distributed abductive reasoning with constraints. In Proc. DALT2010.
Ma, J., Russo, A., Broda, K., and Lupu, E. (2011). Multiagent confidential abductive reasoning. In Proc. ICLP 2011.
Miller, R. and Shanahan, M. (2002). Some Alternative Formulations of the Event Calculus. In Computational Logic: Logic Programming and Beyond, Essays in Honour of R. A. Kowalski, Part II, pages 452-490.
Nilsson, N. (1994). Teleo-reactive programs for agent control. Journal of Artificial Intelligence Research, 1:139158.
Pansiot, J., Stoyanov, D., McIlwraith, D. G., Lo, B., and Yang, G. (2007). Ambient and wearable sensor fusion for activity recognition in healthcare monitoring systems. In Proc. BSN 2007, pages 208-212. Springer.
Petzold, J., Pietzowski, A., Bagci, F., Trumler, W., and Ungerer, T. (2005). Prediction of indoor movements using bayesian networks. In Proc. LoCA 2005, volume 3479 of LNCS, pages 211-222. Springer.
Robinson, P. and Clark, K. (2010). Pedro: a Publish/Subscribe Server using Prolog Technology. Software: Practice and Experience, 40(4):313329.
Roman, M., Hess, C., Cerqueira, R., Ranganathan, A., Campbell, R. H., and Nahrstedt, K. (2002). A middleware infrastructure for active spaces. IEEE Pervasive Computing, 1(4):74-83.
Shanahan, M. (1989). Prediction is deduction but explanation is abduction. In Proc. IJCAI'89.
Snchez-Garzn, I., Milla-Milln, G., and Fernndez-Olivares, J. (2012). Context-aware generation and adaptive execution of daily living care pathways. In Proc. IWAAL 2012, volume 7657 of LNCS, pages 362-370. Springer.
Valero, M. n., Bravo, J., Garca, J. M., de Ipia, D. L., and Gmez, A. (2013). A knowledge based framework to support active aging at home based environments. In Proc. IWAAL 2013, volume 8277 of LNCS, pages 1-8. Springer.
Viterbo, J. and Endler, M. (2012). Decentralized Reasoning in Ambient Intelligence. Springer Briefs in Computer Science. Springer.
