Class RaAbstraction
java.lang.Object
org.tweetyproject.arg.rankings.postulates.RankingPostulate
org.tweetyproject.arg.rankings.postulates.RaAbstraction
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 should be defined only on the
basics of the attacks between arguments.
- Author:
- Anna Gessler
-
Field Summary
Fields inherited from class org.tweetyproject.arg.rankings.postulates.RankingPostulate
ABSTRACTION, ADDITIONOFATTACKBRANCH, ADDITIONOFDEFENSEBRANCH, ATTACKVSFULLDEFENSE, CARDINALITYPRECEDENCE, COUNTERTRANSITIVITY, DEFENSEPRECEDENCE, DISTDEFENSEPRECEDENCE, INCREASEOFATTACKBRANCH, INCREASEOFDEFENSEBRANCH, INDEPENDENCE, NONATTACKEDEQUIVALENCE, QUALITYPRECEDENCE, SELFCONTRADICTION, STRICTADDITIONOFDEFENSEBRANCH, STRICTCOUNTERTRANSITIVITY, TOTAL, VOIDPRECEDENCE
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptiongetName()
The textual name of the postulateboolean
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
(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) Methods inherited from class org.tweetyproject.arg.rankings.postulates.RankingPostulate
isSatisfied
-
Constructor Details
-
RaAbstraction
public RaAbstraction()
-
-
Method Details
-
getName
Description copied from interface:Postulate
The textual name of the postulate- Returns:
- a string
-
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>
- 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(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) - Specified by:
isSatisfied
in classRankingPostulate
-