Representing and reasoning about utilization of cloud computing as Bayesian games with epistemic logic

Oldooz Dianat, Mehmet Orgun

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

1 Citation (Scopus)

Abstract

In order to advise a cloud client whether to use cloud services or not, we model the scenario of utilization of cloud computing based on Bayesian games. These games are strategic games with incomplete information for modeling the interaction between a client and a cloud provider with uncertainty about load capacity. However these games do not normally consider the reasoning abilities of players. One solution is to use formal logics which allow for modeling the reasoning abilities of agents as well as allowing formal reasoning about certain properties of games such as the solution of games. In this paper, we propose an epistemic logic to study strategic games with incomplete information. In this logic we can for instance precisely describe what the requirements and consequences of informative actions are in the cloud services scenario. We can reason what rational agents should do if they can choose between different available actions. In addition, this language can be used as a semantically well-defined query language for model checkers to automatically verify the game descriptions with respect to their intended specifications. (C) 2013 The Authors. Published by Elsevier B.V.

Original languageEnglish
Title of host publication4th International Conference on Ambient Systems, Networks and Technologies (ANT 2013), the 3rd International Conference on Sustainable Energy Information Technology (SEIT-2013)
EditorsEM Shakshuki
Place of Publication Amsterdam, Netherlands
PublisherElsevier
Pages40-47
Number of pages8
DOIs
Publication statusPublished - 2013
Event4th International Conference on Ambient Systems, Networks and Technologies (ANT) / 3rd International Conference on Sustainable Energy Information Technology (SEIT) - Halifax, Canada
Duration: 25 Jun 201328 Jun 2013

Publication series

NameProcedia Computer Science
PublisherELSEVIER SCIENCE BV
Volume19
ISSN (Print)1877-0509

Conference

Conference4th International Conference on Ambient Systems, Networks and Technologies (ANT) / 3rd International Conference on Sustainable Energy Information Technology (SEIT)
CountryCanada
CityHalifax
Period25/06/1328/06/13

Keywords

  • cloud computing
  • Bayesian games
  • epistemic logic
  • model checking

Cite this

Dianat, O., & Orgun, M. (2013). Representing and reasoning about utilization of cloud computing as Bayesian games with epistemic logic. In EM. Shakshuki (Ed.), 4th International Conference on Ambient Systems, Networks and Technologies (ANT 2013), the 3rd International Conference on Sustainable Energy Information Technology (SEIT-2013) (pp. 40-47). (Procedia Computer Science; Vol. 19). Amsterdam, Netherlands: Elsevier. https://doi.org/10.1016/j.procs.2013.06.011