Using Probabilistic Temporal Logic PCTL and Model Checking for Context Prediction

Authors

  • Darine Ameyed Synchromedia Laboratory, Quebec University, École de Technologie Supérieure, Montréal
  • Moeiz Miraoui Higher Institute of Applied Science and Technology of Gafsa, University of Gafsa
  • Atef Zaguia College of Computers and Information Technology, Taif University, Hawiyah, Taif
  • Fehmi Jaafar Faculty of Management of Concordia University of Edmonton
  • Chakib Tadj MMS Laboratory, Quebec University, École de Technologie Supérieure, Montréal

Keywords:

Context prediction, logic, PCTL, pervasive system, context-aware system, stochastic, transition model

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% of the future activities prediction accuracy.

Downloads

Download data is not yet available.

Author Biographies

Darine Ameyed, Synchromedia Laboratory, Quebec University, École de Technologie Supérieure, Montréal

Post doc , Synchromedia Laboratory, Université du Qébec, École de technologie supérieure, 1100, rue Notre-Dame Ouest, Montréal, Québec, H3C 1K3 Canada.

Moeiz Miraoui, Higher Institute of Applied Science and Technology of Gafsa, University of Gafsa

Assistant Professor, Higher Institute of Applied Science and Technology of Gafsa, University of Gafsa, Tunisia

Atef Zaguia, College of Computers and Information Technology, Taif University, Hawiyah, Taif

Assistant Professor, Computer Science, College of Computers and Information Technology, Taif University, P.O.Box : 888, Hawiyah, Taif, Zip Code : 21974, Kingdom of Saudi Arabia

Fehmi Jaafar, Faculty of Management of Concordia University of Edmonton

Adjunct Professor, Faculty of Management of Concordia University of Edmonton, Canada

Chakib Tadj, MMS Laboratory, Quebec University, École de Technologie Supérieure, Montréal

Professor, MMS Laboratory, Université du Qébec, École de technologie supérieure, 1100, rue Notre-Dame Ouest, Montréal, Quebec, H3C 1K3 Canada.

Downloads

Published

2019-02-04

How to Cite

Ameyed, D., Miraoui, M., Zaguia, A., Jaafar, F., & Tadj, C. (2019). Using Probabilistic Temporal Logic PCTL and Model Checking for Context Prediction. Computing and Informatics, 37(6), 1411–1442. Retrieved from http://147.213.75.17/ojs/index.php/cai/article/view/2018_6_1411