Package org.tweetyproject.web.services.paf

Class AbstractPafReasonerFactory

java.lang.Object

org.tweetyproject.web.services.paf.AbstractPafReasonerFactory

public abstract class AbstractPafReasonerFactory
extends Object

Abstract factory for building PAF reasoners and frameworks from web request data.

Field Summary

Fields

Modifier and Type	Field	Description
static final int	DEFAULT_NR_OF_TRIALS	Default number of Monte Carlo trials when none is specified.

Method Summary

Modifier and Type	Method	Description
static ProbabilisticArgumentationFramework	getPaf(int nr_of_arguments, List<Double> argumentProbabilities, List<List<Integer>> attacks, List<Double> attackProbabilities)	Builds a ProbabilisticArgumentationFramework from the given parameters.
static AbstractPafReasoner	getReasoner(Semantics semantics, String solver, int nrOfTrials)	Creates a PAF reasoner for the given semantics and solver selection.
static Semantics[]	getSemantics()	Returns the supported semantics for PAF reasoning (reuses Dung semantics).
static List<String>	getSolvers()	Returns the available solver identifiers.

Methods inherited from class java.lang.Object

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

Field Details

DEFAULT_NR_OF_TRIALS

public static final int DEFAULT_NR_OF_TRIALS

Default number of Monte Carlo trials when none is specified.

See Also:

• Constant Field Values

Method Details

getPaf

public static ProbabilisticArgumentationFramework getPaf(int nr_of_arguments,
 List<Double> argumentProbabilities,
 List<List<Integer>> attacks,
 List<Double> attackProbabilities)

Builds a ProbabilisticArgumentationFramework from the given parameters.

Arguments are named "1", "2", ..., nr_of_arguments. If argumentProbabilities is null or shorter than nr_of_arguments, missing probabilities default to 1.0. Likewise for attackProbabilities.

Parameters:

nr_of_arguments - total number of arguments

argumentProbabilities - existence probability per argument (0-indexed, 1.0 default)

attacks - attack pairs [attacker, attacked] (1-based indices)

attackProbabilities - existence probability per attack (0-indexed, 1.0 default)

Returns:

the constructed PAF

getSemantics

public static Semantics[] getSemantics()

Returns the supported semantics for PAF reasoning (reuses Dung semantics).

Returns:

array of supported Semantics

getSolvers

public static List<String> getSolvers()

Returns the available solver identifiers.

Returns:

list of solver ids

getReasoner

public static AbstractPafReasoner getReasoner(Semantics semantics,
 String solver,
 int nrOfTrials)

Creates a PAF reasoner for the given semantics and solver selection.

Parameters:

semantics - Dung semantics to use

solver - "simple" or "montecarlo"

nrOfTrials - number of Monte Carlo trials (ignored for "simple")

Returns:

the reasoner