The Secret Life of Traces: a MAS Engineering Perspective

Davide Ancona, Zahra Daoui, Angelo Ferrando, Andrea Gatti, Viviana Mascardi, Michael Winikoff

Keywords: Execution traces, Multiagent System, Runtime Verification, Explainability, Learning, Neuro-symbolic agents that Verify, Learn and Explain

TL;DR: The secret life of traces and their role in engineering MASs

Abstract:

In this paper we explore the secret life of systems’ execution traces:
we propose a unified theoretical architecture based on our experience with traces
in the runtime verification, explainability and learning domains. A proof of con-
cept of how to exploit traces for the three problems above is presented, rooting in
our recent work on VEsNA, an integration of the Jason interpreter for the AgentS-
peak(L) language, the Godot game engine, and natural language interfaces

Paper Type: Regular paper

Demo: No, we do not plan to present a demo.

Email Sharing: We authorize the sharing of all author emails with Program Chairs.

Data Release: We authorize the release of our submission and author names to the public in the event of acceptance.

Submission Number: 5