net.sf.tweety.arg.prob.reasoner

Class NaivePafReasoner

java.lang.Object

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

net.sf.tweety.arg.prob.reasoner.NaivePafReasoner

All Implemented Interfaces:

QuantitativeReasoner<ProbabilisticArgumentationFramework,Argument>, Reasoner<java.lang.Double,ProbabilisticArgumentationFramework,Argument>

public class NaivePafReasoner
extends AbstractPafReasoner

This class implements naive algorithm for computing probabilities of extensions in probabilistic argumentation frameworks from [Li, Oren, Norman. Probabilistic Argumentation Frameworks. TAFA'2011]. It considers all subgraphs and computes therefore exact probabilities

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
NaivePafReasoner(Semantics semantics) Creates a new reasoner.

Method Summary

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

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

NaivePafReasoner

public NaivePafReasoner(Semantics semantics)

Creates a new reasoner.

Parameters:

semantics - semantics used for determining extensions.

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

Method Detail

query

public java.lang.Double query(ProbabilisticArgumentationFramework paf,
                              Extension ext)

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

Specified by:

query in class AbstractPafReasoner

Parameters:

ext - some set of arguments

Returns:

the estimated probability of the given set to be an extension

query

public java.lang.Double query(ProbabilisticArgumentationFramework beliefbase,
                              Argument formula,
                              int inferencetype)

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

Returns:

probability of the argument