Class DiscussionBasedRankingReasoner
- java.lang.Object
-
- net.sf.tweety.arg.rankings.reasoner.AbstractRankingReasoner<LatticeArgumentRanking>
-
- net.sf.tweety.arg.rankings.reasoner.DiscussionBasedRankingReasoner
-
- All Implemented Interfaces:
ModelProvider<Argument,DungTheory,LatticeArgumentRanking>
,PostulateEvaluatable<Argument>
public class DiscussionBasedRankingReasoner extends AbstractRankingReasoner<LatticeArgumentRanking>
This class implements the "Discussion-based" argument semantics approach as proposed by [Amgoud, Ben-Naim. Ranking-based semantics for argumentation frameworks. 2013]. It compares arguments by counting the number of paths ending to to them. If some arguments are equivalent wrt. to their number of direct attackers, the size of paths is increased recursively until a difference is found.- Author:
- Anna Gessler
-
-
Constructor Summary
Constructors Constructor Description DiscussionBasedRankingReasoner()
-
Method Summary
Modifier and Type Method Description LatticeArgumentRanking
getModel(DungTheory kb)
Returns a single (dedicated) model of the given belief base.java.util.Collection<LatticeArgumentRanking>
getModels(DungTheory bbase)
Returns a characterizing model of the given belief baseint
getNumberOfPathsOfLength(DungTheory base, Argument a, int i)
Returns the number of linear discussions of the given length in the given DungTheory for the given argument.
-
-
-
Method Detail
-
getModels
public java.util.Collection<LatticeArgumentRanking> getModels(DungTheory bbase)
Description copied from interface:ModelProvider
Returns a characterizing model of the given belief base- Parameters:
bbase
- some belief base- Returns:
- the (selected) models of the belief base
-
getModel
public LatticeArgumentRanking getModel(DungTheory kb)
Description copied from interface:ModelProvider
Returns a single (dedicated) model of the given belief base. If the implemented method allows for more than one dedicated model, the selection may be non-deterministic.- Parameters:
kb
- some belief base- Returns:
- a selected model of the belief base.
-
getNumberOfPathsOfLength
public int getNumberOfPathsOfLength(DungTheory base, Argument a, int i)
Returns the number of linear discussions of the given length in the given DungTheory for the given argument.- Parameters:
base
- the abstract argumentation frameworka
- an argumenti
- length of linear discussions- Returns:
- the number of linear discussions of the given length
-
-