Class AdmissibleKernel
- java.lang.Object
-
- org.tweetyproject.arg.dung.equivalence.EquivalenceKernel
-
- org.tweetyproject.arg.dung.equivalence.AdmissibleKernel
-
public class AdmissibleKernel extends EquivalenceKernel
Kernel SK = (A, R') for strong equivalence wrt. admissible, preferred, ideal, semi-stable and eager semantics R' = R \ { (a, b) | a!=b, (a,a) in R, (b,a) in R || (b,b) in R }- Author:
- Lars Bengel
-
-
Field Summary
-
Fields inherited from class org.tweetyproject.arg.dung.equivalence.EquivalenceKernel
ADMISSIBLE, COMPLETE, GROUNDED, STABLE
-
-
Constructor Summary
Constructors Constructor Description AdmissibleKernel()
-
Method Summary
Modifier and Type Method Description java.util.Collection<Attack>
getUselessAttacks(DungTheory theory)
compute the set of 'useless' attacks, i.e.-
Methods inherited from class org.tweetyproject.arg.dung.equivalence.EquivalenceKernel
getKernel
-
-
-
-
Method Detail
-
getUselessAttacks
public java.util.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 classEquivalenceKernel
- Parameters:
theory
- a dung theory- Returns:
- the set of useless attacks
-
-