Class RuleBasedCReasoner
java.lang.Object
org.tweetyproject.logics.cl.reasoner.AbstractConditionalLogicReasoner
org.tweetyproject.logics.cl.reasoner.RuleBasedCReasoner
- All Implemented Interfaces:
ModelProvider<Conditional,
,ClBeliefSet, RankingFunction> QualitativeReasoner<ClBeliefSet,
,PlFormula> Reasoner<Boolean,
ClBeliefSet, PlFormula>
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
Modifier and TypeClassDescriptionstatic interface
A rule that is applicable by theRuleBasedCReasoner
to reason a c-representation given a conditional belief base. -
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptiongetModel
(ClBeliefSet beliefset) Returns a single (dedicated) model of the given belief base.boolean
the solver is natively installed and is therefore always installedMethods inherited from class org.tweetyproject.logics.cl.reasoner.AbstractConditionalLogicReasoner
getModels, query
-
Constructor Details
-
RuleBasedCReasoner
public RuleBasedCReasoner()Constructor -
RuleBasedCReasoner
public RuleBasedCReasoner(boolean humanFriendly) Constructor- Parameters:
humanFriendly
- is humanFriendly
-
-
Method Details
-
getModel
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.
-
isInstalled
public boolean isInstalled()the solver is natively installed and is therefore always installed- Returns:
- `true` if the solver is installed and available, `false` otherwise.
-