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

Class AbstractPafReasoner

java.lang.Object

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

All Implemented Interfaces:

net.sf.tweety.commons.QuantitativeReasoner<ProbabilisticArgumentationFramework,net.sf.tweety.arg.dung.syntax.Argument>, net.sf.tweety.commons.Reasoner<Double,ProbabilisticArgumentationFramework,net.sf.tweety.arg.dung.syntax.Argument>

Direct Known Subclasses:

MonteCarloPafReasoner, SimplePafReasoner

public abstract class AbstractPafReasoner
extends Object
implements net.sf.tweety.commons.QuantitativeReasoner<ProbabilisticArgumentationFramework,net.sf.tweety.arg.dung.syntax.Argument>

Abstract anecestor for PAF reasoner.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
AbstractPafReasoner(net.sf.tweety.arg.dung.semantics.Semantics semantics)	Creates a new reasoner.

Method Summary

Modifier and Type	Method	Description
protected net.sf.tweety.arg.dung.semantics.Semantics	getSemantics()	The semantics of this reasoner.
abstract Double	query(ProbabilisticArgumentationFramework paf, net.sf.tweety.arg.dung.semantics.Extension ext)	Estimates the probability that the given set of arguments is an extension
Double	query(ProbabilisticArgumentationFramework beliefbase, net.sf.tweety.arg.dung.syntax.Argument formula)
abstract Double	query(ProbabilisticArgumentationFramework beliefbase, net.sf.tweety.arg.dung.syntax.Argument formula, net.sf.tweety.commons.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

Constructor Detail

AbstractPafReasoner

public AbstractPafReasoner(net.sf.tweety.arg.dung.semantics.Semantics semantics)

Creates a new reasoner.

Parameters:

semantics - Semantics for plain AAFs.

Method Detail

getSemantics

protected net.sf.tweety.arg.dung.semantics.Semantics getSemantics()

The semantics of this reasoner.

Returns:

The semantics of this reasoner.

query

public Double query(ProbabilisticArgumentationFramework beliefbase,
                    net.sf.tweety.arg.dung.syntax.Argument formula)

Specified by:

query in interface net.sf.tweety.commons.Reasoner<Double,ProbabilisticArgumentationFramework,net.sf.tweety.arg.dung.syntax.Argument>

query

public abstract Double query(ProbabilisticArgumentationFramework beliefbase,
                             net.sf.tweety.arg.dung.syntax.Argument formula,
                             net.sf.tweety.commons.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,
                             net.sf.tweety.arg.dung.semantics.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