DeepAI AI Chat
Log In Sign Up

RV4JaCa – Runtime Verification for Multi-Agent Systems

by   Debora C. Engelmann, et al.
Università di Genova

This paper presents a Runtime Verification (RV) approach for Multi-Agent Systems (MAS) using the JaCaMo framework. Our objective is to bring a layer of security to the MAS. This layer is capable of controlling events during the execution of the system without needing a specific implementation in the behaviour of each agent to recognise the events. MAS have been used in the context of hybrid intelligence. This use requires communication between software agents and human beings. In some cases, communication takes place via natural language dialogues. However, this kind of communication brings us to a concern related to controlling the flow of dialogue so that agents can prevent any change in the topic of discussion that could impair their reasoning. We demonstrate the implementation of a monitor that aims to control this dialogue flow in a MAS that communicates with the user through natural language to aid decision-making in hospital bed allocation.


page 1

page 2

page 3

page 4


Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest

Communication is a critical part of enabling multi-agent systems to coop...

Ontology-Based Feedback to Improve Runtime Control for Multi-Agent Manufacturing Systems

Improving the overall equipment effectiveness (OEE) of machines on the s...

Verse: A Python library for reasoning about multi-agent hybrid system scenarios

We present the Verse library with the aim of making hybrid system verifi...

SPA: Verbal Interactions between Agents and Avatars in Shared Virtual Environments using Propositional Planning

We present a novel approach for generating plausible verbal interactions...

Methodology of Designing Multi-agent Robot Control Systems Utilising Hierarchical Petri Nets

A robot system is designed as a set of embodied agents. An embodied agen...

Open Multi-Agent Systems with Variable Size: the Case of Gossiping

We consider open multi-agent systems, which are systems subject to frequ...