Mild Dementia Care at Home - Integrating Activity Monitoring, User Interface Plasticity and Scenario Verification

We discuss an integrated approach towards building systems for monitoring and assisting people with mild dementia in their homes. Our approach differs from existing approaches in three ways. First we improve context acquisition and understanding with the concept of micro-context that takes us beyond existing notions of location and temporal context; second, we incorporate plasticity concept into the human computer interface, in order to provide a natural interaction way and accommodative interface to the user; third we target robust and reliable systems that are easy to scale and deploy in diverse end-user settings, through the use of formal model building tools to specify and verify systems at key stages from requirements generation all the way to deployment and user statistics gathering. In order to address real-life end user requirements we are working closely with geriatric doctors and their staff, so as to get inputs as to precise challenges in caring for mild dementia patients, and how systems targeted at holistic, personalized assistance and care-giving can be built with a view towards scaled up deployment in diverse settings. The main contribution of this paper is an approach for system building that incorporates activity monitoring, user interface plasticity and scenario verification targeting people with cognitive decline in regards to a Singapore initiative called A-Star Home 2015 Phase II. We expect our work to lead to a methodology for systematic development of monitoring and assistive systems for cognitive interventions for mild dementia patients at home. Although the integrated framework is still not completely realized, the three areas mentioned above have each yielded significant results on their own, and these are mentioned in the paper.

[1]  Chen-Khong Tham,et al.  Eating activity primitives detection - a step towards ADL recognition , 2008, HealthCom 2008 - 10th International Conference on e-health Networking, Applications and Services.

[2]  Jun Sun,et al.  Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction , 2009, ICFEM.

[3]  Andrei Tolstikov,et al.  2-layer Erroneous-Plan Recognition for dementia patients in smart homes , 2009, 2009 11th International Conference on e-Health Networking, Applications and Services (Healthcom).

[4]  John Bond,et al.  Quality of life and older people , 2004 .

[5]  Jun Sun,et al.  PAT: Towards Flexible Verification under Fairness , 2009, CAV.

[6]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[7]  Andrei Tolstikov,et al.  Plan recognition based on sensor produced micro-context for eldercare , 2009 .

[8]  Victor Foo Siang Fook,et al.  Fusion Considerations in Monitoring and Handling Agitation Behaviour for Persons with Dementia , 2006, 2006 9th International Conference on Information Fusion.

[9]  Mounir Mokhtari,et al.  Assistive housing: Case study in a residence for elderly people , 2008, Pervasive 2008.

[10]  Peter Johnson,et al.  Adept-a task based design environment , 1992, Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences.