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

Class AbstractPafReasoner

java.lang.Object

net.sf.tweety.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

Field Summary

Fields

Modifier and Type	Field	Description
private Semantics	semantics	Semantics for plain AAFs.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
protected Semantics	getSemantics()	The semantics of this reasoner.
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

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

Field Detail

semantics

private Semantics semantics

Semantics for plain AAFs.

Constructor Detail

AbstractPafReasoner

public AbstractPafReasoner(Semantics semantics)

Creates a new reasoner.

Parameters:

semantics - Semantics for plain AAFs.

Method Detail

getSemantics

protected Semantics getSemantics()

The semantics of this reasoner.

Returns:

The semantics of this reasoner.

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