A 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 bisimu-lation is also used to shed light on how static properties of argumentation frameworks influence their dynamic behaviour.
Document type :
Conference papers
Complete list of metadatas

Cited literature [23 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01167908
Contributor : Nicolas Maudet <>
Submitted on : Wednesday, June 24, 2015 - 10:58:19 PM
Last modification on : Monday, October 28, 2019 - 10:50:21 AM
Long-term archiving on: Tuesday, April 25, 2017 - 7:07:56 PM

File

ijcai2015.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01167908, version 1

Citation

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⟩

Share

Metrics

Record views

353

Files downloads

176