Formal Analysis of Dialogues on Infinite Argumentation Frameworks
Authors: Francesco Belardinelli, Davide Grossi, Nicolas Maudet
IJCAI 2015 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | The paper analyses multi-agent strategic dialogues on possibly infinite argumentation frameworks. We develop a formal model for representing such dialogues, and introduce FOA-ATL, a first-order extension of alternating-time logic, for expressing the interplay of strategic and argumentation-theoretic properties. This setting is investigated with respect to the model checking problem, by means of a suitable notion of bisimulation. This notion of bisimulation is also used to shed light on how static properties of argumentation frameworks influence their dynamic behaviour. The objectives of the paper consist in: (i) the development of techniques to tackle the model-checking problem of FOA-ATL; (ii) the development of techniques to analyse how static properties of argumentation frameworks influence their dynamic behavior. We provide preliminary positive results to both questions. |
| Researcher Affiliation | Academia | Francesco Belardinelli Laboratoire IBISC Universit e d Evry, France belardinelli@ibisc.fr Davide Grossi Department of Computer Science University of Liverpool, UK d.grossi@liverpool.ac.uk Nicolas Maudet Sorbonne Universit es UPMC Univ Paris 06 CNRS, UMR 7606, LIP6 F-75005, Paris, France nicolas.maudet@lip6.fr |
| Pseudocode | No | The paper defines logical systems and theoretical concepts but does not include any pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not contain any statement about releasing open-source code for the described methodology, nor does it provide a link to a code repository. |
| Open Datasets | No | The paper is theoretical and focuses on formal analysis and logic. It does not involve empirical training on datasets, thus no information about public datasets is provided. |
| Dataset Splits | No | The paper is theoretical and does not involve empirical experiments with dataset splits for training, validation, or testing. |
| Hardware Specification | No | The paper is theoretical and does not describe any computational experiments that would require specific hardware. Therefore, no hardware specifications are mentioned. |
| Software Dependencies | No | The paper cites formal logics and theoretical frameworks (e.g., ATL, Dung's abstract argumentation theory) but does not mention any specific software or library dependencies with version numbers required for implementation or reproduction of any computational work. |
| Experiment Setup | No | The paper is theoretical and does not describe empirical experiments. Therefore, it does not provide details about experimental setup, such as hyperparameters or training configurations. |