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

Class CategorizerRankingReasoner

java.lang.Object

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

net.sf.tweety.arg.rankings.reasoner.CategorizerRankingReasoner

All Implemented Interfaces:

net.sf.tweety.commons.ModelProvider<net.sf.tweety.arg.dung.syntax.Argument,net.sf.tweety.arg.dung.syntax.DungTheory,NumericalArgumentRanking>, net.sf.tweety.commons.postulates.PostulateEvaluatable<net.sf.tweety.arg.dung.syntax.Argument>

public class CategorizerRankingReasoner
extends AbstractRankingReasoner<NumericalArgumentRanking>

This class implements the "h-categorizer" argument ranking approach that was originally proposed by [Besnard, Hunter. A logic-based theory of deductive arguments. 2001] for deductive logics. It uses the Fixed-point algorithm of [Pu, Zhang, Luo, Luo. Argument Ranking with Categoriser Function. KSEM 2014] which allows for cycles in argumentation graphs.

Author:

Anna Gessler

See Also:

HCategorizer

Constructor Summary

Constructors

Constructor	Description
CategorizerRankingReasoner()

Method Summary

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

CategorizerRankingReasoner

public CategorizerRankingReasoner()

Method Detail

getModels

public Collection<NumericalArgumentRanking> getModels(net.sf.tweety.arg.dung.syntax.DungTheory bbase)

getModel

public NumericalArgumentRanking getModel(net.sf.tweety.arg.dung.syntax.DungTheory base)