Class RaAdditionOfAttackBranch
- java.lang.Object
-
- net.sf.tweety.arg.rankings.postulates.RankingPostulate
-
- net.sf.tweety.arg.rankings.postulates.RaAdditionOfAttackBranch
-
public class RaAdditionOfAttackBranch extends RankingPostulate
The "addition of attack branch" postulate for ranking semantics as formalized in [Bonzon, Delobelle, Konieczny, Maudet. A Comparative Study of Ranking-Based Semantics for Abstract Argumentation. 2016]: Adding an attack branch to any argument degrades its ranking. 'Adding an attack branch to the argument A' means adding the arguments {X1, ... , Xn} which are not in the original knowledge base, for whom is true that A <- X1 <- X2 ... <- Xn and where n is an odd number.- Author:
- Anna Gessler
-
-
Field Summary
-
Fields inherited from class net.sf.tweety.arg.rankings.postulates.RankingPostulate
ABSTRACTION, ADDITIONOFATTACKBRANCH, ADDITIONOFDEFENSEBRANCH, ATTACKVSFULLDEFENSE, CARDINALITYPRECEDENCE, COUNTERTRANSITIVITY, DEFENSEPRECEDENCE, DISTDEFENSEPRECEDENCE, INCREASEOFATTACKBRANCH, INCREASEOFDEFENSEBRANCH, INDEPENDENCE, NONATTACKEDEQUIVALENCE, QUALITYPRECEDENCE, SELFCONTRADICTION, STRICTADDITIONOFDEFENSEBRANCH, STRICTCOUNTERTRANSITIVITY, TOTAL, VOIDPRECEDENCE
-
-
Constructor Summary
Constructors Constructor Description RaAdditionOfAttackBranch()
-
Method Summary
Modifier and Type Method Description java.lang.String
getName()
The textual name of the postulateboolean
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).boolean
isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
-
Methods inherited from class net.sf.tweety.arg.rankings.postulates.RankingPostulate
isSatisfied
-
-
-
-
Method Detail
-
getName
public java.lang.String getName()
Description copied from interface:Postulate
The textual name of the postulate- Returns:
- a string
-
isApplicable
public 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>
- Specified by:
isApplicable
in classRankingPostulate
- 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, AbstractRankingReasoner<ArgumentRanking> ev)
- Specified by:
isSatisfied
in classRankingPostulate
-
-