Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living

Magherini T, Fantechi A, Nugent C, Vicario E

Artificial Intelligence  Human Factors and Ergonomics  Computer Networks and Communications  Temporal logic  Human-Computer Interaction  Signal Processing  Control and Systems Engineering  Activities of Daily Living (ADL)  Ambient Assisted Living (AAL)  Computer Science Applications  real-time processing  Activity recognition  Model checking 

Automated monitoring and the recognition of activities of daily living (ADLs) is a key challenge in ambient-assisted living (AAL) for the assistance of the elderly. Within this context, a formal approach may provide a means to fill the gap between the low-level observations acquired by sensing devices and the high-level concepts that are required for the recognition of human activities. We describe a system named ARA (Automated Recognizer of ADLs) that exploits propositional temporal logic and model checking to support automated real-time recognition of ADLs within a smart environment. The logic is shown to be expressive enough for the specification of realistic patterns of ADLs in terms of basic actions detected by a sensorized environment. The online model checking engine is shown to be capable of processing a stream of detected actions in real time. The effectiveness and viability of the approach are evaluated within the context of a smart kitchen, where different types of ADLs are repeatedly performed.

Source: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, vol. 43 (issue 6), pp. 509-521

Metrics