Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2021
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2106.13083 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913180807069696 |
|---|---|
| author | Bisicchia, Giuseppe Forti, Stefano Brogi, Antonio |
| author_facet | Bisicchia, Giuseppe Forti, Stefano Brogi, Antonio |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2106_13083 |
| institution | arXiv |
| publishDate | 2021 |
| record_format | arxiv |
| spellingShingle | A Declarative Goal-oriented Framework for Smart Environments with LPaaS Bisicchia, Giuseppe Forti, Stefano Brogi, Antonio Signal Processing Artificial Intelligence Logic in Computer Science Systems and Control 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. |
| title | A Declarative Goal-oriented Framework for Smart Environments with LPaaS |
| topic | Signal Processing Artificial Intelligence Logic in Computer Science Systems and Control |
| url | https://arxiv.org/abs/2106.13083 |