• Corpus ID: 235624109

A Declarative Goal-oriented Framework for Smart Environments with LPaaS

  title={A Declarative Goal-oriented Framework for Smart Environments with LPaaS},
  author={Giuseppe Bisicchia and Stefano Forti and Antonio Brogi},
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… 

Figures from this paper


Declarative Goal Mediation in Smart Environments
A declarative approach (and its open-source Prolog prototype) is proposed to represent smart environments, user-set goals and customisable mediation policies to reconcile contrasting goals across multiple IoT systems.
Autonomic goal-oriented device management for Smart Environments
A comprehensive methodology is proposed by considering the composite nature of the state of an individual device and the possible variation of specific commands, notifications and their sequence based on the current states of the devices to find the reliable evolution through which the desired goal can be fulfilled.
Designing a goal-oriented smart-home environment
An architecture for the design and development of a goal-oriented, self-adaptive, smart-home environment where users are able to interact with the system by expressing their goals which are translated into a set of agent actions in a way that is transparent to the user.
Hierarchical dynamic goal management for IoT systems
The need for hierarchical, dynamic goal management for this class of complex IoT systems is motivated by case studies from two application domains: patient health monitoring and Cyber-Physical Production Systems (CPPSs).
Logic Programming as a Service (LPaaS): Intelligence for the IoT
This paper explores the idea of Logic Programming as a Service (LPaaS) as a novel and promising re-interpretation of distributed logic programming in the IoT era and presents a prototype implementation built on top of the tuProlog system, which provides the required interoperability and customisation.
Rule-based conflict resolution framework for Internet of Things device management in smart home environment
A rule-based conflict resolution framework using scheduling algorithm for managing heterogeneous systems in smart home environment is presented and events are captured and processed by the framework which performs corresponding conflict resolution on the heterogeneity systems.
Towards semantic buildings: Goal-driven approach for building automation service allocation and control
The core value of the work presented here is contained in a novel goal-driven approach for building automation service allocation and control and a new concept of semantic homes (SeH) and its architectural vision.
An agent architecture for adaptive supervision and control of smart environments
This paper describes the architecture and functionality of a generic agent that is in charge of handling a given environment in an Ambient Intelligence context, ensuring suitable contextualized and
A Hierarchical, Agent-based Approach to Security in Smart Offices
This paper presents a security solution for an agent-based architecture for the smart office, potentially applicable to generic smart environments, but it suits particularly well to thesmart office scenario, taking advantage of the particular characteristics of the environment to satisfy the security requirements.
Reasoning Under Conflicts in Smart Environment
The method put forward in this work refines a form of non-monotonic reasoning called argumentation with new definitions and dynamically detects and flexibly resolves conflicts within rule-based systems.