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
LIP6 - Laboratoire d'Informatique de Paris 6
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

Collections

CNRS | UNIV-EVRY | UPMC | LIP6 | IBISC | IBISC-COSMO | UNIV-PARIS-SACLAY | SORBONNE-UNIVERSITE | SU-SCIENCES

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

353

Files downloads

176

Contact

Informations

CCSD