1 Search Results for "Kließ, Malte S."


Document
A Temporal Logic for Modelling Activities of Daily Living

Authors: Malte S. Kließ, Catholijn M. Jonker, and M. Birna van Riemsdijk

Published in: LIPIcs, Volume 120, 25th International Symposium on Temporal Representation and Reasoning (TIME 2018)


Abstract
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 TPTL_{bih} 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 TPTL_{bih} 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.

Cite as

Malte S. Kließ, Catholijn M. Jonker, and M. Birna van Riemsdijk. A Temporal Logic for Modelling Activities of Daily Living. In 25th International Symposium on Temporal Representation and Reasoning (TIME 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 120, pp. 17:1-17:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@InProceedings{klie_et_al:LIPIcs.TIME.2018.17,
  author =	{Klie{\ss}, Malte S. and Jonker, Catholijn M. and van Riemsdijk, M. Birna},
  title =	{{A Temporal Logic for Modelling Activities of Daily Living}},
  booktitle =	{25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
  pages =	{17:1--17:15},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-089-7},
  ISSN =	{1868-8969},
  year =	{2018},
  volume =	{120},
  editor =	{Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.17},
  URN =		{urn:nbn:de:0030-drops-97822},
  doi =		{10.4230/LIPIcs.TIME.2018.17},
  annote =	{Keywords: Temporal Logic, Reasoning, Durative Activities}
}
  • Refine by Author
  • 1 Jonker, Catholijn M.
  • 1 Kließ, Malte S.
  • 1 van Riemsdijk, M. Birna

  • Refine by Classification
  • 1 Theory of computation → Modal and temporal logics

  • Refine by Keyword
  • 1 Durative Activities
  • 1 Reasoning
  • 1 Temporal Logic

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2018

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail