Representing and Reasoning with the Internet of Things: a Modular Rule-Based Model for Ensembles of Context-Aware Smart Things

Loke, S. W. (2016) Representing and Reasoning with the Internet of Things: a Modular Rule-Based Model for Ensembles of Context-Aware Smart Things. EAI Endorsed Transactions on Context-aware Systems and Applications, 3 (8): e1. ISSN 2409-0026

[img]
Preview
Text
eai.9-3-2016.151113.pdf - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (1MB) | Preview

Abstract

Context-aware smart things are capable of computational behaviour based on sensing the physical world, inferring context from the sensed data, and acting on the sensed context. A collection of such things can form what we call a thing-ensemble, when they have the ability to communicate with one another (over a short range network such as Bluetooth, or the Internet, i.e. the Internet of Things (IoT) concept), sense each other, and when each of them might play certain roles with respect to each other. Each smart thing in a thing-ensemble might have its own context-aware behaviours which when integrated with other smart things yield behaviours that are not straightforward to reason with. We present Sigma, a language of operators, inspired from modular logic programming, for specifying and reasoning with combined behaviours among smart things in a thing-ensemble. We show numerous examples of the use of Sigma for describing a range of behaviours over a diverse range of thing-ensembles, from sensor networks to smart digital frames, demonstrating the versatility of our approach. We contend that our operator approach abstracts away low-level communication and protocol details, and allows systems of context-aware things to be designed and built in a compositional and incremental manner.

Item Type: Article
Uncontrolled Keywords: smart artifacts; context-aware artifacts; operator language; compositionality; Internet-of-Things (IoT)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
QA75 Electronic computers. Computer science
Depositing User: EAI Editor II.
Date Deposited: 16 Sep 2020 12:38
Last Modified: 16 Sep 2020 12:38
URI: https://eprints.eudl.eu/id/eprint/355

Actions (login required)

View Item View Item