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

Class TuplesRankingReasoner

java.lang.Object

net.sf.tweety.arg.rankings.reasoner.AbstractRankingReasoner<net.sf.tweety.arg.dung.semantics.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,net.sf.tweety.arg.dung.semantics.LatticeArgumentRanking>, net.sf.tweety.commons.postulates.PostulateEvaluatable<net.sf.tweety.arg.dung.syntax.Argument>

public class TuplesRankingReasoner
extends AbstractRankingReasoner<net.sf.tweety.arg.dung.semantics.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.

Notes on this implementation:
- This implementation only works for acyclic argument graphs. For cyclic graphs an empty ranking is returned.
- This reasoner generates partial rankings because some arguments are incomparable using this approach.

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.
net.sf.tweety.arg.dung.semantics.LatticeArgumentRanking	getModel(net.sf.tweety.arg.dung.syntax.DungTheory kb)
Collection<net.sf.tweety.arg.dung.semantics.LatticeArgumentRanking>	getModels(net.sf.tweety.arg.dung.syntax.DungTheory bbase)

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<net.sf.tweety.arg.dung.semantics.LatticeArgumentRanking> getModels(net.sf.tweety.arg.dung.syntax.DungTheory bbase)

getModel

public net.sf.tweety.arg.dung.semantics.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.