[en] In this paper, we formalise the Shkop approach to conflict resolution in formal argumentation, in which we start with an empty abstract argumentation framework AF and an initially empty set of inferred arguments. Then, we expand AF one argument at a time, and evaluate after each expansion if i) arguments that have previously been inferred can be kept (or have to be discarded due to sufficient doubt) and ii) if the newly added argument can be added to the set of inferred arguments. Based on this idea, we introduce a novel approach for designing abstract argumentation semantics. As a particular semantics, we define grounded Shkop semantics – a naive set-based argumentation semantics that does not inhibit a well-known problem of CF2 semantics.
Disciplines :
Computer science
Author, co-author :
GABBAY, Dov M. ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Kampik, Timotheus
External co-authors :
yes
Language :
English
Title :
A Brief Introduction to the Shkop Approach to Conflict Resolution in Formal Argumentation
Publication date :
2021
Event name :
First International Workshop on Logics for New-Generation AI 2021, 18-20 June 2021, Hangzhou