Logic-based technologies for multi-agent systems: a systematic literature review

  title={Logic-based technologies for multi-agent systems: a systematic literature review},
  author={Roberta Calegari and Giovanni Ciatto and V. Mascardi and Andrea Omicini},
  journal={Auton. Agents Multi Agent Syst.},
Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes them be identified with the whole AI by many non-computer-scientists and non-technical media, symbolic approaches are getting more and more attention as those that could make AI amenable to human understanding. Given the recurring cycles in the AI history, we expect that a revamp of technologies often tagged as “classical AI”—in particular, logic-based ones—will take place in the next few years. On the… Expand

Figures and Tables from this paper

Middleware-based multi-agent development environment for building and testing distributed intelligent systems
A development environment that allows the programming and debugging of rule-based multi-agent solutions and the use of a specialized, wrapping agent class with a graphical user interface for programming and testing purposes is described. Expand
2P-Kt: logic programming with objects & functions in Kotlin
This paper presents a Kotlin DSL for Prolog, showing how the Kotlin multiparadigm (OOP+FP) language can be enriched with LP in a straightforward and effective way, and enables the creation of similar DSL on top of other high-level languages such as Scala or JavaScript. Expand
Argumentation and Logic Programming for Explainable and Ethical AI
This paper shows how argumentation could be combined with different extensions of logic programming – namely, abduction, inductive logic programming, and probabilistic logic programming - to address the issues of explainable AI as well as some ethical concerns about AI. Expand
Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review
The paper summarises a systematic literature review (SLR) over logic-based technologies for MAS over logic theorems and suggests that these technologies should not be considered as gold-standard technologies. Expand
Agent Mining Framework for Analyzing Moroccan Olive Oil Datasets
Data mining and intelligent agents have become two promising research areas. Each intelligent agent functions independently while cooperating with other agents, to perform effectively assigned tasks.Expand


LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming
This paper presents a deductive reasoning multi-agent platform using an extension of answer set programming (ASP), and shows that it is capable of dealing with the specification and implementation of the system's architecture, communication and the individual agent's reasoning capacities. Expand
Engineering Multi-Agent Systems
It is argued that a combination of Moore’s Law and advances elsewhere in AI, mean that key assumptions underlying the design of many BDI-based agent programming languages no longer hold, and the authors are now in a position where they can rethink the foundations of BDI programming languages. Expand
A road map of research into the use of computational logic in agent‐based systems and much of the recent work in these areas is presented to give the reader sufficient background to understand the current research problems and potential future developments in this maturing area. Expand
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
An abstract formal model of an idealised dMARS system (the most recent implementation of the PRS architecture), which precisely defines the key data structures present within the architecture and the operations that manipulate these structures are provided. Expand
Specification and Simulation of Multi-Agent Systems in CaseLP
The paper presents the state-of-the-art of CaseLP, an experimental logic-based prototyping environment for multi-agent systems that provides a prototyping method and a set of tools and languages which support the prototype realization. Expand
From logic programming towards multi‐agent systems
An extension of logic programming (LP) that is suitable not only for the “rational” component of a single agent but also for the "reactive" component and that can encompass multi‐agent systems is presented. Expand
Agent and Multi-Agent Systems. Technologies and Applications
  • Lnai Founding
  • Computer Science
  • Lecture Notes in Computer Science
  • 2012
Artificial intelligence and machine-learning techniques, including neural networks and genetic algorithms, are already routinely used in support of automated trading scenarios, but the deployment of these technologies remains limited, and their proprietary nature precludes the type of open benchmarking that is critical for further scientific development. Expand
Intelligent agents: theory and practice
The aim in this paper is to point the reader at what they perceive to be the most important theoretical and practical issues associated with the design and construction of intelligent agents. Expand
MINERVA - A Dynamic Logic Programming Agent Architecture
This paper presents an overall description of MINERVA, an agent architecture and system designed with the intention of providing a common agent framework based on the unique strengths of Logic Programming, to allow for the combination of several non-monotonic knowledge representation and reasoning mechanisms developed in recent years. Expand
JACK Intelligent Agents – Summary of an Agent Infrastructure
Intelligent Agents are being used for modelling simple rational behaviours in a wide range of distributed applications. In particular, multi-agent architectures based on the Belief-DesireIntentionExpand