public abstract class AbstractPclReasoner extends java.lang.Object implements QuantitativeReasoner<PclBeliefSet,PropositionalFormula>, ModelProvider<ProbabilisticConditional,PclBeliefSet,ProbabilityDistribution<PossibleWorld>>
Constructor and Description |
---|
AbstractPclReasoner() |
Modifier and Type | Method and Description |
---|---|
abstract ProbabilityDistribution<PossibleWorld> |
getModel(PclBeliefSet beliefbase)
Returns a single (dedicated) model of the given belief base.
|
abstract java.util.Collection<ProbabilityDistribution<PossibleWorld>> |
getModels(PclBeliefSet bbase)
Returns a characterizing model of the given belief base
|
abstract java.lang.Double |
query(PclBeliefSet beliefbase,
PropositionalFormula formula)
Queries the given belief base for the given formula.
|
public abstract java.lang.Double query(PclBeliefSet beliefbase, PropositionalFormula formula)
Reasoner
query
in interface Reasoner<java.lang.Double,PclBeliefSet,PropositionalFormula>
beliefbase
- a belief baseformula
- a formulapublic abstract java.util.Collection<ProbabilityDistribution<PossibleWorld>> getModels(PclBeliefSet bbase)
ModelProvider
getModels
in interface ModelProvider<ProbabilisticConditional,PclBeliefSet,ProbabilityDistribution<PossibleWorld>>
bbase
- some belief basepublic abstract ProbabilityDistribution<PossibleWorld> getModel(PclBeliefSet beliefbase)
ModelProvider
getModel
in interface ModelProvider<ProbabilisticConditional,PclBeliefSet,ProbabilityDistribution<PossibleWorld>>