A Formal Analysis of Dialogues on Infinite Argumentation Frameworks

Francesco Belardinelli (1) , Davide Grossi (2) , Nicolas Maudet (3)

1 IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
2 University of Liverpool
3 SMA - Systèmes Multi-Agents

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 bisimu-lation is also used to shed light on how static properties of argumentation frameworks influence their dynamic behaviour.

Domaines: Intelligence artificielle [cs.AI]

Francesco Belardinelli, Davide Grossi, Nicolas Maudet. A Formal Analysis of Dialogues on Infinite Argumentation Frameworks. 24th International Joint Conference on Artificial Intelligence (IJCAI-15), Jul 2015, Buenos Aires, Argentina. pp.861--867. ⟨hal-01167908⟩