A Temporal Logic for Modelling Activities of Daily Living

Behaviour support technology is aimed at assisting people in organizing their Activities of Daily Living (ADLs). Numerous frameworks have been developed for activity recognition and for generating specific types of support actions, such as reminders. The main goal of our research is to develop a generic formal framework for representing and reasoning about ADLs and their temporal relations. This framework should facilitate modelling and reasoning about 1) durative activities, 2) relations between higher-level activities and subactivities, 3) activity instances, and 4) activity duration. In this paper we present a temporal logic as an extension of the logic TPTL for specification of real-time systems. Our logic TPTLbih is defined over Behaviour Identification Hierarchies (BIHs) for representing ADL structure and typical activity duration. To model execution of ADLs, states of the temporal traces in TPTLbih comprise information about the start, stop and current execution of activities. We provide a number of constraints on these traces that we stipulate are desired for the accurate representation of ADL execution, and investigate corresponding validities in the logic. To evaluate the expressivity of the logic, we give a formal definition for the notion of Coherence for (complex) activities, by which we mean that an activity is done without interruption and in a timely fashion. We show that the definition is satisfiable in our framework. In this way the logic forms the basis for a generic monitoring and reasoning framework for ADLs.

[1]  John Thangarajah,et al.  Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems , 2010, DALT.

[2]  Pablo A. Haya,et al.  Personal Ambient Intelligent Reminder for People with Cognitive Disabilities , 2012, IWAAL.

[3]  Michael Winikoff,et al.  Detecting & exploiting positive goal interaction in intelligent agents , 2003, AAMAS '03.

[4]  Pablo Noriega,et al.  Normative Multi-Agent Systems , 2013, Normative Multi-Agent Systems.

[5]  Frank Dignum,et al.  Designing a Deontic Logic of Deadlines , 2004, DEON.

[6]  M. Riemsdijk,et al.  Representing human habits: towards a habit support agent , 2016 .

[7]  Koen V. Hindriks,et al.  Agent reasoning for norm compliance: a semantic approach , 2013, AAMAS.

[8]  Koen V. Hindriks,et al.  A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance , 2015, AAMAS.

[9]  Diane J. Cook,et al.  Using Association Rule Mining to Discover Temporal Relations of Daily Activities , 2011, ICOST.

[10]  Koen V. Hindriks,et al.  A real-time semantics for norms with deadlines , 2013, AAMAS.

[11]  Victor R. Lesser,et al.  Creating Socially Adaptive Electronic Partners: Interaction, Reasoning and Ethical Challenges , 2015, AAMAS.

[12]  M. Birna van Riemsdijk,et al.  A Value-Sensitive Mobile Social Application for Families and Children , 2014, UMAP Workshops.

[13]  F. Dignum,et al.  Specifying Deadlines with Dense Time Using Deontic and , 1999 .

[14]  Stephen Cranefield,et al.  A rule language for modelling and monitoring social expectations in multi-agent systems , 2005, IJCAI.

[15]  Manuel P. Cuéllar,et al.  Online recognition of human activities and adaptation to habit changes by means of learning automata and fuzzy temporal windows , 2013, Inf. Sci..

[16]  Thomas A. Henzinger,et al.  A really temporal logic , 1989, 30th Annual Symposium on Foundations of Computer Science.

[17]  Miguel A. Labrador,et al.  A Survey on Human Activity Recognition using Wearable Sensors , 2013, IEEE Communications Surveys & Tutorials.

[18]  Enrico Vicario,et al.  Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living , 2013, IEEE Transactions on Human-Machine Systems.

[19]  Guido Governatori,et al.  Characterising Deadlines in Temporal Modal Defeasible Logic , 2007, Australian Conference on Artificial Intelligence.

[20]  Harri Oinas-Kukkonen,et al.  Behavior Change Support Systems: A Research Model and Agenda , 2010, PERSUASIVE.

[21]  Holger Storf,et al.  An Approach to and Evaluations of Assisted Living Systems Using Ambient Intelligence for Emergency Monitoring and Prevention , 2009, HCI.

[22]  Wladyslaw M. Turski,et al.  A Modal Logic of Durative Actions , 2000 .

[23]  M. Birna van Riemsdijk,et al.  Requirements for a Temporal Logic of Daily Activities for Supportive Technology , 2017, CARe-MAS@PRIMA.