Package net.sf.tweety.arg.prob.reasoner
Class SimplePafReasoner
- java.lang.Object
-
- net.sf.tweety.arg.prob.reasoner.AbstractPafReasoner
-
- net.sf.tweety.arg.prob.reasoner.SimplePafReasoner
-
- All Implemented Interfaces:
QuantitativeReasoner<ProbabilisticArgumentationFramework,Argument>
,Reasoner<java.lang.Double,ProbabilisticArgumentationFramework,Argument>
public class SimplePafReasoner extends AbstractPafReasoner
This class implements a naive algorithm for computing probabilities of extensions in probabilistic argumentation frameworks from [Li, Oren, Norman. Probabilistic Argumentation Frameworks. TAFA'2011]. It considers all subgraphs and computes therefore exact probabilities- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description SimplePafReasoner(Semantics semantics)
Creates a new reasoner.
-
Method Summary
Modifier and Type Method Description 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, InferenceMode inferenceMode)
Queries the given PAF for the given argument using the given inference type.-
Methods inherited from class net.sf.tweety.arg.prob.reasoner.AbstractPafReasoner
query
-
-
-
-
Constructor Detail
-
SimplePafReasoner
public SimplePafReasoner(Semantics semantics)
Creates a new reasoner.- Parameters:
semantics
- semantics used for determining extensions.
-
-
Method Detail
-
query
public java.lang.Double query(ProbabilisticArgumentationFramework paf, Extension ext)
Estimates the probability that the given set of arguments is an extension- Specified by:
query
in classAbstractPafReasoner
- Parameters:
ext
- some set of argumentspaf
- a PAF- Returns:
- the estimated probability of the given set to be an extension
-
query
public java.lang.Double query(ProbabilisticArgumentationFramework beliefbase, Argument formula, InferenceMode inferenceMode)
Description copied from class:AbstractPafReasoner
Queries the given PAF for the given argument using the given inference type.- Specified by:
query
in classAbstractPafReasoner
- Parameters:
beliefbase
- an PAFformula
- a single argumentinferenceMode
- either InferenceMode.SKEPTICAL or InferenceMode.CREDULOUS- Returns:
- probability of the argument
-
-