Paper published in a book (Scientific congresses, symposiums and conference proceedings)
SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability
Cramer, Marcos; van der Torre, Leon
2019 • In Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI \& Kognition (KIK-2019) co-located with 44nd German Conference on Artificial Intelligence (KI 2019), Kassel, Germany, September 23, 2019
[en] In abstract argumentation theory, many argumentation semantics have been proposed for evaluating argumentation frameworks. This paper is based on the following research question: Which semantics corresponds well to what humans consider a rational judgment on the acceptability of arguments? There are two systematic ways to approach this research question: A normative perspective is provided by the principle-based approach, in which semantics are evaluated based on their satisfaction of various normatively desirable principles. A descriptive perspective is provided by the empirical approach, in which cognitive studies are conducted to determine which semantics best predicts human judgments about arguments. In this paper, we combine both approaches to motivate a new argumentation semantics called SCF2. For this purpose, we introduce and motivate two new principles and show that no semantics from the literature satisfies both of them. We define SCF2 and prove that it satisfies both new principles. Furthermore, we discuss findings of a recent empirical cognitive study that provide additional support to SCF2.
Disciplines :
Computer science
Author, co-author :
Cramer, Marcos
van der Torre, Leon ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability
Publication date :
2019
Event name :
8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and 7th Workshop KI & Kognition (KIK-2019)
Event date :
September 23, 2019
Main work title :
Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI \& Kognition (KIK-2019) co-located with 44nd German Conference on Artificial Intelligence (KI 2019), Kassel, Germany, September 23, 2019
L. Amgoud and J. Ben-Naim. Ranking-Based Semantics for Argumentation Frameworks. In W. Liu, V. S. Subrahmanian, and J. Wijsen, editors, Scalable Uncertainty Management, pages 134–147, Berlin, Heidelberg, 2013. Springer Berlin Heidelberg.
P. Baroni, M. Caminada, and M. Giacomin. Abstract argumentation frameworks and their semantics. In P. Baroni, D. Gabbay, M. Giacomin, and L. van der Torre, editors, Handbook of Formal Argumentation, pages 159–236. College Publications, 2018.
P. Baroni and M. Giacomin. On principle-based evaluation of extension-based argumentation semantics. Artificial Intelligence, 171(10):675–700, 2007. Argumentation in Artificial Intelligence.
P. Baroni, M. Giacomin, and G. Guida. SCC-recursiveness: a general schema for argumentation semantics. Artificial Intelligence, 168(1):162–210, 2005.
R. Baumann. Normal and strong expansion equivalence for argumentation frameworks. Artif. Intell., 193:18–44, 2012.
P. Besnard, S. Doutre, V. H. Ho, and D. Longin. SESAME - A System for Specifying Semantics in Abstract Argumentation. In M. Thimm, F. Cerutti, H. Strass, and M. Vallati, editors, Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam, Germany, September 13, 2016., volume 1672 of CEUR Workshop Proceedings, pages 40–51. CEUR-WS.org, 2016.
G. Boella, S. Kaci, and L. W. N. van der Torre. Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension. In C. Sos-sai and G. Chemello, editors, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings, volume 5590 of Lecture Notes in Computer Science, pages 107–118. Springer, 2009.
G. Brewka, S. Ellmauthaler, H. Strass, J. Wallner, and S. Woltran. Abstract dialectical frameworks. College Publications, International, 2018.
M. W. A. Caminada, W. A. Carnielli, and P. E. Dunne. Semi-stable semantics. J. Log. Comput., 22(5):1207–1254, 2012.
C. Cayrol, F. D. de Saint-Cyr, and M. Lagasquie-Schiex. Revision of an Argumentation System. In G. Brewka and J. Lang, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pages 124–134. AAAI Press, 2008.
M. Cramer and M. Guillaume. Directionality of attacks in natural language argumentation. In C. Schon, editor, Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning, volume 2261, pages 40–46. RWTH Aachen University, CEUR-WS.org, 2018. http://ceur-ws.org/Vol-2261/.
M. Cramer and M. Guillaume. Empirical Cognitive Study on Abstract Argumentation Semantics. Frontiers in Artificial Intelligence and Applications, pages 413–424, 2018.
M. Cramer and M. Guillaume. Empirical Study on Human Evaluation of Complex Argumentation Frameworks. In Proceedings of JELIA 2019, 2019. Full paper available at http://icr.uni.lu/mcramer/downloads/2019 JELIA.pdf.
M. Cramer and L. van der Torre. SCF2 – an Argumentation Semantics for Rational Human Judgments on Argument Acceptability: Technical Report. arXiv e-prints, Aug 2019.
P. M. Dung. On the acceptability of arguments and its fundamental role in non-monotonic reasoning, logic programming and n-person games. Artificial Intelligence, 77(2):321–357, 1995.
W. Dvořák and S. A. Gaggl. Stage semantics and the SCC-recursive schema for argumentation semantics. Journal of Logic and Computation, 26(4):1149–1202, Aug 2016.
E. Oikarinen and S. Woltran. Characterizing strong equivalence for argumentation frameworks. Artificial Intelligence, 175(14-15):1985–2009, 2011.
I. Rahwan, M. I. Madakkatel, J.-F. Bonnefon, R. N. Awan, and S. Abdallah. Behavioral Experiments for Assessing the Abstract Argumentation Semantics of Reinstatement. Cognitive Science, 34(8):1483–1502, 2010.
I. Rahwan and G. R. Simari. Argumentation in Artificial Intelligence. Springer Publishing Company, Incorporated, 1st edition, 2009.
T. Rienstra, C. Sakama, and L. W. N. van der Torre. Persistence and Monotony Properties of Argumentation Semantics. In E. Black, S. Modgil, and N. Oren, editors, Theory and Applications of Formal Argumentation – Revised Selected Papers, volume 9524 of Lecture Notes in Computer Science, pages 211–225. Springer, 2015.
L. van der Torre and S. Vesic. The principle-based approach to abstract argumentation semantics. In P. Baroni, D. Gabbay, M. Giacomin, and L. van der Torre, editors, Handbook of Formal Argumentation. College Publications, 2018.
B. Verheij. Two Approaches to Dialectical Argumentation: Admissible Sets and Argumentation Stages. In In Proceedings of the biannual International Conference on Formal and Applied Practical Reasoning (FAPR) workshop, pages 357–368. Universiteit, 1996.