Treffer: A UNIFYING FRAMEWORK FOR PROBABILISTIC ARGUMENTATION.

Formal argumentation has attracted significant attention in the field of Knowledge Representation and Reasoning over the past two decades. Dung’s Argumentation Framework (AF) has been extended in various directions, including approaches that incorporate quantified uncertainty regarding the existence of arguments and attacks. However, comparatively less effort has been devoted to integrating probabilistic reasoning into structured argumentation or other extensions of AF. In this paper, we introduce the Unified Probabilistic Argumentation Framework (UPAF), a general and expressive theoretical model capable of capturing a wide range of existing argumentation formalisms. UPAF can be equipped with an environmental model that assigns (not necessarily independent) probabilistic events to elements of the underlying argumentation structure, thus enabling reasoning under uncertainty. We demonstrate that UPAF can encode classical and extended forms of Dung’s framework, as well as structured argumentation frameworks such as Assumption-Based Argumentation and Defeasible Logic Programming. Finally, we discuss the computational complexity of key reasoning tasks within UPAF instances. [ABSTRACT FROM AUTHOR]

Copyright of Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP) is the property of College Publications and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)