Uses of Class
net.sf.tweety.arg.rankings.semantics.ArgumentRanking
-
Packages that use ArgumentRanking Package Description net.sf.tweety.arg.rankings.examples net.sf.tweety.arg.rankings.postulates net.sf.tweety.arg.rankings.reasoner net.sf.tweety.arg.rankings.semantics -
-
Uses of ArgumentRanking in net.sf.tweety.arg.rankings.examples
Methods in net.sf.tweety.arg.rankings.examples that return ArgumentRanking Modifier and Type Method Description private static ArgumentRanking
RankingSemanticsExample. roundRanking(NumericalArgumentRanking ranking, int n)
Rounds values in the given numerical argument ranking to n decimals. -
Uses of ArgumentRanking in net.sf.tweety.arg.rankings.postulates
Method parameters in net.sf.tweety.arg.rankings.postulates with type arguments of type ArgumentRanking Modifier and Type Method Description boolean
RaAbstraction. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaAdditionOfAttackBranch. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaAdditionOfDefenseBranch. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaAttackVsFullDefense. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaCardinalityPrecedence. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaCounterTransitivity. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaDefensePrecedence. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaDistDefensePrecedence. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaIncreaseOfAttackBranch. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaIncreaseOfDefenseBranch. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaIndependence. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
abstract boolean
RankingPostulate. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaNonAttackedEquivalence. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaQualityPrecedence. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaSelfContradiction. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaStrictAdditionOfDefenseBranch. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaStrictCounterTransitivity. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaTotal. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaVoidPrecedence. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
-
Uses of ArgumentRanking in net.sf.tweety.arg.rankings.reasoner
Classes in net.sf.tweety.arg.rankings.reasoner with type parameters of type ArgumentRanking Modifier and Type Class Description class
AbstractRankingReasoner<R extends ArgumentRanking>
Common abstract class for ranking reasoners for abstract argumentation. -
Uses of ArgumentRanking in net.sf.tweety.arg.rankings.semantics
Subclasses of ArgumentRanking in net.sf.tweety.arg.rankings.semantics Modifier and Type Class Description class
LatticeArgumentRanking
This class models argument ranking by representing the acceptability of arguments in a graph-based structure.class
NumericalArgumentRanking
This class provides a acceptability interpretation of arguments by assigning them real values where larger values indicate more acceptability.Methods in net.sf.tweety.arg.rankings.semantics with parameters of type ArgumentRanking Modifier and Type Method Description boolean
ArgumentRanking. isEquivalent(ArgumentRanking other, java.util.Collection<Argument> args)
Checks whether this ranking is equivalent to the other one wrt.
-