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

Class DiscussionBasedRankingReasoner

java.lang.Object

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

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

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 DiscussionBasedRankingReasoner
extends AbstractRankingReasoner<LatticeArgumentRanking>

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
LatticeArgumentRanking	getModel(net.sf.tweety.arg.dung.syntax.DungTheory kb)
Collection<LatticeArgumentRanking>	getModels(net.sf.tweety.arg.dung.syntax.DungTheory bbase)
int	getNumberOfPathsOfLength(net.sf.tweety.arg.dung.syntax.DungTheory base, net.sf.tweety.arg.dung.syntax.Argument a, int i)	Returns the number of linear discussions of the given length in the given DungTheory for the given argument.
HashSet<ArrayList<net.sf.tweety.arg.dung.syntax.Argument>>	getPathsOfHigherSize(HashSet<ArrayList<net.sf.tweety.arg.dung.syntax.Argument>> old_paths, net.sf.tweety.arg.dung.syntax.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 Collection<LatticeArgumentRanking> getModels(net.sf.tweety.arg.dung.syntax.DungTheory bbase)

getModel

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

getNumberOfPathsOfLength

public int getNumberOfPathsOfLength(net.sf.tweety.arg.dung.syntax.DungTheory base,
                                    net.sf.tweety.arg.dung.syntax.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 HashSet<ArrayList<net.sf.tweety.arg.dung.syntax.Argument>> getPathsOfHigherSize(HashSet<ArrayList<net.sf.tweety.arg.dung.syntax.Argument>> old_paths,
                                                                                       net.sf.tweety.arg.dung.syntax.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