An action language-based formalisation of an abstract argumentation framework
<|reference_start|>An action language-based formalisation of an abstract argumentation framework: 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.<|reference_end|>
@article{munro2024an,
    title={An action language-based formalisation of an abstract argumentation
  framework},
    author={Yann Munro, Camilo Sarmiento, Isabelle Bloch, Gauvain Bourgne,
  Catherine Pelachaud, Marie-Jeanne Lesot},
    journal={arXiv preprint arXiv:2409.19625},
    year={2024},
    archivePrefix={arXiv},
    eprint={2409.19625},
    primaryClass={cs.AI cs.LO}
}