Package net.sf.tweety.logics.cl.reasoner
Class AbstractConditionalLogicReasoner
- java.lang.Object
-
- net.sf.tweety.logics.cl.reasoner.AbstractConditionalLogicReasoner
-
- All Implemented Interfaces:
ModelProvider<Conditional,ClBeliefSet,RankingFunction>
,QualitativeReasoner<ClBeliefSet,PlFormula>
,Reasoner<java.lang.Boolean,ClBeliefSet,PlFormula>
- Direct Known Subclasses:
CReasoner
,RuleBasedCReasoner
,SimpleCReasoner
,ZReasoner
public abstract class AbstractConditionalLogicReasoner extends java.lang.Object implements QualitativeReasoner<ClBeliefSet,PlFormula>, ModelProvider<Conditional,ClBeliefSet,RankingFunction>
Abstract ancestor for all reasoner for conditional logic.- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description AbstractConditionalLogicReasoner()
-
Method Summary
Modifier and Type Method 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 basejava.lang.Boolean
query(ClBeliefSet beliefbase, PlFormula formula)
Queries the given belief base for the given formula.
-
-
-
Method Detail
-
query
public java.lang.Boolean query(ClBeliefSet beliefbase, PlFormula formula)
Description copied from interface:Reasoner
Queries the given belief base for the given formula.- Specified by:
query
in interfaceQualitativeReasoner<ClBeliefSet,PlFormula>
- Specified by:
query
in interfaceReasoner<java.lang.Boolean,ClBeliefSet,PlFormula>
- Parameters:
beliefbase
- a belief baseformula
- a formula- Returns:
- the answer to the query
-
getModels
public java.util.Collection<RankingFunction> getModels(ClBeliefSet bbase)
Description copied from interface:ModelProvider
Returns a characterizing model of the given belief base- Specified by:
getModels
in interfaceModelProvider<Conditional,ClBeliefSet,RankingFunction>
- Parameters:
bbase
- some belief base- Returns:
- the (selected) models of the belief base
-
getModel
public abstract RankingFunction getModel(ClBeliefSet bbase)
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<Conditional,ClBeliefSet,RankingFunction>
- Parameters:
bbase
- some belief base- Returns:
- a selected model of the belief base.
-
-