Dung's abstract argumentation theory can be seen as a general framework for non-monotonic reasoning. An important question is then: what is the class of logics that can be subsumed as instantiations of this theory? The goal of this paper is to identify and study the large class of logic-based instantiations of Dung's theory which correspond to the maxi-consistent operator, i.e. to the function which returns maximal consistent subsets of an inconsistent knowledge base. In other words, we study the class of instantiations where very extension of the argumentation system corresponds to exactly one maximal consistent subset of the knowledge base. We show that an attack relation belonging to this class must be conflict-dependent, must not be valid, must not be conflict-complete, must not be symmetric etc. Then, we show that some attack relations serve as lower or upper bounds of the class (e.g. if an attack relation contains canonical undercut then it is not a member of this class). By using our results, we show for all existing attack relations whether or not they belong to this class. We also define new attack relations which are members of this class. Finally, we interpret our results and discuss more general questions, like: what is the added value of argumentation in such a setting? We believe that this work is a first step towards achieving our long-term goal, which is to better understand the role of argumentation and, particularly, the expressivity of logic-based instantiations of Dung-style argumentation frameworks.
Consejo Nacional de Investigaciones Científicas y Técnicas（阿根廷国家科学技术研究委员会）；Department of Mathematics - Universidad Nacional de Santiago del Estero（圣地亚哥德埃斯特罗国立大学数学系）
On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks
Department of Mathematics University of Wisconsin-Madison（威斯康星大学麦迪逊分校数学系）；Dipartimento di Ricerca e Innovazione Umanistica University of Bari, Italy（巴里大学人文研究与创新系）
Masdar Institute of Science & Technology（马斯达尔科学技术学院）；Mahasarakham University（玛哈沙拉堪大学）；Universidad Nacional del Sur（南方国立大学）；University of Edinburgh（爱丁堡大学）；MIT（麻省理工学院）
Chatbots to strengthen democracy: An interdisciplinary seminar to train identifying argumentation techniques of science denial
Mobile Dialog Systems, Otto-von-Guericke-University Magdeburg, Germany（移动对话系统，马格德堡奥托·冯·格里克大学）；German Research Centre for Artificial Intelligence, Berlin（德国人工智能研究中心）；Usability Lab, TU Berlin, Germany（可用性实验室，柏林技术大学）
