Formal Analysis of Dialogues on Infinite Argumentation Frameworks
Abstract
The paper analyses multi-agent strategic dialogues on possibly infinite argumentation frameworks. We develop a formal model for representing such dialogues, and introduce FO A -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.
Cite
Text
Belardinelli et al. "Formal Analysis of Dialogues on Infinite Argumentation Frameworks." International Joint Conference on Artificial Intelligence, 2015.Markdown
[Belardinelli et al. "Formal Analysis of Dialogues on Infinite Argumentation Frameworks." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/belardinelli2015ijcai-formal/)BibTeX
@inproceedings{belardinelli2015ijcai-formal,
title = {{Formal Analysis of Dialogues on Infinite Argumentation Frameworks}},
author = {Belardinelli, Francesco and Grossi, Davide and Maudet, Nicolas},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2015},
pages = {861-867},
url = {https://mlanthology.org/ijcai/2015/belardinelli2015ijcai-formal/}
}