Class GroundedKernel

java.lang.Object
org.tweetyproject.arg.dung.equivalence.strong.EquivalenceKernel
org.tweetyproject.arg.dung.equivalence.strong.GroundedKernel

public class GroundedKernel extends EquivalenceKernel
Kernel SK = (A, R') for strong equivalence wrt. grounded semantics R' = R \ { (a, b) | a!=b, (b,b) in R, (a,a) in R || (b,a) in R}
Author:
Lars Bengel
  • Constructor Details

    • GroundedKernel

      public GroundedKernel()
  • Method Details