Package org.tweetyproject.arg.rankings.reasoner

Class DiscussionBasedRankingReasoner

java.lang.Object

org.tweetyproject.arg.rankings.reasoner.AbstractRankingReasoner<LatticePartialOrder<Argument,DungTheory>>

org.tweetyproject.arg.rankings.reasoner.DiscussionBasedRankingReasoner

All Implemented Interfaces:

ModelProvider<Argument,DungTheory,LatticePartialOrder<Argument,DungTheory>>, PostulateEvaluatable<Argument>

public class DiscussionBasedRankingReasoner
extends AbstractRankingReasoner<LatticePartialOrder<Argument,DungTheory>>

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

Method Summary

Modifier and Type	Method	Description
LatticePartialOrder<Argument,DungTheory>	getModel(DungTheory kb)	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
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.
boolean	isInstalled()	natively installed

Methods inherited from class java.lang.Object

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

Constructor Details

DiscussionBasedRankingReasoner

public DiscussionBasedRankingReasoner()

Default Constructor

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 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 framework

a - an argument

i - length of linear discussions

Returns:

the number of linear discussions of the given length

isInstalled

public boolean isInstalled()

natively installed

Specified by:

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

Returns:

is installed status