Package net.sf.tweety.arg.prob.reasoner

Class MonteCarloPafReasoner

java.lang.Object

net.sf.tweety.arg.prob.reasoner.AbstractPafReasoner

net.sf.tweety.arg.prob.reasoner.MonteCarloPafReasoner

All Implemented Interfaces:

net.sf.tweety.commons.QuantitativeReasoner<ProbabilisticArgumentationFramework,net.sf.tweety.arg.dung.syntax.Argument>, net.sf.tweety.commons.Reasoner<Double,ProbabilisticArgumentationFramework,net.sf.tweety.arg.dung.syntax.Argument>

public class MonteCarloPafReasoner
extends AbstractPafReasoner

This class implements the Monte Carlo algorithm for estimating probabilities of extensions in probabilistic argumentation frameworks from [Li, Oren, Norman. Probabilistic Argumentation Frameworks. TAFA'2011].

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
MonteCarloPafReasoner(net.sf.tweety.arg.dung.semantics.Semantics semantics, int numberOfTrials)	Creates a new reasoner.

Method Summary

Modifier and Type	Method	Description
Double	query(ProbabilisticArgumentationFramework paf, net.sf.tweety.arg.dung.semantics.Extension ext)	Estimates the probability that the given set of arguments is an extension
Double	query(ProbabilisticArgumentationFramework beliefbase, net.sf.tweety.arg.dung.syntax.Argument formula, net.sf.tweety.commons.InferenceMode inferenceMode)	Queries the given PAF for the given argument using the given inference type.

Methods inherited from class net.sf.tweety.arg.prob.reasoner.AbstractPafReasoner

getSemantics, query

Methods inherited from class java.lang.Object

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

Constructor Detail

MonteCarloPafReasoner

public MonteCarloPafReasoner(net.sf.tweety.arg.dung.semantics.Semantics semantics,
                             int numberOfTrials)

Creates a new reasoner.

Parameters:

semantics - semantics used for determining extensions.

numberOfTrials - The number of runs of the Monte Carlo simulation

Method Detail

query

public Double query(ProbabilisticArgumentationFramework paf,
                    net.sf.tweety.arg.dung.semantics.Extension ext)

Description copied from class: AbstractPafReasoner

Estimates the probability that the given set of arguments is an extension

Specified by:

query in class AbstractPafReasoner

Parameters:

paf - a PAF

ext - some set of arguments

Returns:

the estimated probability of the given set to be an extension

query

public Double query(ProbabilisticArgumentationFramework beliefbase,
                    net.sf.tweety.arg.dung.syntax.Argument formula,
                    net.sf.tweety.commons.InferenceMode inferenceMode)

Description copied from class: AbstractPafReasoner

Queries the given PAF for the given argument using the given inference type.

Specified by:

query in class AbstractPafReasoner

Parameters:

beliefbase - an PAF

formula - a single argument

inferenceMode - either InferenceMode.SKEPTICAL or InferenceMode.CREDULOUS

Returns:

probability of the argument