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.
Original language | English |
---|---|
Title of host publication | Unknown Host Publication |
Editors | S Helal, S Mitra, M Mokhtari |
Pages | 81-89 |
Number of pages | 8 |
DOIs | |
Publication status | Published (in print/issue) - Jun 2008 |
Event | The 6th International Conference on Smart homes and Health Telematics - Iowa, USA Duration: 1 Jun 2008 → … |
Conference
Conference | The 6th International Conference on Smart homes and Health Telematics |
---|---|
Period | 1/06/08 → … |