Class AdmissibleKernel

java.lang.Object
org.tweetyproject.arg.dung.equivalence.kernel.EquivalenceKernel
org.tweetyproject.arg.dung.equivalence.kernel.AdmissibleKernel

public class AdmissibleKernel extends EquivalenceKernel
Kernel AK for strong equivalence wrt. admissible, preferred, unchallenged, ideal, semi-stable and eager semantics

An attack (a,b) is redundant iff: a!=b, (a,a) in R, and ((b,a) in R or (b,b) in R)

Author:
Lars Bengel
  • Constructor Details

    • AdmissibleKernel

      public AdmissibleKernel()
  • Method Details

    • getRedundantAttacks

      public Collection<Attack> getRedundantAttacks(DungTheory theory)
      Description copied from class: EquivalenceKernel
      Computes the set of redundant attacks, i.e., all attacks that are removed in order to retrieve the kernel of the given AF
      Specified by:
      getRedundantAttacks in class EquivalenceKernel
      Parameters:
      theory - a dung theory
      Returns:
      the set of redundant attacks