net.sf.tweety.arg.prob

Class MonteCarloPafReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.arg.prob.MonteCarloPafReasoner

public class MonteCarloPafReasoner
extends Reasoner

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

Field Summary

Fields

Modifier and Type	Field and Description
private int	inferenceType The inference type used for estimating acceptability probability of single arguments (credulous or skeptical inference).
private int	numberOfTrials The number of runs of the Monte Carlo simulation.
private Semantics	semantics Semantics for plain AAFs.

Constructor Summary

Constructors

Constructor and Description
MonteCarloPafReasoner(ProbabilisticArgumentationFramework aaf, Semantics semantics, int inferenceType, int numberOfTrials) Creates a new reasoner for the given framework

Method Summary

Modifier and Type	Method and Description
Probability	query(Extension ext) Estimates the probability that the given set of arguments is an extension
Answer	query(Formula query) This method determines the answer of the given query wrt.

Methods inherited from class net.sf.tweety.commons.Reasoner

getKnowledgeBase

Methods inherited from class java.lang.Object

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

Field Detail

semantics

private Semantics semantics

Semantics for plain AAFs.

numberOfTrials

private int numberOfTrials

The number of runs of the Monte Carlo simulation.

inferenceType

private int inferenceType

The inference type used for estimating acceptability probability of single arguments (credulous or skeptical inference).

Constructor Detail

MonteCarloPafReasoner

public MonteCarloPafReasoner(ProbabilisticArgumentationFramework aaf,
                             Semantics semantics,
                             int inferenceType,
                             int numberOfTrials)

Creates a new reasoner for the given framework

Parameters:

aaf - some probabilistic argumentation framework

semantics - semantics used for determining extensions.

numberOfTrials - The number of runs of the Monte Carlo simulation

inferenceType - The inference type used for estimating acceptability probability of single arguments (credulous or skeptical inference).

Method Detail

query

public Answer query(Formula query)

Description copied from class: Reasoner

This method determines the answer of the given query wrt. to the given knowledge base.

Specified by:

query in class Reasoner

Parameters:

query - a query.

Returns:

the answer to the query.

query

public Probability query(Extension ext)

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

Parameters:

ext - some set of arguments

Returns:

the estimated probability of the given set to be an extension