Abstract
In this chapter we discuss the necessity to move beyond built-in monotonic semantic web based reasoning-architectures for endowing ubiquitous robots with cognitive capabilities, which are strongly required in ambient assistive living, towards new architectures that combine different reasoning mechanisms to achieve better context awareness and adaptability in dynamic environments. We also present practical reasoning approaches that we have developed during the last decade for ambient intelligence and robotics applications. Finally, we discuss future directions that should be investigated to implement high-level cognitive capabilities that can be supported by cloud computing platforms as reasoning backend for robots and connected devices in smart spaces. These will enhance the human-environment interaction using robots, emergency prevention, management and rescue.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Dey, A.K.: Understanding and using context. Personal Ubiquitous Computing 5(1), 4–7 (2001)
Horrocks, I., Patel-Schneider, P.F.: Knowledge representation and reasoning on the semantic web: Owl. In: Handbook of Semantic Web Technologies, vol. 9 (2010)
Riboni, D., Bettini, C.: Owl 2 modeling and reasoning with complex human activities. Perv. and Mob. Computing 7, 379–395 (2011)
Ducatel, K., Bogdanowicz, M., Scapolo, F., Leijten, J., Burgelman, J.-C.: Scenarios for ambient intelligence in 2010. IST Programme Advisory Group, ISTAG (2001)
Yachir, A., Tari, K., Chibani, A., Amirat, Y.: Toward an Automatic Approach for Ubiquitous Robotic Services Composition. In: IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 3717–3724 (2008)
Yachir, A., Tari, K., Amirat, Y., Chibani, A., Badache, N.: Qos based framework for ubiquitous robotic services composition. In: Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 2019–2026 (2009)
Wang, X.H., Zhang, D.Q., Gu, T., Pung, H.K.: Ontology based context modeling and reasoning using owl. In: Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops, pp. 18–22 (2004)
Yau, S.S., Liu, J.: Hierarchical situation modeling and reasoning for pervasive computing. In: Proceedings of the Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, and the Second International Workshop on Collaborative Computing, Integration, and Assurance (SEUS-WCCIA 2006), pp. 5–10 (2006)
Chen, H., Finin, T., Joshi, A.: The soupa ontology for pervasive computing. In: Ontologies for Agents: Theory and Experiences, pp. 233–258 (2005)
Francois, A.R.J., Nevatia, R., Hobbs, J., Bolles, R.C.: Verl: An ontology framework for representing and annotating video events. IEEE MultiMedia 12(4), 76–86 (2005)
Zarri, G.P., Sabri, L., Chibani, A., Amirat, Y.: Semantic-based industrial engineering: Problems and solutions. In: Proceedings of the 2010 International Conference on Complex, Intelligent and Software Intensive Systems, pp. 1022–1027 (2010)
Sabri, L., Chibani, A., Amirat, Y., Zarri, G.-P.: Semantic reasoning framework to supervise and manage contexts and objects in pervasive computing environments. In: Proceedings of the 2011 IEEE Workshops of International Conference on Advanced Information Networking and Applications, pp. 47–52 (2011)
Sabri, L., Chibani, A., Amirat, Y., Zarri, G.P.: Narrative reasoning for cognitive ubiquitous robots. In: IROS 2011 Workshop: Knowledge Representation for Autonomous Robots (2011)
Zarri, G.P.: Representation and Management of Narrative Information, Theoretical Principles and Implementation. Springer (2009)
Ayari, N., Chibani, A., Zarri, G.P., Amirat, Y.: Semi-automatic natural language representation for narrative information. Technical Report, UPEC LISSI Lab
Santofimia, M.J., Fahlman, S.E., del Toro, X., Moya, F., Lopez, J.C.: A semantic model for actions and events in ambient intelligence. Journal Engineering Applications of Artificial Intelligence 24, 1432–1445 (2011)
Ye, J., Dobson, S.: Exploring semantics in activity recognition using context lattices. Journal of Ambient Intelligence and Smart Environments 2, 389–407 (2010)
Chen, L., Nugent, C., Mulvenna, M., Finlay, D., Hong, X., Poland, M.: A logical framework for behaviour reasoning and assistance in a smart home. Int. Journal of Assistive Robotics and Mechatronics 9 (2008)
Brewka, G., Eiter, T.: Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, British Columbia, Canada, July 22-26, pp. 385–390 (2007)
Bikakis, A., Antoniou, G.: Defeasible Contextual Reasoning with Arguments in Ambient Intelligence. IEEE Trans. on Knowledge and Data Engineering 22(11), 1492–1506 (2010)
Paschke, A.: ECA-RuleML: An Approach combining ECA Rules with temporal interval-based KR Event/Action Logics and Transactional Update Logics. CoRR, vol. abs/cs/0610167 (2006)
Kowalski, R., Sergot, M.: A Logic-Based Calculus of Events. New Generation Computing 4(1), 67–95 (1986)
Miller, R., Shanahan, M.: Some alternative formulations of the event calculus. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2408, pp. 452–490. Springer, Heidelberg (2002)
Patkos, T., Chibani, A., Plexousakis, D., Amirat, Y.: A production rule-based framework for causal and epistemic reasoning. In: Bikakis, A., Giurca, A. (eds.) RuleML 2012. LNCS, vol. 7438, pp. 120–135. Springer, Heidelberg (2012)
Patkos, T., Plexousakis, D.: Reasoning with knowledge, action and time in dynamic and uncertain domains. In: IJCAI 2009, pp. 885–890 (2009)
Patkos, T., Plexousakiss, D.: Efficient epistemic reasoning in partially observable dynamic domains using hidden causal dependencies. In: The 9th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2011), pp. 55–62 (2011)
Moore, R.C.: A formal theory of knowledge and action. In: Formal Theories of the Commonsense World, pp. 319–358 (1985)
Scherl, R.: Reasoning about the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus. In: IJCAI 2003, pp. 1091–1098 (2003)
Thielscher, M.: Representing the Knowledge of a Robot. In: KR 2000, pp. 109–120 (2000)
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)
Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic 2(2), 255–287 (2001)
Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics, or: how we can do without modal logics. Artificial Intelligence 65(1) (1994)
Ghidini, C., Giunchiglia, F.: Local Models Semantics, or contextual reasoning=locality+compatibility. Artificial Intelligence 127(2), 221–259 (2001)
Moawad, A., Bikakis, A., Caire, P., Nain, G., Le Traon, Y.: A Rule-based Contextual Reasoning Platform for Ambient Intelligence environments. In: Morgenstern, L., Stefaneas, P., Lévy, F., Wyner, A., Paschke, A. (eds.) RuleML 2013. LNCS, vol. 8035, pp. 158–172. Springer, Heidelberg (2013)
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 (July 2012), http://hal.inria.fr/hal-00713769
Palacios, H., Geffner, H.: Compiling uncertainty away in conformant planning problems with bounded width. Journal of Artificial Intelligence Research 35(1), 623–675 (2009)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Chibani, A. et al. (2015). Using Cognitive Ubiquitous Robots for Assisting Dependent People in Smart Spaces. In: Mohammed, S., Moreno, J., Kong, K., Amirat, Y. (eds) Intelligent Assistive Robots. Springer Tracts in Advanced Robotics, vol 106. Springer, Cham. https://doi.org/10.1007/978-3-319-12922-8_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-12922-8_11
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-12921-1
Online ISBN: 978-3-319-12922-8
eBook Packages: EngineeringEngineering (R0)