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

Date

2008-06

Advisors

Journal Title

Journal ISSN

ISSN

Volume Title

Publisher

Springer

Type

Book chapter

Peer reviewed

Yes

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.

Description

Keywords

Event calculus cognitive modeling behavior reasoning smart homes assistive living

Citation

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

Rights

Research Institute

Cyber Technology Institute (CTI)