Abstract
Context prediction is a promoting research topic with a lot of challenges and opportunities. Indeed, with the constant evolution of context-aware systems, context prediction remains a complex task due to the lack of formal approach. In this paper, we propose a new approach to enhance context prediction using a probabilistic temporal logic and model checking. The probabilistic temporal logic PCTL is used to provide an efficient expressivity and a reasoning based on temporal logic in order to fit with the dynamic and non-deterministic nature of the system's environment. Whereas, the probabilistic model checking is used for automatically verifying that a probabilistic system satisfies a property with a given likelihood. Our new approach allows a formal expressivity of a multidimensional context prediction. Tested on real data our model was able to achieve 78
Keywords
MSC
68T01, 68T30, 68T37, 68U35
Cite this article
@article{cai-4083,
author = {Darine Ameyed and Moeiz Miraoui and Atef Zaguia and Fehmi Jaafar and Chakib Tadj},
title = {Using Probabilistic Temporal Logic PCTL and Model Checking for Context Prediction},
journal = {Computing and Informatics},
volume = {37},
number = {6},
pages = {1411--1442},
year = {2018},
issn = {1335-9150},
doi = {10.4149/cai_2018_6_1411}
}
TY - JOUR AU - Darine Ameyed AU - Moeiz Miraoui AU - Atef Zaguia AU - Fehmi Jaafar AU - Chakib Tadj TI - Using Probabilistic Temporal Logic PCTL and Model Checking for Context Prediction JO - Computing and Informatics VL - 37 IS - 6 SP - 1411 EP - 1442 PY - 2018 SN - 1335-9150 DO - 10.4149/cai_2018_6_1411 UR - https://doi.org/10.4149/cai_2018_6_1411 KW - Context prediction KW - logic KW - PCTL KW - pervasive system KW - context-aware system KW - stochastic KW - transition model ER -
Ameyed, D., Miraoui, M., Zaguia, A., Jaafar, F., & Tadj, C. (2018). Using Probabilistic Temporal Logic PCTL and Model Checking for Context Prediction. Computing and Informatics, 37(6), 1411–1442. https://doi.org/10.4149/cai_2018_6_1411