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

Class BurdenBasedRankingReasoner

java.lang.Object

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

net.sf.tweety.arg.rankings.reasoner.BurdenBasedRankingReasoner

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

This class implements the "Burden-based" argument semantics approach as proposed by [Amgoud, Ben-Naim. Ranking-based semantics for argumentation frameworks. 2013]. It assigns a "Burden number" to every argument.

Author:

Anna Gessler

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
class	BurdenBasedRankingReasoner.LexicographicTupleComparator	Compares burden numbers according to the lexicographic ordering.

Constructor Summary

Constructors

Constructor	Description
BurdenBasedRankingReasoner()

Method Summary

Modifier and Type	Method	Description
LatticeArgumentRanking	getModel(net.sf.tweety.arg.dung.syntax.DungTheory base)
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

BurdenBasedRankingReasoner

public BurdenBasedRankingReasoner()

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