A Formal Analysis of Dialogues on Infinite Argumentation Frameworks - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

A Formal Analysis of Dialogues on Infinite Argumentation Frameworks

Résumé

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.
Fichier principal
Vignette du fichier
ijcai2015.pdf (296.2 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01167908 , version 1 (24-06-2015)

Identifiants

  • HAL Id : hal-01167908 , version 1

Citer

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⟩
282 Consultations
134 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More