Class NormalExpansionEquivalence

java.lang.Object
org.tweetyproject.arg.dung.equivalence.StrongEquivalence
org.tweetyproject.arg.dung.equivalence.NormalExpansionEquivalence
All Implemented Interfaces:
Equivalence<DungTheory>
public class NormalExpansionEquivalence extends StrongEquivalence
This class defines normal expansion equivalence for argumentation frameworks wrt. some semantics, i.e., two AFs F andG are strong expansion equivalent iff they possess the same set of extensions wrt. the semantics when conjoined with some AF H that only adds arguments and attacks that involve at least one new argument. Can be characterized by a syntactic kernel and is actually equivalent to strong equivalence wrt. the respective semantics.
Author:
Lars Bengel
See Also:
  • "Baumann, Ringo. 'Normal and strong expansion equivalence for argumentation frameworks.' Artificial Intelligence 193 (2012): 18-44."

  • Constructor Details

    • NormalExpansionEquivalence

      public NormalExpansionEquivalence(Semantics semantics)
      Initialize Normal Expansion Equivalence for the given semantics
      Parameters:
      semantics - some semantics

    • NormalExpansionEquivalence

      public NormalExpansionEquivalence(EquivalenceKernel kernel)
      Initialize Normal Expansion Equivalence with the given kernel
      Parameters:
      kernel - an equivalence kernel