Representing and Reasoning with the Internet of Things: a Modular Rule-Based Model for Ensembles of Context-Aware Smart Things
Journal Title: EAI Endorsed Transactions on Context-aware Systems and Applications - Year 2016, Vol 3, Issue 8
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.
Authors and Affiliations
S. W. Loke
Keywords
Related Articles
- EP ID EP45773
- DOI http://dx.doi.org/10.4108/eai.9-3-2016.151113
- Views 223
- Downloads 0
Welcome message from the Editor-in-Chief..
On behalf of the Editorial board, we welcome you to the inaugural issue of the ICST Transactions on ContextAware Systems and Applications. We are delighted to launch this new transactions journal after a preparatory p...
Book Titled Autonomic Networking-on-Chip: Bio-Inspired Specification, Development, and Verification: An Introduction
Despite the growing mainstream importance and unique advantages of autonomic networking-onchip (ANoC) technology, Autonomic Networking-On-Chip: Bio-Inspired Specification, Development, and Verification is among the first...
Modeling Users’ Behavior from Large Scale Smartphone Data Collection
A large volume of research in ubiquitous systems has been devoted to using data, that has been sensed from users’ smartphones, to infer their current high level context and activities. However, mining users’ diverse long...
An approach for summarization of two-sentences Vietnamese paragraph
The purpose of this paper is to introduce a general approach for summarizing the meaning of Vietnamese paragraphs based on simple two-sentences. The studied objects are paragraphs having the common characteristics: the f...
Design guidelines for rapid and simple context-aware mobile application development – an android case study
Presenting a context-aware service and information is a key aspect of ubiquitous computing, but development of such applications is quite complicated. Context-aware applications should be able to obtain raw data fromsens...