Package org.tweetyproject.arg.rankings.reasoner

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, SerialisableRankingReasoner, 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()
      Default Constructor

  • Method Details

    • isInstalled

      public abstract boolean isInstalled()
      Is installed
      Returns:
      is installed status

    • getRankingReasonerForSemantics

      public static AbstractRankingReasoner<?> getRankingReasonerForSemantics(RankingSemantics semantics)
      returns the corresponding reasoner for the given semantics
      Parameters:
      semantics - some ranking semantics
      Returns:
      the corresponding reasoner