[en] In this paper, we give an overview of several recent proposals for non-Admissible non-naive semantics for abstract argumentation frameworks. We highlight the similarities and differences between weak admissibility-based approaches and undecidedness-blocking approaches using examples and principles as well as a study of their computational complexity. We introduce a kind of strengthened undecidedness-blocking semantics combining some of the distinctive behaviours of weak admissibility-based semantics with the lower complexity of undecidedness-blocking approaches. We call it loop semantics, because in our new semantics, an argument can only be undecided if it is part of a loop of undecided arguments. Our paper shows how a principle-based approach and a complexity-based approach can be used in tandem to further develop the foundations of formal argumentation.
Disciplines :
Computer science
Identifiers :
eid=2-s2.0-85139483391
Author, co-author :
Dvorak, Wolfgang; TU Wien, Austria
Rienstra, Tjitze; Universiteit Maastricht
van der Torre, Leon ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) ; Zhejiang University
Woltran, Stefan; TU Wien, Austria
External co-authors :
yes
Language :
English
Title :
Non-Admissibility in abstract argumentation
Publication date :
2022
Event name :
9th International Conference on Computational Models of Argument, COMMA 2022
Event date :
14 September 2022 through 16 September 2022
Audience :
International
Journal title :
Frontiers in Artificial Intelligence and Applications
ISSN :
0922-6389
Publisher :
IOS Press BV
Volume :
353
Pages :
128-139
Peer reviewed :
Peer reviewed
FnR Project :
FNR13995684 - Deontic Logic For Artificial Intelligence, 2019 (01/09/2020-31/08/2022) - Leon Van Der Torre
Funders :
Vienna Science and Technology Fund, WWTF: ICT19-065; Fonds National de la Recherche Luxembourg, FNR: INTER/Mobility/19/13995684/DLAl/van; Austrian Science Fund, FWF: Y698 European Association of AI (EurAI);School of Computer Science and Informatics at the Cardiff University