Epistemic Reasoning About IoT Systems in the Presence of Uncertainty

Internet-of-Things (IoT) systems consist of a collection of heterogeneous things, some of which are smart devices with knowledge bases, that communicate through the Internet to achieve some desirable goals and provide sustainable life. They are usually treated as big and dynamic systems that are associated with some sort of uncertainty due to the complex nature of the connected components and the environment in which they live. The epistemic reasoning about IoT systems hasn’t received enough consideration in the literature yet. In this paper, we present a framework to reason about and model IoT systems using an epistemic probabilistic approach. In particular, we use the probabilistic-epistemic computation tree logic PCTLK to represent and reason about some desirable properties of IoT systems. These properties are interpreted over a probabilistic interpreted systems formalism. The applicability of the proposed approach is evaluated using a smart home case study involving multiple connected devices.