Title: Logic programming as a service in multi-agent systems for the Internet of Things

Authors: Roberta Calegari; Enrico Denti; Stefano Mariani; Andrea Omicini

Addresses: Dipartimento di Informatica - Scienza e Ingegneria (DISI), Alma Mater Studiorum - Università di Bologna, Bologna, Italy ' Dipartimento di Informatica - Scienza e Ingegneria (DISI), Alma Mater Studiorum - Università di Bologna, Bologna, Italy ' Dipartimento di Scienze e Metodi dell'Ingegneria (DISMI), Università di Modena e Reggio Emilia, Reggio Emilia, Italy ' Dipartimento di Informatica - Scienza e Ingegneria (DISI), Alma Mater Studiorum - Università di Bologna, Cesena, Italy

Abstract: The widespread diffusion of low-cost computing devices, along with improvements of cloud computing platforms, is paving the way towards a whole new set of opportunities for Internet of Things (IoT) applications and services. Varying degrees of intelligence are required for supporting adaptation and self-management: yet, they should be provided in a light-weight, easy to use and customisable highly-interoperable way. In this paper we explore Logic Programming as a Service (LPaaS) as a novel and promising re-interpretation of distributed logic programming in the IoT era. After introducing the reference context and motivating scenarios of LPaaS as an effective enabling technology for intelligent IoT, we define the LPaaS general architecture, and discuss two different prototype implementations - as a web service and as an agent in a multi-agent system (MAS), both built on top of the tuProlog system, which provides the required interoperability and customisation. We finally showcase the LPaaS potential through two case studies, designed as simple examples of the motivating scenarios.

Keywords: IoT; Internet of Things; logic programming; multi-agent systems; pervasive computing; LPaaS; artificial intelligence; interoperability.

DOI: 10.1504/IJGUC.2019.100878

International Journal of Grid and Utility Computing, 2019 Vol.10 No.4, pp.344 - 360

Received: 04 Nov 2017
Accepted: 05 Feb 2018

Published online: 19 Jul 2019 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article