A Logical Approach to Home Healthcare with Intelligent Sensor-Network Support

This paper describes an intelligent home healthcare system characterized by a wireless sensor network and a reasoning component. The goal of the system is to allow constant and unobtrusive monitoring of a patient in order to enhance autonomy and increase quality of life. Data collected by the sensor network are used to support a reasoning component, which is based on Answer Set Programming (ASP), in performing three main reasoning tasks: i) continuous contextualization of physical, mental and social state of a patient, ii) prediction of possibly risky situations and iii) identification of plausible causes for the worsening of a patient's health. Starting from different data sources (sensor data, test results, inference results) the reasoning component applies expressive logic rules aimed at correct interpretation of incomplete or inconsistent contextual information, and evaluates correlation rules expressed by clinicians. The expressive power of ASP allows efficient enough reasoning to support prevention, while declarativity simplifies rule-specification and allows automatic encoding of knowledge. Preliminary evaluations show that the combination of an ASP-based reasoning component and a wireless sensor network is a good solution for creating a home-based healthcare system.