Class ExtensionRankingReasoner

java.lang.Object
org.tweetyproject.arg.dung.reasoner.ExtensionRankingReasoner

public class ExtensionRankingReasoner extends Object
Reasoner for ordering semantics
Author:
Lars Bengel, Daniel Letkemann
  • Constructor Details

  • Method Details

    • getSemantics

      public ExtensionRankingSemantics getSemantics()
      get the semantic of OrderingSemanticsReasoner instance
      Returns:
      OrderingSemantics enum that was used for creating the reasoner
    • getModel

      returns the lowest rank of the "getModels" method
      Parameters:
      theory - a dung theory
      Returns:
      the list of extensions in the best rank
      Throws:
      InvocationTargetException - should never happen
      IllegalAccessException - should never happen
    • getModels

      compute the ordering over all subsets of theory wrt. to the ordering semantics this is done by making several comparisons (in lexicographic order) of Base Functions applied to Extensions this implies a total order that is sorted and split into ranks in the end. LOWER levels are ranked BETTER (Ascending order) !!!two extensions in one rank are either equally ranked or incomparable. !!!thus an extension placed in a better rank does not necessarily mean it is better than all the extensions in the rank below
      Parameters:
      theory - a dung theory
      Returns:
      a list representing the ordering of all subsets of the given graph wrt. the ordering semantics (ascending order)
      Throws:
      InvocationTargetException - should never happen
      IllegalAccessException - should never happen
    • getConflicts

      public Extension<DungTheory> getConflicts(Extension<DungTheory> ext, DungTheory theory)
      computes the set of conflicts occurring inside ext
      Parameters:
      ext - an extension
      theory - a dung theory
      Returns:
      set of conflict in ext
    • getUndefended

      public Extension<DungTheory> getUndefended(Extension<DungTheory> ext, DungTheory theory)
      computes the set of arguments in ext, which are not defended by ext against outside attackers
      Parameters:
      ext - an extension
      theory - a dung theory
      Returns:
      set of arguments in ext which are not defended by ext
    • getUnattacked

      public Extension<DungTheory> getUnattacked(Extension<DungTheory> ext, DungTheory theory)
      computes the set of arguments outside of ext, which are not attacked by ext
      Parameters:
      ext - an extension
      theory - a dung theory
      Returns:
      set of arguments in theory \ ext which are not attacked by ext
    • getDefendedNotIn

      public Extension<DungTheory> getDefendedNotIn(Extension<DungTheory> ext, DungTheory theory)
      computes the set of arguments outside of ext, which are defended by ext
      Parameters:
      ext - an extension
      theory - a dung theory
      Returns:
      set of arguments in theory \ ext which are defended by ext
    • isInstalled

      public boolean isInstalled()
      Returns:
      this method always returns true because the solver is native