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

Class StrongAdmissibleKernel

java.lang.Object

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

org.tweetyproject.arg.dung.equivalence.strong.StrongAdmissibleKernel

public class StrongAdmissibleKernel
extends EquivalenceKernel

Kernel SK = (A, R') for strong equivalence wrt. strong admissible semantics

Version:

TweetyProject 1.23

Author:

Julian Sander

Field Summary

Fields inherited from class org.tweetyproject.arg.dung.equivalence.strong.EquivalenceKernel

ADMISSIBLE, COMPLETE, GROUNDED, STABLE, STRONGADMISSIBLE, UNCHALLENGED

Constructor Summary

Constructors

Constructor	Description
StrongAdmissibleKernel()

Method Summary

Modifier and Type	Method	Description
Collection<Attack>	getUselessAttacks(DungTheory theory)	compute the set of 'useless' attacks, i.e.

Methods inherited from class org.tweetyproject.arg.dung.equivalence.strong.EquivalenceKernel

getKernel, getKernel

Methods inherited from class java.lang.Object

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

Constructor Details

StrongAdmissibleKernel

public StrongAdmissibleKernel()

Method Details

getUselessAttacks

public Collection<Attack> getUselessAttacks(DungTheory theory)

Description copied from class: EquivalenceKernel

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

Specified by:

getUselessAttacks in class EquivalenceKernel

Parameters:

theory - a dung theory

Returns:

the set of useless attacks