Class AbstractRankingReasoner<R extends GeneralComparator<Argument,DungTheory>>

java.lang.Object
org.tweetyproject.arg.rankings.reasoner.AbstractRankingReasoner<R>
Type Parameters:
R - the type of ranking
All Implemented Interfaces:
ModelProvider<Argument,DungTheory,R>, PostulateEvaluatable<Argument>
Direct Known Subclasses:
BurdenBasedRankingReasoner, CategorizerRankingReasoner, CounterTransitivityReasoner, CountingRankingReasoner, DiscussionBasedRankingReasoner, IteratedGradedDefenseReasoner, ProbabilisticRankingReasoner, PropagationRankingReasoner, SAFRankingReasoner, StrategyBasedRankingReasoner, TuplesRankingReasoner

public abstract class AbstractRankingReasoner<R extends GeneralComparator<Argument,DungTheory>> extends Object implements ModelProvider<Argument,DungTheory,R>, PostulateEvaluatable<Argument>
Common abstract class for ranking reasoners for abstract argumentation. Currently, the available ranking types are:
- Numerical Ranking: Arguments are assigned numerical values. Acceptability follows from some order that is opposed on those values.
- Lattice Ranking: The acceptability of the arguments is represented by a graph-based structure.
Author:
Anna Gessler
  • Constructor Details

    • AbstractRankingReasoner

      public AbstractRankingReasoner()
  • Method Details

    • isInstalled

      public abstract boolean isInstalled()