Package net.sf.tweety.logics.cl.reasoner
Class RuleBasedCReasoner
- java.lang.Object
-
- net.sf.tweety.logics.cl.reasoner.AbstractConditionalLogicReasoner
-
- net.sf.tweety.logics.cl.reasoner.RuleBasedCReasoner
-
- All Implemented Interfaces:
ModelProvider<Conditional,ClBeliefSet,RankingFunction>
,QualitativeReasoner<ClBeliefSet,PlFormula>
,Reasoner<java.lang.Boolean,ClBeliefSet,PlFormula>
public class RuleBasedCReasoner extends AbstractConditionalLogicReasoner
This is a reasoner using c-representation and rules to solve these c-representations. It contains a list of rules whereby the first rule is the rule with the highest priorization, that means it is applied first.- Author:
- Tim Janus, Matthias Thimm
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static interface
RuleBasedCReasoner.Rule
A rule that is applicable by theRuleBasedCReasoner
to reason a c-representation given a conditional belief base.
-
Constructor Summary
Constructors Constructor Description RuleBasedCReasoner()
RuleBasedCReasoner(boolean humanFriendly)
-
Method Summary
Modifier and Type Method Description RankingFunction
getModel(ClBeliefSet beliefset)
Returns a single (dedicated) model of the given belief base.-
Methods inherited from class net.sf.tweety.logics.cl.reasoner.AbstractConditionalLogicReasoner
getModels, query
-
-
-
-
Method Detail
-
getModel
public RankingFunction getModel(ClBeliefSet beliefset)
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>
- Specified by:
getModel
in classAbstractConditionalLogicReasoner
- Parameters:
beliefset
- some belief base- Returns:
- a selected model of the belief base.
-
-