Justifying argument acceptance with collective attacks: Discussions and disputes
G. Buraglio, W. Dvorak, M. König, and M. Ulbricht. Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, California, International Joint Conferences on Artificial Intelligence Organization, (August 2024)
Abstract
In formal argumentation one aims for intuitive and concise justifications for the acceptance of arguments. Discussion games and dispute trees are established methods to obtain such a justification. However, so far these techniques are based on instantiating the knowledge base into graph-based Dung style abstract argumentation frameworks (AFs). These instantiations are known to produce frameworks with a large number of arguments and thus also yield long discussion games and large dispute trees. To obtain more concise justifications for argument acceptance, we propose to instantiate the knowledge base as an argumentation framework with collective attacks (SETAF). Remarkably, this approach yields smaller frameworks compared to traditional AF instantiation, while exhibiting increased expressive power. We then introduce discussion games and dispute trees tailored to SETAFs, show that they correspond to credulous acceptance w.r.t. the well-known preferred semantics, analyze and tune them w.r.t. the size, and compare the two notions. Finally, we illustrate how our findings apply to assumption-based argumentation.
Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence
year
2024
month
aug
publisher
International Joint Conferences on Artificial Intelligence Organization
conference
Thirty-Third International Joint Conference on Artificial Intelligence IJCAI-24\
location
Jeju, South Korea
Tags
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 Buraglio2024-mp
%A Buraglio, Giovanni
%A Dvorak, Wolfgang
%A König, Matthias
%A Ulbricht, Markus
%B Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence
%C California
%D 2024
%I International Joint Conferences on Artificial Intelligence Organization
%K
%T Justifying argument acceptance with collective attacks: Discussions and disputes
%X In formal argumentation one aims for intuitive and concise justifications for the acceptance of arguments. Discussion games and dispute trees are established methods to obtain such a justification. However, so far these techniques are based on instantiating the knowledge base into graph-based Dung style abstract argumentation frameworks (AFs). These instantiations are known to produce frameworks with a large number of arguments and thus also yield long discussion games and large dispute trees. To obtain more concise justifications for argument acceptance, we propose to instantiate the knowledge base as an argumentation framework with collective attacks (SETAF). Remarkably, this approach yields smaller frameworks compared to traditional AF instantiation, while exhibiting increased expressive power. We then introduce discussion games and dispute trees tailored to SETAFs, show that they correspond to credulous acceptance w.r.t. the well-known preferred semantics, analyze and tune them w.r.t. the size, and compare the two notions. Finally, we illustrate how our findings apply to assumption-based argumentation.
@inproceedings{Buraglio2024-mp,
abstract = {In formal argumentation one aims for intuitive and concise justifications for the acceptance of arguments. Discussion games and dispute trees are established methods to obtain such a justification. However, so far these techniques are based on instantiating the knowledge base into graph-based Dung style abstract argumentation frameworks (AFs). These instantiations are known to produce frameworks with a large number of arguments and thus also yield long discussion games and large dispute trees. To obtain more concise justifications for argument acceptance, we propose to instantiate the knowledge base as an argumentation framework with collective attacks (SETAF). Remarkably, this approach yields smaller frameworks compared to traditional AF instantiation, while exhibiting increased expressive power. We then introduce discussion games and dispute trees tailored to SETAFs, show that they correspond to credulous acceptance w.r.t. the well-known preferred semantics, analyze and tune them w.r.t. the size, and compare the two notions. Finally, we illustrate how our findings apply to assumption-based argumentation.},
added-at = {2024-09-10T10:41:24.000+0200},
address = {California},
author = {Buraglio, Giovanni and Dvorak, Wolfgang and K{\"o}nig, Matthias and Ulbricht, Markus},
biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/2f15c34c693232b0653e54d3ba9b58f91/scadsfct},
booktitle = {Proceedings of the {Thirty-ThirdInternational} Joint Conference on Artificial Intelligence},
conference = {Thirty-Third International Joint Conference on Artificial Intelligence \{IJCAI-24\}},
interhash = {547ff618976cdf6e2da917a37848c938},
intrahash = {f15c34c693232b0653e54d3ba9b58f91},
keywords = {},
location = {Jeju, South Korea},
month = aug,
publisher = {International Joint Conferences on Artificial Intelligence Organization},
timestamp = {2024-09-10T10:47:32.000+0200},
title = {Justifying argument acceptance with collective attacks: Discussions and disputes},
year = 2024
}