Class RankingPostulate
- java.lang.Object
-
- net.sf.tweety.arg.rankings.postulates.RankingPostulate
-
- Direct Known Subclasses:
RaAbstraction
,RaAdditionOfAttackBranch
,RaAdditionOfDefenseBranch
,RaAttackVsFullDefense
,RaCardinalityPrecedence
,RaIndependence
,RaNonAttackedEquivalence
,RaQualityPrecedence
,RaSelfContradiction
,RaStrictAdditionOfDefenseBranch
,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
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
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)
The INCREASEOFDEFENSEBRANCH postulateabstract 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
-
INDEPENDENCE
public static final RankingPostulate INDEPENDENCE
The INDEPENDENCE postulate
-
VOIDPRECEDENCE
public static final RankingPostulate VOIDPRECEDENCE
The VOIDPRECEDENCE postulate
-
SELFCONTRADICTION
public static final RankingPostulate SELFCONTRADICTION
The SELFCONTRADICTION postulate
-
CARDINALITYPRECEDENCE
public static final RankingPostulate CARDINALITYPRECEDENCE
The CARDINALITYPRECEDENCE postulate
-
TOTAL
public static final RankingPostulate TOTAL
The TOTAL postulate
-
NONATTACKEDEQUIVALENCE
public static final RankingPostulate NONATTACKEDEQUIVALENCE
The NONATTACKEDEQUIVALENCE postulate
-
QUALITYPRECEDENCE
public static final RankingPostulate QUALITYPRECEDENCE
The QUALITYPRECEDENCE postulate
-
ATTACKVSFULLDEFENSE
public static final RankingPostulate ATTACKVSFULLDEFENSE
The ATTACKVSFULLDEFENSE postulate
-
STRICTADDITIONOFDEFENSEBRANCH
public static final RankingPostulate STRICTADDITIONOFDEFENSEBRANCH
The STRICTADDITIONOFDEFENSEBRANCH postulate
-
ADDITIONOFDEFENSEBRANCH
public static final RankingPostulate ADDITIONOFDEFENSEBRANCH
The ADDITIONOFDEFENSEBRANCH postulate
-
ADDITIONOFATTACKBRANCH
public static final RankingPostulate ADDITIONOFATTACKBRANCH
The ADDITIONOFATTACKBRANCH postulate
-
-
Method Detail
-
isApplicable
public abstract boolean isApplicable(java.util.Collection<Argument> kb)
The INCREASEOFDEFENSEBRANCH postulate- 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)
-
-