Package org.tweetyproject.arg.prob.reasoner

Class AbstractPafReasoner

java.lang.Object

org.tweetyproject.arg.prob.reasoner.AbstractPafReasoner

All Implemented Interfaces:

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

Direct Known Subclasses:

MonteCarloPafReasoner, SimplePafReasoner

public abstract class AbstractPafReasoner
extends java.lang.Object
implements QuantitativeReasoner<ProbabilisticArgumentationFramework,Argument>

Abstract anecestor for PAF reasoner.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
AbstractPafReasoner(Semantics semantics)	Creates a new reasoner.

Method Summary

Modifier and Type	Method	Description
abstract java.lang.Double	query(ProbabilisticArgumentationFramework paf, Extension ext)	Estimates the probability that the given set of arguments is an extension
java.lang.Double	query(ProbabilisticArgumentationFramework beliefbase, Argument formula)	Queries the given belief base for the given formula.
abstract java.lang.Double	query(ProbabilisticArgumentationFramework beliefbase, Argument formula, InferenceMode inferenceMode)	Queries the given PAF for the given argument using the given inference type.

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractPafReasoner

public AbstractPafReasoner(Semantics semantics)

Creates a new reasoner.

Parameters:

semantics - Semantics for plain AAFs.

Method Detail

query

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

Description copied from interface: Reasoner

Queries the given belief base for the given formula.

Specified by:

query in interface Reasoner<java.lang.Double,ProbabilisticArgumentationFramework,Argument>

Parameters:

beliefbase - a belief base

formula - a formula

Returns:

the answer to the query

query

public abstract java.lang.Double query(ProbabilisticArgumentationFramework beliefbase,
                                       Argument formula,
                                       InferenceMode inferenceMode)

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

Parameters:

beliefbase - an PAF

formula - a single argument

inferenceMode - either InferenceMode.SKEPTICAL or InferenceMode.CREDULOUS

Returns:

probability of the argument

query

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

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

Parameters:

paf - a PAF

ext - some set of arguments

Returns:

the estimated probability of the given set to be an extension