Compactness and Preservation in Logical Argumentation Frameworks

Logic-based argumentation is a formal method for constructing, evaluating and comparing arguments. In this paper we address two (related) key issues concerning the representation of logical argumentation frameworks: how to describe them in a compact way, and how to move from one framework to another while preserving their basic logical characteristics. The results are applied to various forms of attack rules and different kinds of argumentative semantics, and are demonstrated for transitions between several 3-valued logics and classical logic. As a byproduct, our results are also used for converting logic-based argumentation frameworks to assumption-based argumentation frameworks.