Uses of Class
org.tweetyproject.arg.rankings.reasoner.AbstractRankingReasoner
Package
Description
-
Uses of AbstractRankingReasoner 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 AbstractRankingReasoner in org.tweetyproject.arg.rankings.reasoner
Modifier and TypeClassDescriptionclass
This class implements the "Burden-based" argument semantics approach as proposed by [Amgoud, Ben-Naim.class
This class implements the "h-categorizer" argument ranking approach that was originally proposed by [Besnard, Hunter.class
This class implements the argument ranking approach of [Pu, Luo, Ranking Arguments based on Counter-Transitivity 2017].class
This class implements the argument ranking approach of [Pu, Zhang, G.Luo, J.Luo.class
This class implements the "Discussion-based" argument semantics approach as proposed by [Amgoud, Ben-Naim.class
This class implements the argument ranking approach of [Grossi, Modgil.class
Implements a graded semantics reasoner based on the ideas from [Thimm, Cerutti, Rienstra.class
This class implements the argument ranking approach of [Delobelle.class
This class implements the social abstract argumentation approach as proposed by [Bonzon, Delobelle, Konieczny, Maudet.class
This class implements the argument ranking approach of [Matt, Toni.class
This class implements the "tuples*" argument ranking approach as proposed by [Cayrol, Lagasquie-Schiex.