Using Event Calculus for Behaviour Reasoning and Assistance in a Smart Home
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.
KeywordsEvent calculus cognitive modeling behavior reasoning smart homes assistive living
Unable to display preview. Download preview PDF.
- 1.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)Google Scholar
- 2.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)Google Scholar
- 3.Kowalski, R.A., Sergot, M.J.: A Logic-based Calculus of Events. New Generation Computing 4, 67–95 (1986)Google Scholar
- 4.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)Google Scholar
- 5.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)Google Scholar
- 7.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)Google Scholar
- 9.Shanahan, M.P.: Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press, Cambridge (1997)Google Scholar
- 10.Levesque, H.: What Is Planning in the Presence of Sensing? In: Proceedings AAAI 1996, pp. 1139–1146 (1996)Google Scholar