{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,18]],"date-time":"2024-04-18T02:02:14Z","timestamp":1713405734924},"reference-count":35,"publisher":"Oxford University Press (OUP)","issue":"3","license":[{"start":{"date-parts":[[2023,5,26]],"date-time":"2023-05-26T00:00:00Z","timestamp":1685059200000},"content-version":"vor","delay-in-days":1,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,4,19]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Kettle logic is a colloquial term that describes an agent\u2019s advancement of inconsistent arguments in order to defeat a particular claim. Intuitively, a consistent subset of the advanced arguments should exist that is at least as successful at refuting the claim as the advancement of the set of inconsistent arguments. In this paper, we formalize this intuition and provide a formal analysis of kettle logic in abstract argumentation, a fundamental approach to computational argumentation, showing that all of the analysed abstract argumentation semantics (inference functions)\u2014with the exception of naive semantics, which is considered a mere simplistic helper for the construction of other semantics\u2014suffer from kettle logic. We also provide an approach to mitigating kettle logic under some circumstances. The key findings presented in this paper highlight that agents that apply the inference functions of abstract argumentation, are\u2014similarly to humans\u2014receptive to persuasion by agents who deliberately advance inconsistent and intuitively \u2018illogical\u2019 claims. As abstract argumentation can be considered one of the most basic models of computational argumentation, this raises the question to what extent and under what circumstances kettle logic-free argumentation can and should be enforced by computational means.<\/jats:p>","DOI":"10.1093\/logcom\/exad027","type":"journal-article","created":{"date-parts":[[2023,5,26]],"date-time":"2023-05-26T08:15:06Z","timestamp":1685088906000},"page":"528-556","source":"Crossref","is-referenced-by-count":0,"title":["Kettle logic in abstract argumentation"],"prefix":"10.1093","volume":"34","author":[{"given":"Timotheus","family":"Kampik","sequence":"first","affiliation":[{"name":"Department of Computing Science , Ume\u00e5 University, Ume\u00e5 901 87, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2023,5,25]]},"reference":[{"key":"2024041707214240000_ref1","doi-asserted-by":"crossref","DOI":"10.1002\/9781119165811","volume-title":"Bad Arguments: 100 of the Most Important Fallacies in Western Philosophy","author":"Arp","year":"2018"},{"key":"2024041707214240000_ref2","first-page":"159","article-title":"Abstract argumentation frameworks and their semantics","volume-title":"Handbook of Formal Argumentation. College Publications","author":"Baroni","year":"2018"},{"key":"2024041707214240000_ref3","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1016\/j.artint.2007.04.004","article-title":"On principle-based evaluation of extension-based argumentation semantics","volume":"171","author":"Baroni","year":"2007","journal-title":"Artificial Intelligence"},{"key":"2024041707214240000_ref4","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/j.artint.2005.05.006","article-title":"SCC-recursiveness: a general schema for argumentation semantics","volume":"168","author":"Baroni","year":"2005","journal-title":"Artificial Intelligence"},{"key":"2024041707214240000_ref5","first-page":"75","article-title":"Expanding argumentation frameworks: enforcing and monotonicity results","volume":"10","author":"Baumann","year":"2010","journal-title":"COMMA"},{"key":"2024041707214240000_ref6","first-page":"79","article-title":"Comparing weak admissibility semantics to their dung-style counterparts\u2014reduct, modularization, and strong equivalence in abstract argumentation","volume-title":"Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12\u201318, 2020","author":"Baumann","year":"2020"},{"key":"2024041707214240000_ref7","doi-asserted-by":"crossref","first-page":"103742","DOI":"10.1016\/j.artint.2022.103742","article-title":"Shedding new light on the foundations of abstract argumentation: Modularization and weak admissibility","volume":"310","author":"Baumann","year":"2022","journal-title":"Artificial Intelligence"},{"key":"2024041707214240000_ref8","doi-asserted-by":"crossref","first-page":"1293","DOI":"10.1093\/logcom\/exu010","article-title":"The role of self-attacking arguments in characterizations of equivalence notions","volume":"26","author":"Baumann","year":"2016","journal-title":"Journal of Logic and Computation"},{"key":"2024041707214240000_ref9","first-page":"1623","article-title":"Enforcement in formal argumentation","volume":"8","author":"Baumann","year":"2021","journal-title":"IfColog Journal of Logics and their Applications (FLAP)"},{"key":"2024041707214240000_ref10","first-page":"1780","article-title":"On cycles, attackers and supporters\u2014a contribution to the investigation of dynamics in abstract argumentation","volume-title":"Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event\/Montreal, Canada, 19\u201327 August 2021","author":"Baumann","year":"2021"},{"key":"2024041707214240000_ref11","first-page":"275","article-title":"Change in argumentation systems: exploring the interest of removing an argument","volume-title":"SUM\u201911","author":"Bisquert","year":"2011"},{"key":"2024041707214240000_ref12","first-page":"511","article-title":"Argumentation-based dialogue","volume-title":"Handbook of Formal Argumentation","author":"Black","year":"2021"},{"key":"2024041707214240000_ref13","first-page":"111","article-title":"On the issue of reinstatement in argumentation","volume-title":"Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13\u201315, 2006, Proceedings, Volume 4160 of Lecture Notes in Computer Science","author":"Caminada","year":"2006"},{"key":"2024041707214240000_ref14","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/s11225-009-9218-x","article-title":"A logical account of formal argumentation","volume":"93","author":"Caminada","year":"2009","journal-title":"Studia Logica"},{"key":"2024041707214240000_ref15","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1613\/jair.2965","article-title":"Change in abstract argumentation frameworks: adding an argument","volume":"38","author":"Cayrol","year":"2010","journal-title":"Journal of Artificial Intelligence Research"},{"key":"2024041707214240000_ref16","doi-asserted-by":"crossref","DOI":"10.4324\/9781315144016","volume-title":"Introduction to Logic","author":"Copi","year":"2018"},{"key":"2024041707214240000_ref17","volume-title":"Resistances of Psychoanalysis","author":"Derrida","year":"2022"},{"key":"2024041707214240000_ref18","doi-asserted-by":"crossref","first-page":"223","DOI":"10.3233\/AAC-180425","article-title":"Constraints and changes: a survey of abstract argumentation dynamics","volume":"9","author":"Doutre","year":"2018","journal-title":"Argument & Computation"},{"key":"2024041707214240000_ref19","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/978-0-387-98197-0_10","article-title":"Assumption-based argumentation","volume-title":"Argumentation in Artificial Intelligence","author":"Dung","year":"2009"},{"key":"2024041707214240000_ref20","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","article-title":"On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games","volume":"77","author":"Dung","year":"1995","journal-title":"Artificial Intelligence"},{"key":"2024041707214240000_ref21","doi-asserted-by":"crossref","first-page":"1149","DOI":"10.1093\/logcom\/exu006","article-title":"Stage semantics and the SCC-recursive schema for argumentation semantics","volume":"26","author":"Dvo\u0159\u00e1k","year":"2016","journal-title":"Journal of Logic and Computation"},{"key":"2024041707214240000_ref22","first-page":"324","article-title":"Agent strategies for aba-based information-seeking and inquiry dialogues","volume-title":"ECAI 2012\u201420th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27\u201331, 2012, Volume 242 of Frontiers in Artificial Intelligence and Applications","author":"Fan","year":"2012"},{"key":"2024041707214240000_ref23","volume-title":"Die Traumdeutung","author":"Freud","year":"2003"},{"key":"2024041707214240000_ref24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1371\/journal.pone.0273225","article-title":"Reasoning on conflicting information: an empirical study of formal argumentation","volume":"17","author":"Guillaume","year":"2022","journal-title":"PLoS One"},{"key":"2024041707214240000_ref25","article-title":"Fallacies","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Hansen","year":"2020"},{"key":"2024041707214240000_ref26","doi-asserted-by":"crossref","first-page":"991","DOI":"10.1093\/logcom\/exs068","article-title":"On the semantics of abstract argumentation","volume":"23","author":"Kakas","year":"2013","journal-title":"Journal of Logic and Computation"},{"key":"2024041707214240000_ref27","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/j.ijar.2021.10.007","article-title":"Ensuring reference independence and cautious monotony in abstract argumentation","volume":"140","author":"Kampik","year":"2022","journal-title":"International Journal of Approximate Reasoning"},{"key":"2024041707214240000_ref28","doi-asserted-by":"crossref","first-page":"654","DOI":"10.1093\/logcom\/exab003","article-title":"Abstract argumentation and the rational man","volume":"31","author":"Kampik","year":"2021","journal-title":"Journal of Logic and Computation"},{"key":"2024041707214240000_ref29","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1080\/08038740.2014.964309","article-title":"Intersections and inconsistencies. Framing gender in right-wing populist discourses in Austria","volume":"22","author":"Mayer","year":"2014","journal-title":"NORA\u2013Nordic Journal of Feminist and Gender Research"},{"key":"2024041707214240000_ref30","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1080\/19462166.2013.869766","article-title":"TheASPIC+framework for structured argumentation: a tutorial","volume":"5","author":"Modgil","year":"2014","journal-title":"Argument & Computation"},{"key":"2024041707214240000_ref31","first-page":"85","article-title":"Abstraction in argumentation: necessary but dangerous","volume-title":"Computational Models of Argument\u2014Proceedings of COMMA 2018, Warsaw, Poland, 12\u201314 September 2018, Volume 305 of Frontiers in Artificial Intelligence and Applications","author":"Prakken","year":"2018"},{"key":"2024041707214240000_ref32","article-title":"The principle-based approach to abstract argumentation semantics","volume":"4","author":"van der Torre","year":"2017","journal-title":"IfCoLog Journal of Logics and Their Applications"},{"key":"2024041707214240000_ref33","first-page":"357","article-title":"Two approaches to dialectical argumentation: admissible sets and argumentation stages","volume":"96","author":"Verheij","year":"1996","journal-title":"Proceedings of the NAIC"},{"key":"2024041707214240000_ref34","first-page":"174","volume-title":"Kettle Logic","author":"Wible","year":"2018"},{"key":"2024041707214240000_ref35","first-page":"12","article-title":"A labelling-based justification status of arguments","volume":"3","author":"Yining","year":"2010","journal-title":"Studies in Logic"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/34\/3\/528\/57242085\/exad027.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/34\/3\/528\/57242085\/exad027.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,17]],"date-time":"2024-04-17T18:31:01Z","timestamp":1713378661000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/34\/3\/528\/7179234"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,25]]},"references-count":35,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2023,5,25]]},"published-print":{"date-parts":[[2024,4,19]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exad027","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2024,4]]},"published":{"date-parts":[[2023,5,25]]}}}