A Declarative Goal-oriented Framework for Smart Environments with LPaaS

TL;DR

This paper introduces a declarative framework using Prolog for managing smart environments, enabling goal reconciliation among diverse IoT systems and users, addressing limitations of existing solutions.

Contribution

It presents a novel declarative approach with customizable mediation policies for goal management in multi-IoT environments, demonstrated through an open-source prototype.

Findings

Prototype successfully manages conflicting goals in smart environments.

Framework improves flexibility and interoperability across IoT systems.

Demonstrated with realistic examples.

Abstract

Smart environments powered by the Internet of Things aim at improving our daily lives by automatically tuning ambient parameters (e.g. temperature, interior light) and by achieving energy savings through self-managing cyber-physical systems. Commercial solutions, however, only permit setting simple target goals on those parameters and do not consider mediating conflicting goals among different users and/or system administrators, and feature limited compatibility across different IoT verticals. In this article, we propose a declarative framework to represent smart environments, user-set goals and customisable mediation policies to reconcile contrasting goals encompassing multiple IoT systems. An open-source Prolog prototype of the framework is showcased over two lifelike motivating examples.