Package org.tweetyproject.arg.rankings.reasoner

Class ProbabilisticRankingReasoner

java.lang.Object

org.tweetyproject.arg.rankings.reasoner.AbstractRankingReasoner<NumericalPartialOrder<Argument,DungTheory>>

org.tweetyproject.arg.rankings.reasoner.ProbabilisticRankingReasoner

All Implemented Interfaces:

ModelProvider<Argument,DungTheory,NumericalPartialOrder<Argument,DungTheory>>, PostulateEvaluatable<Argument>

public class ProbabilisticRankingReasoner
extends AbstractRankingReasoner<NumericalPartialOrder<Argument,DungTheory>>

Implements a graded semantics reasoner based on the ideas from [Thimm, Cerutti, Rienstra. Probabilistic Graded Semantics. COMMA 2018].

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field	Description
static int	NUMBER_OF_TRIALS	Number of trials for the used monte carlo search (this is a factor multiplied with the number of arguments of the actual framework)

Constructor Summary

Constructors

Constructor	Description
ProbabilisticRankingReasoner(Semantics sem, Probability p, boolean exactInference)	Creates a new ProbabilisticRankingReasoner.
ProbabilisticRankingReasoner(Semantics sem, Probability p, boolean exactInference, InferenceMode mode)	Constructs a new instance of ProbabilisticRankingReasoner with the specified parameters.

Method Summary

Modifier and Type	Method	Description
NumericalPartialOrder<Argument,DungTheory>	getModel(DungTheory aaf)	Returns a single (dedicated) model of the given belief base.
Collection<NumericalPartialOrder<Argument,DungTheory>>	getModels(DungTheory bbase)	Returns a characterizing model of the given belief base
boolean	isInstalled()	natively installed

Methods inherited from class java.lang.Object

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

Field Details

NUMBER_OF_TRIALS

public static int NUMBER_OF_TRIALS

Number of trials for the used monte carlo search (this is a factor multiplied with the number of arguments of the actual framework)

Constructor Details

ProbabilisticRankingReasoner

public ProbabilisticRankingReasoner(Semantics sem,
 Probability p,
 boolean exactInference)

Creates a new ProbabilisticRankingReasoner.

Parameters:

sem - The classical semantics used for evaluating subgraphs

p - The probability used for all arguments to instantiate a probabilistic argumentation framework

exactInference - Whether to use exact inference.

ProbabilisticRankingReasoner

public ProbabilisticRankingReasoner(Semantics sem,
 Probability p,
 boolean exactInference,
 InferenceMode mode)

Constructs a new instance of ProbabilisticRankingReasoner with the specified parameters.

Parameters:

sem - The semantics used for reasoning. This defines the criteria or rules for evaluating the arguments in the framework.

p - The probability threshold to be used in the ranking process. This defines the minimum probability value considered for ranking.

exactInference - A boolean flag indicating whether exact inference should be used. If true, the reasoner will use exact inference methods; otherwise, approximate methods may be used.

mode - The inference mode to be applied. This specifies the approach or method used for performing inference in the reasoning process.

See Also:

• Semantics
• Probability
• InferenceMode

Method Details

getModels

public Collection<NumericalPartialOrder<Argument,DungTheory>> 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 NumericalPartialOrder<Argument,DungTheory> getModel(DungTheory aaf)

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:

aaf - some belief base

Returns:

a selected model of the belief base.

isInstalled

public boolean isInstalled()

natively installed

Specified by:

isInstalled in class AbstractRankingReasoner<NumericalPartialOrder<Argument,DungTheory>>

Returns:

is installed status