Logic programming as a service in multi-agent systems for the internet of things

被引:0
|
作者
Calegari R. [1 ]
Denti E. [1 ]
Mariani S. [2 ]
Omicini A. [1 ]
机构
[1] Dipartimento di Informatica - Scienza e Ingegneria (DISI), Alma Mater Studiorum, Università di Bologna, Bologna
[2] Dipartimento di Scienze e Metodi dell'Ingegneria (DISMI), Università di Modena e Reggio Emilia, Reggio Emilia
来源
International Journal of Grid and Utility Computing | 2019年 / 10卷 / 04期
关键词
Artificial intelligence; Internet of things; Interoperability; IoT; Logic programming; LPaaS; Multi-agent systems; Pervasive computing;
D O I
10.1504/IJGUC.2019.100878
中图分类号
学科分类号
摘要
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. Copyright © 2019 Inderscience Enterprises Ltd.
引用
收藏
页码:344 / 360
页数:16
相关论文
共 50 条
  • [21] Extended Logic Programming applied to the specification of Multi-Agent Systems and their computing environments
    Neves, J
    Machado, J
    Analide, C
    Novais, P
    Abelha, A
    1997 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT PROCESSING SYSTEMS, VOLS 1 & 2, 1997, : 159 - 164
  • [22] Mobile Multi-Agent Systems for the Internet-of-Things and Clouds using the Java']JavaScript Agent Machine Platform and Machine Learning as a Service
    Bosse, Stefan
    2016 IEEE 4TH INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD (FICLOUD 2016), 2016, : 246 - 255
  • [23] Key Technology of Intelligentized Welding Manufacturing and Systems Based on the Internet of Things and Multi-Agent
    Liu, Qiang
    Chen, Chao
    Chen, Shanben
    JOURNAL OF MANUFACTURING AND MATERIALS PROCESSING, 2022, 6 (06):
  • [24] A Temporal Logic for Stochastic Multi-Agent Systems
    Jamroga, Wojciech
    INTELLIGENT AGENTS AND MULTI-AGENT SYSTEMS, PROCEEDINGS, 2008, 5357 : 239 - 250
  • [25] MASA: Multi-agent Subjectivity Alignment for Trustworthy Internet of Things
    Zeynalvand, Leonit
    Zhang, Jie
    Luo, Tony T.
    Chen, Shuo
    2018 21ST INTERNATIONAL CONFERENCE ON INFORMATION FUSION (FUSION), 2018, : 2013 - 2020
  • [26] A fibred belief logic for multi-agent systems
    Liu, CC
    Ozols, MA
    Orgun, MA
    AI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2005, 3809 : 29 - 38
  • [27] Infrastructure Management Support in a Multi-Agent Architecture for Internet of Things
    Manate, Bogdan
    Fortis, Teodor-Florin
    Negru, Viorel
    UKSIM-AMSS EIGHTH EUROPEAN MODELLING SYMPOSIUM ON COMPUTER MODELLING AND SIMULATION (EMS 2014), 2014, : 372 - 377
  • [28] HYPERATL*: A LOGIC FOR HYPERPROPERTIES IN MULTI-AGENT SYSTEMS
    Beutner, Raven
    Finkbeiner, Bernd
    LOGICAL METHODS IN COMPUTER SCIENCE, 2023, 19 (02)
  • [29] Constraint programming and multi-agent systems engineering
    Attoui, A
    Hasbani, A
    EIGHTH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 1997, : 346 - 351
  • [30] EPMAS: EVOLUTIONARY PROGRAMMING MULTI-AGENT SYSTEMS
    Peleteiro, Ana M.
    Burguillo, Juan C.
    Oplatkova, Zuzana
    Zelinka, Ivan
    PROCEEDINGS OF THE 24TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2010, 2010, : 27 - 33