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

Class DiscussionBasedRankingReasoner

java.lang.Object

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

net.sf.tweety.arg.rankings.reasoner.DiscussionBasedRankingReasoner

All Implemented Interfaces:

ModelProvider<Argument,DungTheory,NumericalArgumentRanking>, PostulateEvaluatable<Argument>

public class DiscussionBasedRankingReasoner
extends AbstractRankingReasoner<NumericalArgumentRanking>

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

Method Summary

Modifier and Type	Method	Description
NumericalArgumentRanking	getModel(DungTheory base)	Returns a single (dedicated) model of the given belief base.
java.util.Collection<NumericalArgumentRanking>	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.
java.util.HashSet<java.util.ArrayList<Argument>>	getPathsOfHigherSize(java.util.HashSet<java.util.ArrayList<Argument>> old_paths, DungTheory base)	Given a set of argument paths of length i-1, this method returns a set of argument paths of length i for the given DungTheory.

Methods inherited from class java.lang.Object

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

Constructor Detail

DiscussionBasedRankingReasoner

public DiscussionBasedRankingReasoner()

Method Detail

getModels

public java.util.Collection<NumericalArgumentRanking> 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 NumericalArgumentRanking getModel(DungTheory base)

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:

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

getPathsOfHigherSize

public java.util.HashSet<java.util.ArrayList<Argument>> getPathsOfHigherSize(java.util.HashSet<java.util.ArrayList<Argument>> old_paths,
                                                                             DungTheory base)

Given a set of argument paths of length i-1, this method returns a set of argument paths of length i for the given DungTheory.

Parameters:

old_paths - set of paths of length i-1

base - the DungTheory

Returns:

a set of paths of length i