Package org.tweetyproject.arg.rankings.reasoner

Class TuplesRankingReasoner

java.lang.Object

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

org.tweetyproject.arg.rankings.reasoner.TuplesRankingReasoner

All Implemented Interfaces:

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

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

This class implements the "tuples*" argument ranking approach as proposed by [Cayrol, Lagasquie-Schiex. Graduality in argumentation. 2005]. It takes into account all the ancestors branches of an arguument stored in tupled values. Some arguments are incomparable using this approach; this means that it returns partial rankings.

Note: This implementation only works for acyclic argument graphs. For cyclic graphs null is returned.

Author:

Anna Gessler

Constructor Summary

Constructors

Constructor	Description
TuplesRankingReasoner()	Default Constructor

Method Summary

Modifier and Type	Method	Description
Pair<int[],int[]>	computeTupledValue(Argument a, DungTheory kb)	Computes the tupled value for the given argument.
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
Map<Argument,Pair<int[],int[]>>	getTupledValues()	Return the tupled values computed by previous calls of getModel
boolean	isInstalled()	natively installed
String	prettyPrintTupledValues()	Prints the tupled values computed by previous calls of getModel oder getModels in a human-readable way.

Methods inherited from class java.lang.Object

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

Constructor Details

TuplesRankingReasoner

public TuplesRankingReasoner()

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.

computeTupledValue

public Pair<int[],int[]> computeTupledValue(Argument a,
 DungTheory kb)

Computes the tupled value for the given argument.

Parameters:

a - an argument

kb - DungTheory

Returns:

a pair that consists of the two tuples that represent the defense (first tuple) and attack (second tuple) branches of a.

getTupledValues

public Map<Argument,Pair<int[],int[]>> getTupledValues()

Return the tupled values computed by previous calls of getModel

Returns:

the tupled values computed by previous calls of getModel oder getModels

prettyPrintTupledValues

public String prettyPrintTupledValues()

Prints the tupled values computed by previous calls of getModel oder getModels in a human-readable way.

Returns:

a string representation of the tuples

isInstalled

public boolean isInstalled()

natively installed

Specified by:

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

Returns:

is installed status