[en] Baumann, Brewka and Ulbricht recently introduced weak admissibility as an alternative to Dung’s notion of admissibility, and they use it to define weakly preferred, weakly complete and weakly grounded semantics of argumentation frameworks. In this paper we analyze their new semantics with respect to the principles discussed in the literature on abstract argumentation. Moreover, we introduce two variants of their new semantics, which we call qualified and semiqualified semantics, and we check which principles they satisfy as well. Since the existing principles do not distinguish our new semantics from the ones of Baumann et al., we also introduce some new principles to distinguish them. Besides selecting a semantics for an application, or for algorithmic design, our new principle-based analysis can also be used for the further search for weak admissibility semantics.
Disciplines :
Computer science
Author, co-author :
Dauphin, Jérémie ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
Rienstra, Tjitze
van der Torre, Leon ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
External co-authors :
yes
Language :
English
Title :
A Principle-Based Analysis of Weakly Admissible Semantics
Publication date :
2020
Event name :
Computational Models of Argument
Event date :
from 04-09-2020 to 11-09-2020
Main work title :
Computational Models of Argument - Proceedings of COMMA 2020, Perugia Italy, September 4-11, 2020
Publisher :
IOS Press
Collection name :
Frontiers in Artificial Intelligence and Applications
Pietro Baroni, Guido Boella, Federico Cerutti, Massimiliano Giacomin, Leendert van der Torre, and Serena Villata. On the input/output behavior of argumentation frameworks. Artificial Intelligence, 217:144-197, 2014.
Pietro Baroni, Massimiliano Giacomin, and Giovanni Guida. Scc-recursiveness: a general schema for argumentation semantics. Artificial Intelligence, 168(1-2):162-210, 2005.
Ringo Baumann, Gerhard Brewka, and Markus Ulbricht. Revisiting the foundations of abstract argumentation-semantics based on weak admissibility and weak defense. In The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, New York, USA, February 7-February 12, 2020. AAAI Press, 2020.
Ringo Baumann, Gerhard Brewka, and Markus Ulbricht. Comparing weak admissibility semantics to their dung-style counterparts reduct, modularization, and strong equivalence in abstract argumentation. In Principles of Knowledge Representation and Reasoning: Proceedings of the 17th International Conference, KR 2020, Rhodes, Greece, September 12-18, 2020, 2020 (To Appear).
Philippe Besnard, Sylvie Doutre, Van Hieu Ho, and Dominique Longin. SESAME-A system for specifying semantics in abstract argumentation. In Matthias Thimm, Federico Cerutti, Hannes Strass, and Mauro Vallati, editors, Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA), Potsdam, Germany, September 13, 2016, volume 1672 of CEUR Workshop Proceedings, pages 40-51. CEUR-WS.org, 2016.
Martin W. A. Caminada and Dov M. Gabbay. A logical account of formal argumentation. Studia Logica, 93(2-3):109-145, 2009.
Marcos Cramer and Leendert van der Torre. SCF2-An argumentation semantics for rational human judgments on argument acceptability. In Christoph Beierle, Marco Ragni, Frieder Stolzenburg, and Matthias Thimm, editors, Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019), Kassel, Germany, September 23, 2019, volume 2445 of CEUR Workshop Proceedings, pages 24-35. CEUR-WS.org, 2019.
Phan Minh Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence, 77(2):321-358, 1995.
Leendert van der Torre and Srdjan Vesic. The Principle-Based Approach to Abstract Argumentation Semantics. In Pietro Baroni, Dov Gabbay, Massimiliano Giacomin, and Leendert van der Torre, editors, Handbook of Formal Argumentation, chapter 12, pages 2735-2778. College Publications, London, 2018.