Class StrongEquivalence


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

      • StrongEquivalence

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

      • 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​(java.util.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 java.util.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 java.util.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