public class DefaultMeReasoner extends AbstractPclReasoner
Constructor and Description |
---|
DefaultMeReasoner() |
Modifier and Type | Method and Description |
---|---|
ProbabilityDistribution<PossibleWorld> |
getModel(PclBeliefSet beliefbase)
Returns a single (dedicated) model of the given belief base.
|
ProbabilityDistribution<PossibleWorld> |
getModel(PclBeliefSet bs,
PropositionalSignature signature)
Computes the ME-distribution this reasoner bases on.
|
java.util.Collection<ProbabilityDistribution<PossibleWorld>> |
getModels(PclBeliefSet bbase)
Returns a characterizing model of the given belief base
|
java.lang.Double |
query(PclBeliefSet beliefbase,
PropositionalFormula formula)
Queries the given belief base for the given formula.
|
public java.lang.Double query(PclBeliefSet beliefbase, PropositionalFormula formula)
Reasoner
query
in interface Reasoner<java.lang.Double,PclBeliefSet,PropositionalFormula>
query
in class AbstractPclReasoner
beliefbase
- a belief baseformula
- a formulapublic java.util.Collection<ProbabilityDistribution<PossibleWorld>> getModels(PclBeliefSet bbase)
ModelProvider
getModels
in interface ModelProvider<ProbabilisticConditional,PclBeliefSet,ProbabilityDistribution<PossibleWorld>>
getModels
in class AbstractPclReasoner
bbase
- some belief basepublic ProbabilityDistribution<PossibleWorld> getModel(PclBeliefSet beliefbase)
ModelProvider
getModel
in interface ModelProvider<ProbabilisticConditional,PclBeliefSet,ProbabilityDistribution<PossibleWorld>>
getModel
in class AbstractPclReasoner
public ProbabilityDistribution<PossibleWorld> getModel(PclBeliefSet bs, PropositionalSignature signature)
bs
- the belief setsignature
- the signature