DeepAI AI Chat
Log In Sign Up

Compact Argumentation Frameworks

by   Ringo Baumann, et al.

Abstract argumentation frameworks (AFs) are one of the most studied formalisms in AI. In this work, we introduce a certain subclass of AFs which we call compact. Given an extension-based semantics, the corresponding compact AFs are characterized by the feature that each argument of the AF occurs in at least one extension. This not only guarantees a certain notion of fairness; compact AFs are thus also minimal in the sense that no argument can be removed without changing the outcome. We address the following questions in the paper: (1) How are the classes of compact AFs related for different semantics? (2) Under which circumstances can AFs be transformed into equivalent compact ones? (3) Finally, we show that compact AFs are indeed a non-trivial subclass, since the verification problem remains coNP-hard for certain semantics.


page 1

page 2

page 3

page 4


The matrices of argumentation frameworks

We introduce matrix and its block to the Dung's theory of argumentation ...

A Plausibility Semantics for Abstract Argumentation Frameworks

We propose and investigate a simple ranking-measure-based extension sema...

Stability in Abstract Argumentation

The notion of stability in a structured argumentation setup characterize...

Deep Learning for Abstract Argumentation Semantics

In this paper, we present a learning-based approach to determining accep...

Abstractly Interpreting Argumentation Frameworks for Sharpening Extensions

Cycles of attacking arguments pose non-trivial issues in Dung style argu...

On graded semantics of abstract argumentation: Extension-based case

Based on Grossi and Modgil's recent work [1], this paper considers some ...

Reflecting Algebraically Compact Functors

A compact T-algebra is an initial T-algebra whose inverse is a final T-c...