Situation Awareness in Applications of Ambient Assisted Living for Cognitive Impaired People

Cognitive deterioration in neurodegenerative diseases is progressive and leads to increasing need for the patient to be monitored and assisted. Unfortunately, mid-stage cognitive impaired patients may behave irrationally to attempt the integrity of their hosting environments or their own safety. This paper presents a new formal approach for the situation-awareness and the detection of abnormal behaviors of cognitive impaired people in situation-aware smart spaces. Instead of relying on the identification of deviations from normal behaviors, the approach is based on the specification and runtime verification of correctness properties. Situation Calculus is the formal method adopted to model the world; whereas, intelligent agents detect abnormal and dangerous situations. Dangerous situation recovery is also performed by ad-hoc intellignet agents.