Package org.tweetyproject.arg.prob.reasoner

Class AbstractPafReasoner

java.lang.Object

org.tweetyproject.arg.prob.reasoner.AbstractPafReasoner

All Implemented Interfaces:

QuantitativeReasoner<ProbabilisticArgumentationFramework,Argument>, Reasoner<Double,ProbabilisticArgumentationFramework,Argument>

Direct Known Subclasses:

MonteCarloPafReasoner, SimplePafReasoner

public abstract class AbstractPafReasoner
extends 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 Double	query(ProbabilisticArgumentationFramework paf, Extension ext)	Estimates the probability that the given set of arguments is an extension
Double	query(ProbabilisticArgumentationFramework beliefbase, Argument formula)	Queries the given belief base for the given formula.
abstract 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

Methods inherited from interface org.tweetyproject.commons.QuantitativeReasoner

isInstalled

Constructor Details

AbstractPafReasoner

public AbstractPafReasoner(Semantics semantics)

Creates a new reasoner.

Parameters:

semantics - Semantics for plain AAFs.

Method Details

query

public 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<Double,ProbabilisticArgumentationFramework,Argument>

Parameters:

beliefbase - a belief base

formula - a formula

Returns:

the answer to the query

query

public abstract 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 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