Article in Proceedings INPROC-2011-49

BibliographyFöll, Stefan; Herrmann, Klaus; Rothermel, Kurt: PreCon - Expressive Context Prediction using Stochastic Model Checking.
In: Proceedings of the 8th International Conference on Ubiquitous Intelligence and Computing (UIC 2011).
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology.
Lecture Notes in Computer Science, pp. 1-15, german.
Banff, Canada: Springer-Verlag, September 2011.
Article in Proceedings (Conference Paper).
CR-SchemaG.3 (Probability and Statistics)
I.2.6 (Artificial Intelligence Learning)
I.6.4 (Model Validation and Analysis)
KeywordsContext Prediction, Semi-Markov Model, Stochastic Model Checking, Temporal Logic
Abstract

Ubiquitous systems need to determine the context of humans to deliver the right services at the right time. As the needs of humans are often coupled to their future context, the ability to predict relevant changes in a user's context is a key factor for providing intelligence and proactivity. Current context prediction systems only allow applications to query for the next user context (e.g. the user's next location). This severely limits the benefit of context prediction since these approaches cannot answer more expressive time-dependent queries (e.g. will the user enter location X within the next 10 minutes?). Neither can they handle predictions of multi-dimensional context (e.g. activity and location). We propose PreCon, a new approach to predicting multi-dimensional context. PreCon improves query expressiveness, providing clear formal semantics by applying stochastic model checking methods. PreCon is composed of three major parts: a stochastic model to represent context changes, an expressive temporal-logic query language, and stochastic algorithms for predicting context. In our evaluations, we apply PreCon to real context traces from the domain of healthcare and analyse the performance using well-known metrics from information retrieval. We show that PreCon reaches an F-score (combined precision and recall) of about 0.9 which indicates a very good performance.

Full text and
other links
PDF (224133 Bytes)
The original publication is available at www.springerlink.com
Copyright© Springer-Verlag 2011. This work is subject to copyright. All right are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitations, broadcastings, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German copyright Law of September 9, 1965, in its current version, and permission of use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law.
Contactstefan.foell@ipvs.uni-stuttgart.de
Department(s)University of Stuttgart, Institute of Parallel and Distributed Systems, Distributed Systems
Project(s)ALLOW
Entry dateJuly 7, 2011
   Publ. Department   Publ. Institute   Publ. Computer Science