Representation considerations for logical argumentation frameworks: Minimality, consistency, compactness, and logical preservation

This paper considers various aspects of representing arguments and logical argumentation frameworks. We investigate different approaches to address consistency and minimality within such frameworks, arguing that these properties can, and in some cases should, be omitted from the definition of an argument. We analyze the relationship between how consistency is verified and the selection of attack rules, showing that this choice should align with the underlying logic. Based on these results, we propose compact representations of logical argumentation frameworks and examine methods for transforming one framework into another (e.g., a more concise version) without losing logical entailments.