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()	Is installed

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

Description copied from class: AbstractRankingReasoner

Is installed

Specified by:

isInstalled in class AbstractRankingReasoner<LatticePartialOrder<Argument,DungTheory>>

Returns:

is installed status