van der Torre, Leon[University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) > ; Zhejiang University]
[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.
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