Class SimplePafReasoner
java.lang.Object
org.tweetyproject.arg.prob.reasoner.AbstractPafReasoner
org.tweetyproject.arg.prob.reasoner.SimplePafReasoner
- All Implemented Interfaces:
QuantitativeReasoner<ProbabilisticArgumentationFramework,
,Argument> Reasoner<Double,
ProbabilisticArgumentationFramework, Argument>
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
-
Method Summary
Modifier and TypeMethodDescriptionboolean
Estimates the probability that the given set of arguments is an extensionquery
(ProbabilisticArgumentationFramework beliefbase, Argument formula, InferenceMode inferenceMode) Queries the given PAF for the given argument using the given inference type.Methods inherited from class org.tweetyproject.arg.prob.reasoner.AbstractPafReasoner
query
-
Constructor Details
-
SimplePafReasoner
Creates a new reasoner.- Parameters:
semantics
- semantics used for determining extensions.
-
-
Method Details
-
query
Estimates the probability that the given set of arguments is an extension- Specified by:
query
in classAbstractPafReasoner
- Parameters:
paf
- a PAFext
- some set of arguments- Returns:
- the estimated probability of the given set to be an extension
-
query
public 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
-
isInstalled
public boolean isInstalled()- Returns:
- if reasoner is installed
-