Using Proof Failures to Help Debugging MAS

Bruno Mermet, Gaële Simon

2019

Abstract

For several years, we have worked on the usage of theorem proving techniques to validate Multi-Agent Systems. In this article, we present a preliminary case study, that is part of larger work whose long-term goal is to determine how proof tools can be used to help to develop error-free Multi-Agent Systems. This article describes how an error caused by a synchronisation problem between several agents can be identified by a proof failure. We also show that analysing proof failures can help to find bugs that may occur only in a very particular context, which makes it difficult to analyse by standard debugging techniques.

Paper Citation

in Harvard Style

Mermet B. and Simon G. (2019). Using Proof Failures to Help Debugging MAS.In Proceedings of the 11th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-350-6, pages 523-530. DOI: 10.5220/0007343205230530

in Bibtex Style

@conference{icaart19,
author={Bruno Mermet and Gaële Simon},
title={Using Proof Failures to Help Debugging MAS},
booktitle={Proceedings of the 11th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2019},
pages={523-530},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007343205230530},
isbn={978-989-758-350-6},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 11th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Using Proof Failures to Help Debugging MAS
SN - 978-989-758-350-6
AU - Mermet B.
AU - Simon G.
PY - 2019
SP - 523
EP - 530
DO - 10.5220/0007343205230530