Package org.tweetyproject.arg.dung.equivalence

Class EquivalenceKernel

java.lang.Object

org.tweetyproject.arg.dung.equivalence.EquivalenceKernel

Direct Known Subclasses:

AdmissibleKernel, CompleteKernel, GroundedKernel, StableKernel

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

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>	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

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