Saved in:
| Main Authors: | , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2409.19625 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910624339984384 |
|---|---|
| author | Munro, Yann Sarmiento, Camilo Bloch, Isabelle Bourgne, Gauvain Pelachaud, Catherine Lesot, Marie-Jeanne |
| author_facet | Munro, Yann Sarmiento, Camilo Bloch, Isabelle Bourgne, Gauvain Pelachaud, Catherine Lesot, Marie-Jeanne |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_19625 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | An action language-based formalisation of an abstract argumentation framework Munro, Yann Sarmiento, Camilo Bloch, Isabelle Bourgne, Gauvain Pelachaud, Catherine Lesot, Marie-Jeanne Artificial Intelligence Logic in Computer Science 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. |
| title | An action language-based formalisation of an abstract argumentation framework |
| topic | Artificial Intelligence Logic in Computer Science |
| url | https://arxiv.org/abs/2409.19625 |