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 Summary

Constructors

Constructor	Description
AbstractRankingReasoner()	Default Constructor

Method Summary

Modifier and Type	Method	Description
abstract boolean	isInstalled()	Is installed

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.tweetyproject.commons.ModelProvider

getModel, getModels

Constructor Details

AbstractRankingReasoner

public AbstractRankingReasoner()

Default Constructor

Method Details

isInstalled

public abstract boolean isInstalled()

Is installed

Returns:

is installed status