public class MonteCarloPafReasoner extends AbstractPafReasoner
Modifier and Type | Field and Description |
---|---|
private int |
numberOfTrials
The number of runs of the Monte Carlo simulation.
|
Constructor and Description |
---|
MonteCarloPafReasoner(Semantics semantics,
int numberOfTrials)
Creates a new reasoner.
|
Modifier and Type | Method and Description |
---|---|
java.lang.Double |
query(ProbabilisticArgumentationFramework beliefbase,
Argument formula,
int inferencetype)
Queries the given PAF for the given argument using the given
inference type.
|
java.lang.Double |
query(ProbabilisticArgumentationFramework paf,
Extension ext)
Estimates the probability that the given set of
arguments is an extension
|
getSemantics, query
private int numberOfTrials
public MonteCarloPafReasoner(Semantics semantics, int numberOfTrials)
semantics
- semantics used for determining extensions.numberOfTrials
- The number of runs of the Monte Carlo simulationinferenceType
- The inference type used for estimating acceptability probability
of single arguments (credulous or skeptical inference).public java.lang.Double query(ProbabilisticArgumentationFramework paf, Extension ext)
AbstractPafReasoner
query
in class AbstractPafReasoner
ext
- some set of argumentspublic java.lang.Double query(ProbabilisticArgumentationFramework beliefbase, Argument formula, int inferencetype)
AbstractPafReasoner
query
in class AbstractPafReasoner
beliefbase
- an PAFformula
- a single argument