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

L Chen, CD Nugent, MD Mulvenna, D Finlay, X Hong, M Poland

Research output: Chapter in Book/Report/Conference proceedingConference contribution

25 Citations (Scopus)

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.
LanguageEnglish
Title of host publicationUnknown Host Publication
EditorsS Helal, S Mitra, M Mokhtari
Pages81-89
Number of pages8
DOIs
Publication statusPublished - Jun 2008
EventThe 6th International Conference on Smart homes and Health Telematics - Iowa, USA
Duration: 1 Jun 2008 → …

Conference

ConferenceThe 6th International Conference on Smart homes and Health Telematics
Period1/06/08 → …

Cite this

Chen, L., Nugent, CD., Mulvenna, MD., Finlay, D., Hong, X., & Poland, M. (2008). Using Event Calculus for Behaviour Reasoning and Assistance in a Smart Home. In S. Helal, S. Mitra, & M. Mokhtari (Eds.), Unknown Host Publication (pp. 81-89) https://doi.org/10.1007/978-3-540-69916-3
Chen, L ; Nugent, CD ; Mulvenna, MD ; Finlay, D ; Hong, X ; Poland, M. / Using Event Calculus for Behaviour Reasoning and Assistance in a Smart Home. Unknown Host Publication. editor / S Helal ; S Mitra ; M Mokhtari. 2008. pp. 81-89
@inproceedings{54c2e9c4bd5d4d81969e79ac873c1f61,
title = "Using Event Calculus for Behaviour Reasoning and Assistance in a Smart Home",
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.",
author = "L Chen and CD Nugent and MD Mulvenna and D Finlay and X Hong and M Poland",
year = "2008",
month = "6",
doi = "10.1007/978-3-540-69916-3",
language = "English",
isbn = "978-3-540-69914-9",
pages = "81--89",
editor = "S Helal and S Mitra and M Mokhtari",
booktitle = "Unknown Host Publication",

}

Chen, L, Nugent, CD, Mulvenna, MD, Finlay, D, Hong, X & Poland, M 2008, Using Event Calculus for Behaviour Reasoning and Assistance in a Smart Home. in S Helal, S Mitra & M Mokhtari (eds), Unknown Host Publication. pp. 81-89, The 6th International Conference on Smart homes and Health Telematics, 1/06/08. https://doi.org/10.1007/978-3-540-69916-3

Using Event Calculus for Behaviour Reasoning and Assistance in a Smart Home. / Chen, L; Nugent, CD; Mulvenna, MD; Finlay, D; Hong, X; Poland, M.

Unknown Host Publication. ed. / S Helal; S Mitra; M Mokhtari. 2008. p. 81-89.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

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

AU - Chen, L

AU - Nugent, CD

AU - Mulvenna, MD

AU - Finlay, D

AU - Hong, X

AU - Poland, M

PY - 2008/6

Y1 - 2008/6

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-540-69916-3

DO - 10.1007/978-3-540-69916-3

M3 - Conference contribution

SN - 978-3-540-69914-9

SP - 81

EP - 89

BT - Unknown Host Publication

A2 - Helal, S

A2 - Mitra, S

A2 - Mokhtari, M

ER -

Chen L, Nugent CD, Mulvenna MD, Finlay D, Hong X, Poland M. Using Event Calculus for Behaviour Reasoning and Assistance in a Smart Home. In Helal S, Mitra S, Mokhtari M, editors, Unknown Host Publication. 2008. p. 81-89 https://doi.org/10.1007/978-3-540-69916-3