On the Existence of Characterization Logics and Fundamental Properties of Argumentation Semantics
This work addresses the problem of selecting appropriate logical formalisms for knowledge representation and modeling in abstract argumentation, but it appears incremental as it builds on existing concepts without introducing new paradigms.
The paper investigates the existence of characterization logics and fundamental properties such as existence, uniqueness, expressibility, replaceability, and verifiability in abstract argumentation, aiming to provide a basis for informed selection of logical formalisms for specific applications.
Given the large variety of existing logical formalisms it is of utmost importance to select the most adequate one for a specific purpose, e.g. for representing the knowledge relevant for a particular application or for using the formalism as a modeling tool for problem solving. Awareness of the nature of a logical formalism, in other words, of its fundamental intrinsic properties, is indispensable and provides the basis of an informed choice. In this treatise we consider the existence characterization logics as well as properties like existence and uniqueness, expressibility, replaceability and verifiability in the realm of abstract argumentation