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, NaivePafReasoner

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 and Description
private Semantics	semantics Semantics for plain AAFs.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
protected Semantics	getSemantics() The semantics of this reasoner.
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, int inferencetype) Queries the given PAF for the given argument using the given inference type.
abstract java.lang.Double	query(ProbabilisticArgumentationFramework paf, Extension ext) Estimates the probability that the given set of arguments is an extension

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,
                                       int inferencetype)

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

Parameters:

beliefbase - an PAF

formula - a single argument

inferenceType - either Semantics.SCEPTICAL_INFERENCE or Semantics.CREDULOUS_INFERENCE

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:

ext - some set of arguments

Returns:

the estimated probability of the given set to be an extension