Formal Analysis of Dialogues on Infinite Argumentation Frameworks
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Main Track. Pages 861-866.
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.
@inproceedings{ijcai2015p126,
title = {Formal Analysis of Dialogues on Infinite Argumentation Frameworks},
author = {Belardinelli, Francesco and Grossi, Davide and Maudet, Nicolas},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI-15}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Qiang Yang and Michael Wooldridge},
pages = {861--866},
year = {2015},
month = {7},
note = {Main Track},
url = {https://ijcai.org/proceedings/2015/126},
}
TY - CPAPER TI - Formal Analysis of Dialogues on Infinite Argumentation Frameworks AU - Belardinelli, Francesco AU - Grossi, Davide AU - Maudet, Nicolas T2 - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15 PB - International Joint Conferences on Artificial Intelligence PY - 2015 SP - 861 EP - 866 UR - https://ijcai.org/proceedings/2015/126 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
