Class NormalDeletionEquivalence

java.lang.Object
org.tweetyproject.arg.dung.equivalence.NormalDeletionEquivalence
All Implemented Interfaces:
Equivalence<DungTheory>
public class NormalDeletionEquivalence extends Object implements Equivalence<DungTheory>
This class defines normal deletion equivalence for argumentation frameworks wrt. some semantics, i.e., two AFs F and G are normal deletion equivalent iff they possess the same set of extensions wrt. the semantics under every normal deletion. A normal deletion deletes a set of arguments together with all their corresponding attacks.
Author:
Lars Bengel
See Also:
  • "Ringo Baumann. 'Context-free and context-sensitive kernels: Update and deletion equivalence in abstract argumentation' ECAI14 (2014) pp. 63–68"

  • Constructor Details

    • NormalDeletionEquivalence

      public NormalDeletionEquivalence(Semantics semantics)
      Initializes a new instance of this equivalence wrt. the given semantics
      Parameters:
      semantics - some semantics

  • Method Details

    • isEquivalent

      public boolean isEquivalent(DungTheory obj1, DungTheory obj2)
      Description copied from interface: Equivalence
      Checks whether the specified objects are equivalent
      Specified by:
      isEquivalent in interface Equivalence<DungTheory>
      Parameters:
      obj1 - an object of type T
      obj2 - an object of type T
      Returns:
      true, iff both object are equivalent wrt. this equivalence notion

    • isEquivalent

      public boolean isEquivalent(Collection<DungTheory> objects)
      Description copied from interface: Equivalence
      Checks whether the specified collection of objects are pairwise equivalent
      Specified by:
      isEquivalent in interface Equivalence<DungTheory>
      Parameters:
      objects - A collection of objects of type T
      Returns:
      true, iff all objects are equivalent wrt. this equivalence notion

    • getName

      public String getName()
      Description copied from interface: Equivalence
      Return the name of this equivalence notion
      Specified by:
      getName in interface Equivalence<DungTheory>
      Returns:
      name of this equivalence notion

    • isNormalDeletionEquivalent

      public static boolean isNormalDeletionEquivalent(DungTheory theory1, DungTheory theory2, Semantics semantics)
      Naively checks whether two AFs are normal deletion equivalence by comparing the extensions of every normal deletion
      Parameters:
      theory1 - some argumentation framework
      theory2 - some argumentation framework
      semantics - some semantics
      Returns:
      'true' iff both AFs are normal deletion equivalent under the given semantics