Class BurdenBasedRankingReasoner
java.lang.Object
org.tweetyproject.arg.rankings.reasoner.AbstractRankingReasoner<LatticePartialOrder<Argument,DungTheory>>
org.tweetyproject.arg.rankings.reasoner.BurdenBasedRankingReasoner
- All Implemented Interfaces:
ModelProvider<Argument,
,DungTheory, LatticePartialOrder<Argument, DungTheory>> PostulateEvaluatable<Argument>
public class BurdenBasedRankingReasoner
extends AbstractRankingReasoner<LatticePartialOrder<Argument,DungTheory>>
This class implements the "Burden-based" argument semantics approach as
proposed by [Amgoud, Ben-Naim. Ranking-based semantics for argumentation
frameworks. 2013]. It assigns a "Burden number" to every argument.
- Author:
- Anna Gessler
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptiongetModel
(DungTheory base) Returns a single (dedicated) model of the given belief base.getModels
(DungTheory bbase) Returns a characterizing model of the given belief baseboolean
natively installed
-
Constructor Details
-
BurdenBasedRankingReasoner
public BurdenBasedRankingReasoner()Default Constructor
-
-
Method Details
-
getModels
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
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:
base
- some belief base- Returns:
- a selected model of the belief base.
-
isInstalled
public boolean isInstalled()natively installed- Specified by:
isInstalled
in classAbstractRankingReasoner<LatticePartialOrder<Argument,
DungTheory>> - Returns:
- is installed status
-