Class SerialisableRankingReasoner
java.lang.Object
org.tweetyproject.arg.rankings.reasoner.AbstractRankingReasoner<LatticePartialOrder<Argument,DungTheory>>
org.tweetyproject.arg.rankings.reasoner.SerialisableRankingReasoner
- All Implemented Interfaces:
ModelProvider<Argument,
,DungTheory, LatticePartialOrder<Argument, DungTheory>> PostulateEvaluatable<Argument>
public class SerialisableRankingReasoner
extends AbstractRankingReasoner<LatticePartialOrder<Argument,DungTheory>>
Implements the serialisable ranking semantics from
[Blümel, Thimm. A Ranking Semantics for Abstract Argumentation based on Serialisability. In COMMA'22, 2022.]
- Author:
- Matthias Thimm
-
Constructor Summary
ConstructorDescriptionCreates a new serialisable ranking reasoner that uses SimpleInitialReasoner for determining initial sets.SerialisableRankingReasoner
(AbstractExtensionReasoner initialSetReasoner) Creates a new serialisable ranking reasoner that uses the given reasoner for determining initial sets (this object should return all initial sets via getModels(). -
Method Summary
Modifier and TypeMethodDescriptiongetModel
(DungTheory bbase) Returns a single (dedicated) model of the given belief base.getModels
(DungTheory bbase) Returns a characterizing model of the given belief baseboolean
-
Constructor Details
-
SerialisableRankingReasoner
public SerialisableRankingReasoner()Creates a new serialisable ranking reasoner that uses SimpleInitialReasoner for determining initial sets. -
SerialisableRankingReasoner
Creates a new serialisable ranking reasoner that uses the given reasoner for determining initial sets (this object should return all initial sets via getModels().- Parameters:
initialSetReasoner
- some initial set reasoner
-
-
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:
bbase
- some belief base- Returns:
- a selected model of the belief base.
-
isInstalled
public boolean isInstalled()- Specified by:
isInstalled
in classAbstractRankingReasoner<LatticePartialOrder<Argument,
DungTheory>>
-