Class RankingPostulate
java.lang.Object
org.tweetyproject.arg.rankings.postulates.RankingPostulate
- Direct Known Subclasses:
RaAbstraction
,RaAdditionOfAttackBranch
,RaAdditionOfDefenseBranch
,RaAttackVsFullDefense
,RaCardinalityPrecedence
,RaCounterTransitivity
,RaDefensePrecedence
,RaDistDefensePrecedence
,RaIncreaseOfAttackBranch
,RaIncreaseOfDefenseBranch
,RaIndependence
,RaNonAttackedEquivalence
,RaQualityPrecedence
,RaSelfContradiction
,RaStrictAdditionOfDefenseBranch
,RaStrictCounterTransitivity
,RaTotal
,RaVoidPrecedence
An abstract postulate for ranking-based semantics in abstract argumentation;
the ancestor of all concrete postulates.
- Author:
- Anna Gessler, Matthias Thimm
-
Field Summary
Modifier and TypeFieldDescriptionstatic RankingPostulate
The ABSTRACTION postulatestatic RankingPostulate
The ADDITIONOFATTACKBRANCH postulatestatic RankingPostulate
The ADDITIONOFDEFENSEBRANCH postulatestatic RankingPostulate
The ATTACKVSFULLDEFENSE postulatestatic RankingPostulate
The CARDINALITYPRECEDENCE postulatestatic RankingPostulate
The COUNTERTRANSITIVITY postulatestatic RankingPostulate
The DEFENSEPRECEDENCE postulatestatic RankingPostulate
The DISTDEFENSEPRECEDENCE postulatestatic RankingPostulate
The INCREASEOFATTACKBRANCH postulatestatic RankingPostulate
The INCREASEOFDEFENSEBRANCH postulatestatic RankingPostulate
The INDEPENDENCE postulatestatic RankingPostulate
The NONATTACKEDEQUIVALENCE postulatestatic RankingPostulate
The QUALITYPRECEDENCE postulatestatic RankingPostulate
The SELFCONTRADICTION postulatestatic RankingPostulate
The STRICTADDITIONOFDEFENSEBRANCH postulatestatic RankingPostulate
The STRICTCOUNTERTRANSITIVITY postulatestatic RankingPostulate
The TOTAL postulatestatic RankingPostulate
The VOIDPRECEDENCE postulate -
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionabstract boolean
isApplicable(Collection<Argument> kb)
Checks whether the given kb represents a non-trivial instance for this postulate, i.e., whether assumptions of this postulates are satisfied (evaluating an approach on a non-applicable instance always succeeds).abstract boolean
boolean
isSatisfied(Collection<Argument> kb, PostulateEvaluatable<Argument> ev)
Checks whether this postulate is satisfied by the given approachev
wrt.
-
Field Details
-
ABSTRACTION
The ABSTRACTION postulate -
ADDITIONOFATTACKBRANCH
The ADDITIONOFATTACKBRANCH postulate -
ADDITIONOFDEFENSEBRANCH
The ADDITIONOFDEFENSEBRANCH postulate -
ATTACKVSFULLDEFENSE
The ATTACKVSFULLDEFENSE postulate -
CARDINALITYPRECEDENCE
The CARDINALITYPRECEDENCE postulate -
COUNTERTRANSITIVITY
The COUNTERTRANSITIVITY postulate -
DEFENSEPRECEDENCE
The DEFENSEPRECEDENCE postulate -
DISTDEFENSEPRECEDENCE
The DISTDEFENSEPRECEDENCE postulate -
INCREASEOFATTACKBRANCH
The INCREASEOFATTACKBRANCH postulate -
INCREASEOFDEFENSEBRANCH
The INCREASEOFDEFENSEBRANCH postulate -
INDEPENDENCE
The INDEPENDENCE postulate -
NONATTACKEDEQUIVALENCE
The NONATTACKEDEQUIVALENCE postulate -
QUALITYPRECEDENCE
The QUALITYPRECEDENCE postulate -
SELFCONTRADICTION
The SELFCONTRADICTION postulate -
STRICTCOUNTERTRANSITIVITY
The STRICTCOUNTERTRANSITIVITY postulate -
STRICTADDITIONOFDEFENSEBRANCH
The STRICTADDITIONOFDEFENSEBRANCH postulate -
TOTAL
The TOTAL postulate -
VOIDPRECEDENCE
The VOIDPRECEDENCE postulate
-
-
Constructor Details
-
RankingPostulate
public RankingPostulate()
-
-
Method Details
-
isApplicable
Description copied from interface:Postulate
Checks whether the given kb represents a non-trivial instance for this postulate, i.e., whether assumptions of this postulates are satisfied (evaluating an approach on a non-applicable instance always succeeds).- Specified by:
isApplicable
in interfacePostulate<Argument>
- Parameters:
kb
- some knowledge base- Returns:
- true if the knowledge base is a non trivial instance of this postulate.
-
isSatisfied
Description copied from interface:Postulate
Checks whether this postulate is satisfied by the given approachev
wrt. the given instancekb
(note that evaluating an approach on a non-applicable instance always succeeds).- Specified by:
isSatisfied
in interfacePostulate<Argument>
- Parameters:
kb
- some knowledge baseev
- some approach- Returns:
- true if the postulate is satisfied on the instance
-
isSatisfied
public abstract boolean isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
-