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
-
-
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 extensionjava.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.
-
-
-
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 interfaceReasoner<java.lang.Double,ProbabilisticArgumentationFramework,Argument>
- Parameters:
beliefbase
- a belief baseformula
- 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 PAFformula
- a single argumentinferenceMode
- 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 PAFext
- some set of arguments- Returns:
- the estimated probability of the given set to be an extension
-
-