Summary of An Action Language-based Formalisation Of An Abstract Argumentation Framework, by Yann Munro et al.
An action language-based formalisation of an abstract argumentation framework
by Yann Munro, Camilo Sarmiento, Isabelle Bloch, Gauvain Bourgne, Catherine Pelachaud, Marie-Jeanne Lesot
First submitted to arxiv on: 29 Sep 2024
Categories
- Main: Artificial Intelligence (cs.AI)
- Secondary: Logic in Computer Science (cs.LO)
GrooveSquid.com Paper Summaries
GrooveSquid.com’s goal is to make artificial intelligence research accessible by summarizing AI papers in simpler terms. Each summary below covers the same AI paper, written at different levels of difficulty. The medium difficulty and low difficulty versions are original summaries written by GrooveSquid.com, while the high difficulty version is the paper’s original abstract. Feel free to learn from the version that suits you best!
| Summary difficulty | Written by | Summary |
|---|---|---|
| High | Paper authors | High Difficulty Summary Read the original abstract here |
| Medium | GrooveSquid.com (original content) | Medium Difficulty Summary This paper proposes a new framework for modeling abstract argumentation graphs that incorporates the order of enunciation of arguments. The traditional approach to abstract argumentation frameworks represents dialogues statically, without considering the order in which arguments are presented. By incorporating this information, the proposed framework can deduce a unique outcome for each dialogue, known as an extension. The authors establish several properties of their framework, including termination and correctness, and discuss two notions of completeness. One key innovation is a modification to the transformation process based on a “last enunciated last updated” strategy that verifies the second form of completeness. |
| Low | GrooveSquid.com (original content) | Low Difficulty Summary This paper helps us understand how people argue with each other. When we write down an argument, we usually just list out all the points being made, without worrying about when those points were actually said. But this can be important! The order in which arguments are presented can affect the outcome of the conversation. This new framework for modeling abstract argumentation graphs takes that into account and shows how it can help us understand what will happen at the end of a dialogue. |
