Class RaAbstraction
- java.lang.Object
-
- net.sf.tweety.arg.rankings.postulates.RankingPostulate
-
- net.sf.tweety.arg.rankings.postulates.RaAbstraction
-
public class RaAbstraction extends RankingPostulate
The "abstraction" postulate for ranking semantics as proposed in [Amgoud, Ben-Naim. Ranking-based semantics for argumentation frameworks. 2013]: The ranking on an abstract argumentation framework A should be defined only on the basics of the attacks between arguments.- 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 RaAbstraction()
-
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
-
-