Class RankingPostulate
- java.lang.Object
-
- net.sf.tweety.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
public abstract class RankingPostulate extends java.lang.Object implements Postulate<Argument>
An abstract postulate for ranking-based semantics in abstract argumentation; the ancestor of all concrete postulates.- Author:
- Anna Gessler, Matthias Thimm
-
-
Field Summary
Fields Modifier and Type Field Description static RankingPostulate
ABSTRACTION
The ABSTRACTION postulatestatic RankingPostulate
ADDITIONOFATTACKBRANCH
The ADDITIONOFATTACKBRANCH postulatestatic RankingPostulate
ADDITIONOFDEFENSEBRANCH
The ADDITIONOFDEFENSEBRANCH postulatestatic RankingPostulate
ATTACKVSFULLDEFENSE
The ATTACKVSFULLDEFENSE postulatestatic RankingPostulate
CARDINALITYPRECEDENCE
The CARDINALITYPRECEDENCE postulatestatic RankingPostulate
COUNTERTRANSITIVITY
The COUNTERTRANSITIVITY postulatestatic RankingPostulate
DEFENSEPRECEDENCE
The DEFENSEPRECEDENCE postulatestatic RankingPostulate
DISTDEFENSEPRECEDENCE
The DISTDEFENSEPRECEDENCE postulatestatic RankingPostulate
INCREASEOFATTACKBRANCH
The INCREASEOFATTACKBRANCH postulatestatic RankingPostulate
INCREASEOFDEFENSEBRANCH
The INCREASEOFDEFENSEBRANCH postulatestatic RankingPostulate
INDEPENDENCE
The INDEPENDENCE postulatestatic RankingPostulate
NONATTACKEDEQUIVALENCE
The NONATTACKEDEQUIVALENCE postulatestatic RankingPostulate
QUALITYPRECEDENCE
The QUALITYPRECEDENCE postulatestatic RankingPostulate
SELFCONTRADICTION
The SELFCONTRADICTION postulatestatic RankingPostulate
STRICTADDITIONOFDEFENSEBRANCH
The STRICTADDITIONOFDEFENSEBRANCH postulatestatic RankingPostulate
STRICTCOUNTERTRANSITIVITY
The STRICTCOUNTERTRANSITIVITY postulatestatic RankingPostulate
TOTAL
The TOTAL postulatestatic RankingPostulate
VOIDPRECEDENCE
The VOIDPRECEDENCE postulate
-
Constructor Summary
Constructors Constructor Description RankingPostulate()
-
Method Summary
Modifier and Type Method Description abstract boolean
isApplicable(java.util.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
isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
isSatisfied(java.util.Collection<Argument> kb, PostulateEvaluatable<Argument> ev)
Checks whether this postulate is satisfied by the given approachev
wrt.
-
-
-
Field Detail
-
ABSTRACTION
public static final RankingPostulate ABSTRACTION
The ABSTRACTION postulate
-
ADDITIONOFATTACKBRANCH
public static final RankingPostulate ADDITIONOFATTACKBRANCH
The ADDITIONOFATTACKBRANCH postulate
-
ADDITIONOFDEFENSEBRANCH
public static final RankingPostulate ADDITIONOFDEFENSEBRANCH
The ADDITIONOFDEFENSEBRANCH postulate
-
ATTACKVSFULLDEFENSE
public static final RankingPostulate ATTACKVSFULLDEFENSE
The ATTACKVSFULLDEFENSE postulate
-
CARDINALITYPRECEDENCE
public static final RankingPostulate CARDINALITYPRECEDENCE
The CARDINALITYPRECEDENCE postulate
-
COUNTERTRANSITIVITY
public static final RankingPostulate COUNTERTRANSITIVITY
The COUNTERTRANSITIVITY postulate
-
DEFENSEPRECEDENCE
public static final RankingPostulate DEFENSEPRECEDENCE
The DEFENSEPRECEDENCE postulate
-
DISTDEFENSEPRECEDENCE
public static final RankingPostulate DISTDEFENSEPRECEDENCE
The DISTDEFENSEPRECEDENCE postulate
-
INCREASEOFATTACKBRANCH
public static final RankingPostulate INCREASEOFATTACKBRANCH
The INCREASEOFATTACKBRANCH postulate
-
INCREASEOFDEFENSEBRANCH
public static final RankingPostulate INCREASEOFDEFENSEBRANCH
The INCREASEOFDEFENSEBRANCH postulate
-
INDEPENDENCE
public static final RankingPostulate INDEPENDENCE
The INDEPENDENCE postulate
-
NONATTACKEDEQUIVALENCE
public static final RankingPostulate NONATTACKEDEQUIVALENCE
The NONATTACKEDEQUIVALENCE postulate
-
QUALITYPRECEDENCE
public static final RankingPostulate QUALITYPRECEDENCE
The QUALITYPRECEDENCE postulate
-
SELFCONTRADICTION
public static final RankingPostulate SELFCONTRADICTION
The SELFCONTRADICTION postulate
-
STRICTCOUNTERTRANSITIVITY
public static final RankingPostulate STRICTCOUNTERTRANSITIVITY
The STRICTCOUNTERTRANSITIVITY postulate
-
STRICTADDITIONOFDEFENSEBRANCH
public static final RankingPostulate STRICTADDITIONOFDEFENSEBRANCH
The STRICTADDITIONOFDEFENSEBRANCH postulate
-
TOTAL
public static final RankingPostulate TOTAL
The TOTAL postulate
-
VOIDPRECEDENCE
public static final RankingPostulate VOIDPRECEDENCE
The VOIDPRECEDENCE postulate
-
-
Method Detail
-
isApplicable
public abstract boolean isApplicable(java.util.Collection<Argument> kb)
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
public boolean isSatisfied(java.util.Collection<Argument> kb, PostulateEvaluatable<Argument> ev)
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(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
-
-