Package org.tweetyproject.arg.dung.equivalence.kernel

Class EquivalenceKernel

java.lang.Object

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

Direct Known Subclasses:

AdmissibleKernel, CompleteKernel, GroundedKernel, StableKernel

public abstract class EquivalenceKernel
extends Object

A strong equivalence kernel for abstract argumentation frameworks, used to characterise strong equivalence wrt. different semantics. A kernel defines which attacks are redundant an can be removed from the framework without influencing the extensions wrt the semantics.

Author:

Lars Bengel

See Also:

• "Oikarinen, Emilia, and Stefan Woltran. 'Characterizing strong equivalence for argumentation frameworks.' Artificial intelligence 175.14-15 (2011): 1985-2009."

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	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
static EquivalenceKernel	getKernelForSemantics(Semantics semantics)	Returns the corresponding kernel for the specified semantics
abstract Collection<Attack>	getRedundantAttacks(DungTheory theory)	compute the set of redundant attacks, i.e., all attacks that are removed in oder to retrieve the kernel of the given AF

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

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)

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

Parameters:

theory - a dung theory

Returns:

the set of redundant attacks

getKernelForSemantics

public static EquivalenceKernel getKernelForSemantics(Semantics semantics)

Returns the corresponding kernel for the specified semantics

Parameters:

semantics - some semantics

Returns:

equivalence kernel for the given semantics