A comprehensive account of the burden of persuasion in abstract argumentation. (27th January 2023)

• Record Type: Journal Article
• Authors: Kampik, Timotheus; Gabbay, Dov; Sartor, Giovanni
• Is Part Of: Journal of logic and computation. Volume 33:Number 2(2023)
• Page Start: 257
• Page End: 288
• Publication Date: 2023-01-27
• Subjects: Logic programming -- Periodicals; Logic, Symbolic and mathematical -- Periodicals; Computational complexity -- Periodicals; 005.115
• DOI: 10.1093/logcom/exac094
• Languages: English
• ISSNs: 0955-792X

Abstract

Abstract: In this paper, we provide a formal framework for modeling the burden of persuasion in legal reasoning. The framework is based on abstract argumentation, a frequently studied method of non-monotonic reasoning, and can be applied to different argumentation semantics; it supports burdens of persuasion with arbitrary many levels, and allows for the placement of a burden of persuasion on any subset of an argumentation framework's arguments. Our framework can be considered an extension of related works that raise questions on how burdens of persuasion should be handled in some conflict scenarios that can be modeled with abstract argumentation. An open source software implementation of the introduced formal notions is available as an extension of an argumentation reasoning library. A theoretical analysis shows that our approach can be generalized to a novel method for the preference-based selection of extensions from argumentation frameworks.