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.
This research has been supported by FP7 EU-FET project ALLOW (contract number 213339).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Krumm, J.: Ubiquitous advertising: The killer application for the 21st century. Pervasive Computing 10(1), 66–73 (2011)
Mayrhofer, R.M.: An Architecture for Context Prediction. PhD thesis, Johannes Kepler University of Linz (2004)
Song, L., Kotz, D., Jain, R., He, X.: Evaluating next-cell predictors with extensive wi-fi mobility data. IEEE Transactions on Mobile Computing 5, 1633–1649 (2004)
Anagnostopoulos, T., Anagnostopoulos, C., Hadjiefthymiades, S., Kyriakakos, M., Kalousis, A.: Predicting the location of mobile users: a machine learning approach. In: Proc. of the 6th Intl. Conf. on Pervasive Services (2009)
Katsaros, D., Manolopoulos, Y.: Prediction in wireless networks by markov chains. IEEE Wireless Communications 16, 56–63 (2009)
Hartmann, M., Schreiber, D.: Prediction algorithms for user actions. In: Proc. of Intl. Conf. on Adaptive Business Information Systems (2007)
Gopalratnam, K., Cook, D.J.: Online sequential prediction via incremental parsing: The active lezi algorithm. IEEE Intelligent Systems 22, 52–58 (2007)
Davison, B.D., Hirsh, H.: Predicting sequences of user actions. In: Workshop on Predicting the Future: AI Approaches to Time Series Analysis (1998)
Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
Howard, R.A.: Dynamic Probabilistic Systems: Semi-Markov and Decision Processes. John Wiley & Sons, Chichester (1971)
Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Model-checking algorithms for continuous-time markov chains. IEEE Transactions on Software Engineering 29, 524–541 (2003)
López, G.G.I., Hermanns, H., Katoen, J.-P.: Beyond memoryless distributions: Model checking semi-markov chains. In: de Luca, L., Gilmore, S. (eds.) PROBMIV 2001, PAPM-PROBMIV 2001, and PAPM 2001. LNCS, vol. 2165, pp. 57–70. Springer, Heidelberg (2001)
Lee, J.K., Hou, J.C.: Modeling steady-state and transient behaviours of user mobility: Formulation, analysis, and application. In: Proc. of the 7th ACM International Symposium on Mobile Ad Hoc Networking and Computing (2006)
Kwiatkowska, M., Norman, G., Parker, D.: Stochastic model checking. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol. 4486, pp. 220–270. Springer, Heidelberg (2007)
Herrmann, K., Rothermel, K., Kortuem, G., Dulay, N.: Adaptable pervasive flows - an emerging technology for pervasive adaptation. In: Proc. of the Workshop on Pervasive Adaptation at the 2nd Intl. Conf. on Self-Adaptive and Self-Organizing Systems (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Föll, S., Herrmann, K., Rothermel, K. (2011). PreCon – Expressive Context Prediction Using Stochastic Model Checking. In: Hsu, CH., Yang, L.T., Ma, J., Zhu, C. (eds) Ubiquitous Intelligence and Computing. UIC 2011. Lecture Notes in Computer Science, vol 6905. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23641-9_29
Download citation
DOI: https://doi.org/10.1007/978-3-642-23641-9_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-23640-2
Online ISBN: 978-3-642-23641-9
eBook Packages: Computer ScienceComputer Science (R0)