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.Doublequery(ProbabilisticArgumentationFramework paf, Extension ext)Estimates the probability that the given set of arguments is an extensionjava.lang.Doublequery(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
getSemantics, 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:
queryin 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:AbstractPafReasonerQueries the given PAF for the given argument using the given inference type.- Specified by:
queryin classAbstractPafReasoner- Parameters:
beliefbase- an PAFformula- a single argumentinferenceMode- either InferenceMode.SKEPTICAL or InferenceMode.CREDULOUS- Returns:
- probability of the argument
-
-