Package org.tweetyproject.arg.rankings.reasoner

Class CounterTransitivityReasoner

java.lang.Object
org.tweetyproject.arg.rankings.reasoner.AbstractRankingReasoner<LatticeArgumentRanking>
org.tweetyproject.arg.rankings.reasoner.CounterTransitivityReasoner
All Implemented Interfaces:
ModelProvider<Argument,DungTheory,LatticeArgumentRanking>, PostulateEvaluatable<Argument>
public class CounterTransitivityReasoner extends AbstractRankingReasoner<LatticeArgumentRanking>
This class implements the argument ranking approach of [Pu, Luo, Ranking Arguments based on Counter-Transitivity 2017].
Author:
Sebastian Franke

  • Constructor Details

  • Method Details

    • getModels

      public Collection<LatticeArgumentRanking> getModels(DungTheory bbase)
      Description copied from interface: ModelProvider
      Returns a characterizing model of the given belief base
      Parameters:
      bbase - some belief base
      Returns:
      the (selected) models of the belief base

    • getModel

      public LatticeArgumentRanking getModel(DungTheory bbase)
      Description copied from interface: ModelProvider
      Returns a single (dedicated) model of the given belief base. If the implemented method allows for more than one dedicated model, the selection may be non-deterministic.
      Parameters:
      bbase - some belief base
      Returns:
      a selected model of the belief base.

    • cardinality

      public LatticeArgumentRanking cardinality(DungTheory af)
      orders arguments after the amount of attackers they have. The less attackers, the higher the rank

    • quality

      public LatticeArgumentRanking quality(DungTheory af, LatticeArgumentRanking ra)
      ranks arguments according to a given ranking. It decides the highest ranked attacker of each argument wrt the underlying ranking and then ranks them after their best attacker

    • qualityFirst

      public LatticeArgumentRanking qualityFirst(DungTheory af, LatticeArgumentRanking ra)
      ranks arguments according to the quality function. If 2 arguments have the same avlue according to quality, the decsision is left to cardinality

    • cardinalityFirst

      public LatticeArgumentRanking cardinalityFirst(DungTheory af, LatticeArgumentRanking ra)
      ranks arguments according to the cardinality function. If 2 arguments have the same value according to cardinality, the decision is left to quality

    • gfpCardinality

      public LatticeArgumentRanking gfpCardinality(DungTheory af)
      calculates the greatest fix point. First the quality is computed based on a ranking that only ranks unattacked arguments higher than the rest. Based on this ranking a cardinality first ranking is constructed. Based on this new ranking a quality ranking is constructed. This process is repeated until two consecutive iterations of cardinality first reach the same conclusion

    • simpleDominance

      public LatticeArgumentRanking simpleDominance(DungTheory af, LatticeArgumentRanking ra)
      only ranks two arguments if one is better according to quality and cardinality

    • isInstalled

      public boolean isInstalled()
      natively installed
      Specified by:
      isInstalled in class AbstractRankingReasoner<LatticeArgumentRanking>