Package org.tweetyproject.arg.dung.equivalence.strong

Class EquivalenceKernel

java.lang.Object

org.tweetyproject.arg.dung.equivalence.strong.EquivalenceKernel

Direct Known Subclasses:

AdmissibleKernel, CompleteKernel, GroundedKernel, StableKernel, StrongAdmissibleKernel, UnchallengedKernel

public abstract class EquivalenceKernel
extends Object

An abstract kernel for strong equivalence in abstract argumentation frameworks

Author:

Lars Bengel

Field Summary

Fields

Modifier and Type	Field	Description
static final EquivalenceKernel	ADMISSIBLE	ADMISSIBLE
static final EquivalenceKernel	COMPLETE	COMPLETE
static final EquivalenceKernel	GROUNDED	GROUNDED
static final EquivalenceKernel	STABLE	STABLE
static final EquivalenceKernel	STRONGADMISSIBLE	STRONG ADMISSIBLE
static final EquivalenceKernel	UNCHALLENGED	UNCHALLENGED

Constructor Summary

Constructors

Constructor	Description
EquivalenceKernel()

Method Summary

Modifier and Type	Method	Description
static EquivalenceKernel	getKernel(Semantics semantics)	Returns a suitable kernel for the specified semantics
DungTheory	getKernel(DungTheory theory)	computes the kernel of the given AF
abstract Collection<Attack>	getUselessAttacks(DungTheory theory)	compute the set of 'useless' attacks, i.e.

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

COMPLETE

public static final EquivalenceKernel COMPLETE

COMPLETE

GROUNDED

public static final EquivalenceKernel GROUNDED

GROUNDED

ADMISSIBLE

public static final EquivalenceKernel ADMISSIBLE

ADMISSIBLE

UNCHALLENGED

public static final EquivalenceKernel UNCHALLENGED

UNCHALLENGED

STRONGADMISSIBLE

public static final EquivalenceKernel STRONGADMISSIBLE

STRONG ADMISSIBLE

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

getUselessAttacks

public abstract Collection<Attack> getUselessAttacks(DungTheory theory)

compute the set of 'useless' attacks, i.e. all attacks that are are cut to retrieve the kernel of the AF

Parameters:

theory - a dung theory

Returns:

the set of useless attacks

getKernel

public static EquivalenceKernel getKernel(Semantics semantics)

Returns a suitable kernel for the specified semantics

Parameters:

semantics - Semantics influencing the equivalence

Returns:

kernel to assess the equivalence