Title: Understanding and Modelling Activities of Daily Living for People in Later Life
Speakers: Ricardo Contreras
Abstract:

Activities of Daily Living (ADLs) are tasks that people perform on a day-to-day basis to cover essential (physical) needs. How these activities are performed can be quite complex and change according to the environment/subject context, or the way in which the activities themselves are accomplished.  Establishing whether an ADL is performed as expected allows for the identification of deviations and the (potential) creation of interventions.  These aspects contribute to the best quality of life for people in later years.  In this talk I will present the work we have conducted as part of the ACRC programme.  I will start with the introduction of the ADLs.  I will delve into the extraction and symbolic encoding of properties (using linear temporal logic) related to identified ADLs, followed by an introduction to a rigorous and systematic approach (model checking) to surface deviations of these properties.  Then I will describe the main components of our model, show our initial results (based on real data) and present the conclusions and future work.