Class AbstractPclReasoner
java.lang.Object
org.tweetyproject.logics.pcl.reasoner.AbstractPclReasoner
- All Implemented Interfaces:
ModelProvider<ProbabilisticConditional,PclBeliefSet,ProbabilityDistribution<PossibleWorld>>
,QuantitativeReasoner<PclBeliefSet,PlFormula>
,Reasoner<Double,PclBeliefSet,PlFormula>
- Direct Known Subclasses:
DefaultMeReasoner
,GeneralizedMeReasoner
public abstract class AbstractPclReasoner
extends Object
implements QuantitativeReasoner<PclBeliefSet,PlFormula>, ModelProvider<ProbabilisticConditional,PclBeliefSet,ProbabilityDistribution<PossibleWorld>>
Abstract class for all PCL reasoners.
- Author:
- Matthias Thimm
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionabstract ProbabilityDistribution<PossibleWorld>
getModel(PclBeliefSet beliefbase)
Returns a single (dedicated) model of the given belief base.abstract Collection<ProbabilityDistribution<PossibleWorld>>
getModels(PclBeliefSet bbase)
Returns a characterizing model of the given belief baseabstract Double
query(PclBeliefSet beliefbase, PlFormula formula)
Queries the given belief base for the given formula.
-
Constructor Details
-
AbstractPclReasoner
public AbstractPclReasoner()
-
-
Method Details
-
query
Description copied from interface:Reasoner
Queries the given belief base for the given formula.- Specified by:
query
in interfaceReasoner<Double,PclBeliefSet,PlFormula>
- Parameters:
beliefbase
- a belief baseformula
- a formula- Returns:
- the answer to the query
-
getModels
Description copied from interface:ModelProvider
Returns a characterizing model of the given belief base- Specified by:
getModels
in interfaceModelProvider<ProbabilisticConditional,PclBeliefSet,ProbabilityDistribution<PossibleWorld>>
- Parameters:
bbase
- some belief base- Returns:
- the (selected) models of the belief base
-
getModel
Description copied from interface:ModelProvider
Returns a single (dedicated) model of the given belief base. If the implemented method allows for more than one dedicated model, the selection may be non-deterministic.- Specified by:
getModel
in interfaceModelProvider<ProbabilisticConditional,PclBeliefSet,ProbabilityDistribution<PossibleWorld>>
- Parameters:
beliefbase
- some belief base- Returns:
- a selected model of the belief base.
-