Class StrongEquivalence

java.lang.Object
org.tweetyproject.arg.dung.equivalence.StrongEquivalence

public class StrongEquivalence extends Object
Models strong equivalence wrt. to a given kernel
Author:
Lars Bengel
  • Constructor Details

    • StrongEquivalence

      public StrongEquivalence(EquivalenceKernel kernel)
      initialize Equivalence with the given kernel
      Parameters:
      kernel - an equivalence kernel
  • Method Details

    • isStronglyEquivalent

      public boolean isStronglyEquivalent(DungTheory theory1, DungTheory theory2)
      compute whether the given theories are equivalent wrt. the kernel
      Parameters:
      theory1 - a dung theory
      theory2 - a dung theory
      Returns:
      true if both theories are equivalent wrt. to the kernel
    • isStronglyEquivalent

      public boolean isStronglyEquivalent(Collection<DungTheory> theories)
      compute whether the given theories are equivalent wrt. the kernel
      Parameters:
      theories - a collection of dung theories
      Returns:
      true if all theories are equivalent wrt. to the kernel
    • getStronglyEquivalentTheories

      public Collection<DungTheory> getStronglyEquivalentTheories(DungTheory theory)
      compute all strongly equivalent theories for the the given theory i.e. get all useless attacks of theory and use them to create other strongly equivalent theories
      Parameters:
      theory - a dung theory
      Returns:
      the collection of strongly equivalent theories
    • getStronglyEquivalentTheoriesNaive

      public Collection<DungTheory> getStronglyEquivalentTheoriesNaive(DungTheory baseTheory)
      compute all strongly equivalent theories for the given theory i.e. enumerate all theories and compare to the base theory
      Parameters:
      baseTheory - a dung theory
      Returns:
      collection of strongly equivalent theories