Uses of Class
org.tweetyproject.arg.rankings.semantics.ArgumentRanking
Package
Description
-
Uses of ArgumentRanking in org.tweetyproject.arg.rankings.postulates
Modifier and TypeMethodDescriptionboolean
RaAbstraction.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaAdditionOfAttackBranch.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaAdditionOfDefenseBranch.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaAttackVsFullDefense.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaCardinalityPrecedence.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaCounterTransitivity.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaDefensePrecedence.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaDistDefensePrecedence.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaIncreaseOfAttackBranch.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaIncreaseOfDefenseBranch.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaIndependence.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
abstract boolean
RankingPostulate.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaNonAttackedEquivalence.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaQualityPrecedence.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaSelfContradiction.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaStrictAdditionOfDefenseBranch.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaStrictCounterTransitivity.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaTotal.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaVoidPrecedence.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
-
Uses of ArgumentRanking in org.tweetyproject.arg.rankings.reasoner
Modifier and TypeClassDescriptionclass
AbstractRankingReasoner<R extends ArgumentRanking>
Common abstract class for ranking reasoners for abstract argumentation. -
Uses of ArgumentRanking in org.tweetyproject.arg.rankings.semantics
Modifier and TypeClassDescriptionclass
This class models argument ranking by representing the acceptability of arguments in a graph-based structure.class
This class provides an acceptability interpretation of arguments by assigning them real values.Modifier and TypeMethodDescriptionboolean
ArgumentRanking.isEquivalent(ArgumentRanking other, Collection<Argument> args)
Checks whether this ranking is equivalent to the other one wrt. -
Uses of ArgumentRanking in org.tweetyproject.arg.rankings.util
Modifier and TypeMethodDescriptionstatic ArgumentRanking
RankingTools.roundRanking(NumericalArgumentRanking ranking, int n)
Rounds values in the given numerical argument ranking to n decimals.