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