Class 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
    • Constructor Detail

      • AdmissibleKernel

        public AdmissibleKernel()
    • 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 class EquivalenceKernel
        Parameters:
        theory - a dung theory
        Returns:
        the set of useless attacks