A Logical Framework for Behaviour Reasoning and Assistance in a Smart Home

Research output: Contribution to journalArticle

Abstract

Smart Homes (SH) have emerged as a realistic intelligent assistive environment capable of providing assistive living for the elderly and the disabled. Nevertheless, it still remains a challenge to assist the inhabitants of a SH in performing the “right” action(s) at the “right” time in the “right” place. To address this challenge, this paper introduces a novel logical framework for cognitive behavioural modelling, reasoning and assistance based on a highly developed logical theory of actions - the Event Calculus. Cognitive models go beyond data-centric behavioural models in that they govern an inhabitant’s behaviour by reasoning about its knowledge, actions and environmental events. In our work we outline the theoretical foundation of such an approach and describe cognitive modelling of SH. We discuss the reasoning capabilities and algorithms of the cognitive SH model and present the details of the various tasks it can support. A system architecture is proposed to illustrate the use of the framework in facilitating assistive living. We demonstrate the perceived effectiveness of the approach through presentation of its operation in the context of a real world daily activity scenario.
LanguageEnglish
Pages20-34
JournalInternational Journal of Assistive Robotics and Mechatronics
Volume9
Issue number4
Publication statusPublished - Dec 2008

Cite this

@article{36f984c22650474a851589bdd5257796,
title = "A Logical Framework for Behaviour Reasoning and Assistance in a Smart Home",
abstract = "Smart Homes (SH) have emerged as a realistic intelligent assistive environment capable of providing assistive living for the elderly and the disabled. Nevertheless, it still remains a challenge to assist the inhabitants of a SH in performing the “right” action(s) at the “right” time in the “right” place. To address this challenge, this paper introduces a novel logical framework for cognitive behavioural modelling, reasoning and assistance based on a highly developed logical theory of actions - the Event Calculus. Cognitive models go beyond data-centric behavioural models in that they govern an inhabitant’s behaviour by reasoning about its knowledge, actions and environmental events. In our work we outline the theoretical foundation of such an approach and describe cognitive modelling of SH. We discuss the reasoning capabilities and algorithms of the cognitive SH model and present the details of the various tasks it can support. A system architecture is proposed to illustrate the use of the framework in facilitating assistive living. We demonstrate the perceived effectiveness of the approach through presentation of its operation in the context of a real world daily activity scenario.",
author = "Luke Chen and Nugent, {Chris D.} and Maurice Mulvenna and Dewar Finlay and Xin Hong and Michael Poland",
year = "2008",
month = "12",
language = "English",
volume = "9",
pages = "20--34",
number = "4",

}

A Logical Framework for Behaviour Reasoning and Assistance in a Smart Home. / Chen, Luke; Nugent, Chris D.; Mulvenna, Maurice; Finlay, Dewar; Hong, Xin; Poland, Michael.

Vol. 9, No. 4, 12.2008, p. 20-34.

Research output: Contribution to journalArticle

TY - JOUR

T1 - A Logical Framework for Behaviour Reasoning and Assistance in a Smart Home

AU - Chen, Luke

AU - Nugent, Chris D.

AU - Mulvenna, Maurice

AU - Finlay, Dewar

AU - Hong, Xin

AU - Poland, Michael

PY - 2008/12

Y1 - 2008/12

N2 - Smart Homes (SH) have emerged as a realistic intelligent assistive environment capable of providing assistive living for the elderly and the disabled. Nevertheless, it still remains a challenge to assist the inhabitants of a SH in performing the “right” action(s) at the “right” time in the “right” place. To address this challenge, this paper introduces a novel logical framework for cognitive behavioural modelling, reasoning and assistance based on a highly developed logical theory of actions - the Event Calculus. Cognitive models go beyond data-centric behavioural models in that they govern an inhabitant’s behaviour by reasoning about its knowledge, actions and environmental events. In our work we outline the theoretical foundation of such an approach and describe cognitive modelling of SH. We discuss the reasoning capabilities and algorithms of the cognitive SH model and present the details of the various tasks it can support. A system architecture is proposed to illustrate the use of the framework in facilitating assistive living. We demonstrate the perceived effectiveness of the approach through presentation of its operation in the context of a real world daily activity scenario.

AB - Smart Homes (SH) have emerged as a realistic intelligent assistive environment capable of providing assistive living for the elderly and the disabled. Nevertheless, it still remains a challenge to assist the inhabitants of a SH in performing the “right” action(s) at the “right” time in the “right” place. To address this challenge, this paper introduces a novel logical framework for cognitive behavioural modelling, reasoning and assistance based on a highly developed logical theory of actions - the Event Calculus. Cognitive models go beyond data-centric behavioural models in that they govern an inhabitant’s behaviour by reasoning about its knowledge, actions and environmental events. In our work we outline the theoretical foundation of such an approach and describe cognitive modelling of SH. We discuss the reasoning capabilities and algorithms of the cognitive SH model and present the details of the various tasks it can support. A system architecture is proposed to illustrate the use of the framework in facilitating assistive living. We demonstrate the perceived effectiveness of the approach through presentation of its operation in the context of a real world daily activity scenario.

M3 - Article

VL - 9

SP - 20

EP - 34

IS - 4

ER -