Package net.sf.tweety.arg.rankings.reasoner

Class TuplesRankingReasoner

java.lang.Object

net.sf.tweety.arg.rankings.reasoner.AbstractRankingReasoner<LatticeArgumentRanking>

net.sf.tweety.arg.rankings.reasoner.TuplesRankingReasoner

All Implemented Interfaces:

net.sf.tweety.commons.ModelProvider<net.sf.tweety.arg.dung.syntax.Argument,net.sf.tweety.arg.dung.syntax.DungTheory,LatticeArgumentRanking>, net.sf.tweety.commons.postulates.PostulateEvaluatable<net.sf.tweety.arg.dung.syntax.Argument>

public class TuplesRankingReasoner
extends AbstractRankingReasoner<LatticeArgumentRanking>

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, i.e. it generates partial rankings.

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

Author:

Anna Gessler

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
class	TuplesRankingReasoner.LexicographicTupleComparator	Compares tuples according to the lexicographic ordering as described in [Cayrol, Lagasquie-Schiex.

Constructor Summary

Constructors

Constructor	Description
TuplesRankingReasoner()

Method Summary

Modifier and Type	Method	Description
net.sf.tweety.commons.util.Pair<int[],int[]>	computeTupledValue(net.sf.tweety.arg.dung.syntax.Argument a, net.sf.tweety.arg.dung.syntax.DungTheory kb)	Computes the tupled value for the given argument.
LatticeArgumentRanking	getModel(net.sf.tweety.arg.dung.syntax.DungTheory kb)
Collection<LatticeArgumentRanking>	getModels(net.sf.tweety.arg.dung.syntax.DungTheory bbase)
Map<net.sf.tweety.arg.dung.syntax.Argument,net.sf.tweety.commons.util.Pair<int[],int[]>>	getTupledValues()
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

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

Constructor Detail

TuplesRankingReasoner

public TuplesRankingReasoner()

Method Detail

getModels

public Collection<LatticeArgumentRanking> getModels(net.sf.tweety.arg.dung.syntax.DungTheory bbase)

getModel

public LatticeArgumentRanking getModel(net.sf.tweety.arg.dung.syntax.DungTheory kb)

computeTupledValue

public net.sf.tweety.commons.util.Pair<int[],int[]> computeTupledValue(net.sf.tweety.arg.dung.syntax.Argument a,
                                                                             net.sf.tweety.arg.dung.syntax.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<net.sf.tweety.arg.dung.syntax.Argument,net.sf.tweety.commons.util.Pair<int[],int[]>> getTupledValues()

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