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

Class PropagationRankingReasoner

java.lang.Object

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

net.sf.tweety.arg.rankings.reasoner.PropagationRankingReasoner

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

This class implements the argument ranking approach of [Delobelle. Ranking- based Semantics for Abstract Argumentation. Thesis, 2017] In this approach, initial values are assigned to arguments and then propagated into the graph. The paper describes three different ways of computing a ranking out of the propagation vector.

Author:

Anna Gessler

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	PropagationRankingReasoner.PropagationSemantics	The three propagation semantics: PROPAGATION1 ("Propa_epsilon") PROPAGATION2 ("Propa_{1+epsilon}") PROPAGATION3 ("Propa_{1->epsilon}")

Constructor Summary

Constructors

Constructor	Description
PropagationRankingReasoner(boolean use_multiset)	Creates a new PropagationRankingReasoner with the given parameters.
PropagationRankingReasoner(double attacked_arguments_influence, boolean use_multiset, PropagationRankingReasoner.PropagationSemantics semantics)	Creates a new PropagationRankingReasoner with the given parameters.

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)

Methods inherited from class java.lang.Object

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

Constructor Detail

PropagationRankingReasoner

public PropagationRankingReasoner(boolean use_multiset)

Creates a new PropagationRankingReasoner with the given parameters.

Parameters:

use_multiset - determines whether the multiset (M) of attackers/defenders of length is used instead of the set (S)

PropagationRankingReasoner

public PropagationRankingReasoner(double attacked_arguments_influence,
                                  boolean use_multiset,
                                  PropagationRankingReasoner.PropagationSemantics semantics)

Creates a new PropagationRankingReasoner with the given parameters.

Parameters:

attacked_arguments_influence - the smaller this value is, the more important is the influence of the non-attacked arguments.

use_multiset - determines whether the multiset (M) of attackers/defenders of length is used instead of the set (S)

semantics - one of the three propagation semantics

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)