Abstract
Smart Homes (SH) have emerged as a viable solution capable of providing assistive living for the elderly and disabled. Nevertheless, it still remains a challenge to assist the inhabitants of a SH in performing the correct action(s) at the correct time in the correct place. To address this challenge, this paper introduces a novel logic-based approach to cognitive modeling based on a highly developed logical theory of actions - the Event Calculus. Cognitive models go beyond behavioral models in that they govern an inhabitant’s behavior by reasoning about its knowledge, actions and events. We present a formal cognitive model for a SH and describe the mechanisms for its use in facilitating assistive living. In addition we present a system architecture and demonstrate the use of the proposed approach through a real world daily activity.
This is a preview of subscription content, log in via an institution to check access.
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
Philipose, M., Fishkin, K.P., Patterson, D.J., Fox, D., Kautz, H., Hahnel, D.: Inferring activities from interactions with objects. IEEE Pervasive Computing, 50–57 (2004)
Boger, J., Poupart, P., Hoey, J., Boutilier, C., Mihailidis, A.: A Decision-Theoretic Approach to Task Assistance for Persons with Dementia. In: Proc. of the International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 1293–1299 (2005)
Kowalski, R.A., Sergot, M.J.: A Logic-based Calculus of Events. New Generation Computing 4, 67–95 (1986)
Albrecht, D.W., Zukerman, I.: Bayesian Models for Keyhole Plan Recognition in an Adventure Game. User Modelling and User-Adapted Interaction (8), 5–47 (1998)
Bauchet, J., Mayers, A.: Modelisation of ADL in its Environment for Cognitive Assistance. In: Proc. of the 3rd International Conference on Smart homes and health Telematics (ICOST 2005), Sherbrooke, Canada, pp. 3–10 (2005)
Wobke, W.: Two Logical Theories of Plan Recognition. Journal of Logic Computation 12(3), 371–412 (2002)
Hoey, J., Poupart, P.: Solving POMDPs with continuous or large discrete observation spaces. In: Proc. Int’l. Joint Conf. on Artificial Intelligence, pp. 1332–1338 (2005)
Bouchard, B., Giroux, S.: A Smart Home Agent for Plan Recognition of Cognitively-impaired Patients. Journal of Computers 1(5), 53–62 (2006)
Shanahan, M.P.: Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press, Cambridge (1997)
Levesque, H.: What Is Planning in the Presence of Sensing? In: Proceedings AAAI 1996, pp. 1139–1146 (1996)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chen, L., Nugent, C., Mulvenna, M., Finlay, D., Hong, X., Poland, M. (2008). Using Event Calculus for Behaviour Reasoning and Assistance in a Smart Home. In: Helal, S., Mitra, S., Wong, J., Chang, C.K., Mokhtari, M. (eds) Smart Homes and Health Telematics. ICOST 2008. Lecture Notes in Computer Science, vol 5120. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69916-3_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-69916-3_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69914-9
Online ISBN: 978-3-540-69916-3
eBook Packages: Computer ScienceComputer Science (R0)