An action language-based formalisation of an abstract argumentation framework
Abstract
An abstract argumentation framework is a commonly used formalism to provide a static representation of a dialogue. However, the order of enunciation of the arguments in an argumentative dialogue is very important and can affect the outcome of this dialogue. In this paper, we propose a new framework for modelling abstract argumentation graphs, a model that incorporates the order of enunciation of arguments. By taking this order into account, we have the means to deduce a unique outcome for each dialogue, called an extension. We also establish several properties, such as termination and correctness, and discuss two notions of completeness. In particular, we propose a modification of the previous transformation based on a "last enunciated last updated" strategy, which verifies the second form of completeness.
Cite
@article{arxiv.2409.19625,
title = {An action language-based formalisation of an abstract argumentation framework},
author = {Yann Munro and Camilo Sarmiento and Isabelle Bloch and Gauvain Bourgne and Catherine Pelachaud and Marie-Jeanne Lesot},
journal= {arXiv preprint arXiv:2409.19625},
year = {2024}
}
Comments
To be published in The 25th International Conference on Principles and Practice of Multi-Agent Systems