Class EquivalenceKernel

java.lang.Object

org.tweetyproject.arg.dung.equivalence.kernel.EquivalenceKernel

Direct Known Subclasses:

AdmissibleKernel, CompleteKernel, GroundedKernel, StableKernel, StrongExpansionAdmissibleKernel, StrongExpansionCompleteKernel, StrongExpansionGroundedKernel

public abstract class EquivalenceKernel
extends Object

A general interface for an equivalence kernel for abstract argumentation frameworks, used to characterise strong equivalence and expansion equivalences wrt. different semantics. A kernel essentially defines which attacks are redundant. These attacks can be removed from the framework without influencing the extensions wrt. the semantics under some expansion of the argumentation framework.

Author:

Lars Bengel

See Also:

• "Oikarinen, Emilia, and Stefan Woltran. 'Characterizing strong equivalence for argumentation frameworks.' Artificial intelligence 175.14-15 (2011): 1985-2009."
• "Baumann, Ringo. 'Normal and strong expansion equivalence for argumentation frameworks.' Artificial Intelligence 193 (2012): 18-44."

Field Summary

Fields

Modifier and Type	Field	Description
static final EquivalenceKernel	ADMISSIBLE	ADMISSIBLE kernel
static final EquivalenceKernel	COMPLETE	COMPLETE kernel
static final EquivalenceKernel	GROUNDED	GROUNDED kernel
static final EquivalenceKernel	SE_ADMISSIBLE	Strong Expansion ADMISSIBLE kernel
static final EquivalenceKernel	SE_COMPLETE	Strong Expansion COMPLETE kernel
static final EquivalenceKernel	SE_GROUNDED	Strong Expansion GROUNDED kernel
static final EquivalenceKernel	STABLE	STABLE kernel

Constructor Summary

Constructors

Constructor	Description
EquivalenceKernel()

Method Summary

Modifier and Type	Method	Description
DungTheory	getKernel(DungTheory theory)	Computes the kernel of the given AF
abstract Collection<Attack>	getRedundantAttacks(DungTheory theory)	Computes the set of redundant attacks, i.e., all attacks that are removed in order to retrieve the kernel of the given AF
static EquivalenceKernel	getStrongEquivalenceKernelForSemantics(Semantics semantics)	Returns the corresponding strong equivalence kernel for the specified semantics

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

STABLE

public static final EquivalenceKernel STABLE

STABLE kernel

COMPLETE

public static final EquivalenceKernel COMPLETE

COMPLETE kernel

GROUNDED

public static final EquivalenceKernel GROUNDED

GROUNDED kernel

ADMISSIBLE

public static final EquivalenceKernel ADMISSIBLE

ADMISSIBLE kernel

SE_ADMISSIBLE

public static final EquivalenceKernel SE_ADMISSIBLE

Strong Expansion ADMISSIBLE kernel

SE_COMPLETE

public static final EquivalenceKernel SE_COMPLETE

Strong Expansion COMPLETE kernel

SE_GROUNDED

public static final EquivalenceKernel SE_GROUNDED

Strong Expansion GROUNDED kernel

Constructor Details

EquivalenceKernel

public EquivalenceKernel()

Method Details

getKernel

public DungTheory getKernel(DungTheory theory)

Computes the kernel of the given AF

Parameters:

theory - a dung theory

Returns:

a dung theory representing the kernel of the given AF

getRedundantAttacks

public abstract Collection<Attack> getRedundantAttacks(DungTheory theory)

Computes the set of redundant attacks, i.e., all attacks that are removed in order to retrieve the kernel of the given AF

Parameters:

theory - a dung theory

Returns:

the set of redundant attacks

getStrongEquivalenceKernelForSemantics

public static EquivalenceKernel getStrongEquivalenceKernelForSemantics(Semantics semantics)

Returns the corresponding strong equivalence kernel for the specified semantics

Parameters:

semantics - some semantics

Returns:

equivalence kernel for the given semantics