Package org.tweetyproject.arg.rankings.reasoner

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

Constructors

Constructor	Description
SerialisableRankingReasoner()	Creates 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 Type	Method	Description
LatticePartialOrder<Argument,DungTheory>	getModel(DungTheory bbase)	Returns a single (dedicated) model of the given belief base.
Collection<LatticePartialOrder<Argument,DungTheory>>	getModels(DungTheory bbase)	Returns a characterizing model of the given belief base
boolean	isInstalled()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

SerialisableRankingReasoner

public SerialisableRankingReasoner()

Creates a new serialisable ranking reasoner that uses SimpleInitialReasoner for determining initial sets.

SerialisableRankingReasoner

public 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().

Parameters:

initialSetReasoner - some initial set reasoner

Method Details

getModels

public Collection<LatticePartialOrder<Argument,DungTheory>> 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 LatticePartialOrder<Argument,DungTheory> getModel(DungTheory bbase)

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 class AbstractRankingReasoner<LatticePartialOrder<Argument,DungTheory>>