Ulster University Logo

Using Event Calculus for Behaviour Reasoning and Assistance in a Smart Home

Chen, L, Nugent, CD, Mulvenna, MD, Finlay, D, Hong, X and Poland, M (2008) Using Event Calculus for Behaviour Reasoning and Assistance in a Smart Home. In: The 6th International Conference on Smart homes and Health Telematics, Iowa, USA. UNSPECIFIED. 8 pp. [Conference contribution]

Full text not available from this repository.

URL: http://www.springerlink.com/content/t5504720878l3qq4/?p=f554a0fc62f14f8592d4ee3d4e5e6408&pi=6

DOI: 10.1007/978-3-540-69916-3


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.

Item Type:Conference contribution (Paper)
Faculties and Schools:Faculty of Computing & Engineering
Faculty of Computing & Engineering > School of Computing and Mathematics
Research Institutes and Groups:Computer Science Research Institute
Computer Science Research Institute > Smart Environments
ID Code:7059
Deposited By: Professor Christopher Nugent
Deposited On:28 Jan 2010 09:16
Last Modified:27 Jun 2011 10:39

Repository Staff Only: item control page