A Declarative Goal-oriented Framework for Smart Environments with LPaaS
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2021
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _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 |