Reasoning About Agents’ Interaction Protocols Inside DCaseLP

Abstract

Abstract. Engineering systems of heterogeneous agents is a difficult task; one of the ways for achieving the successful industrial deployment of agent technology is the development of engineering tools that support the developer in all the steps of design and implementation. In this work we focus on the problem of supporting the design of agent interaction protocols by carrying out a methodological integration of the MAS prototyping environment DCaseLP with the agent programming language DyLOG for reasoning about action and change.

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

“…Whenever available, the license of each technology is referenced in Table 2 as well, possibly leveraging on well-known license acronyms. For instance, as far as open source licenses are concerned, "GPL" refers to the GNU General Public License, 19 "LGPL" refers to the GNU Lesser General Public License, 20 "MIT" refers to the MIT License, 21 "MPL" refers to the Mozilla Public License, 22 whereas "Apache" refers to the Apache License. 23 The absence of licenses for a particular technology is pointed out as well, as it may have an impact on its users.…”

“…e.g., SVN, Git, Mercurial, etc 18. e.g., Make, Apache Ant, Apache Maven, Gradle, Pip, Npm, etc 19. https://www.gnu.org/licenses/gpl-3.0.html, last accessed in April 2020 20.…”

Enhancing Commitment Machines

“…al. [9] also use a multi-modal logic to formalise interaction, in their case within the DCaseLP environment using the DyLOG language.…”