public class RuleBasedCReasoner extends AbstractConditionalLogicReasoner
Modifier and Type | Class and Description |
---|---|
static interface |
RuleBasedCReasoner.Rule
A rule that is applicable by the
RuleBasedCReasoner to reason a
c-representation given a conditional belief base. |
Modifier and Type | Field and Description |
---|---|
private boolean |
humanFriendly
a flag indicating if a human friend processing shall be used, that means
everything is calculated no fast-evaluation, such that a human can better
follow the algorithm.
|
private java.util.List<RuleBasedCReasoner.Rule> |
rules
A prioritized list of rules, the first rule is applied first and so on.
|
Constructor and Description |
---|
RuleBasedCReasoner() |
RuleBasedCReasoner(boolean humanFriendly) |
Modifier and Type | Method and Description |
---|---|
RankingFunction |
getModel(ClBeliefSet beliefset)
Returns a single (dedicated) model of the given belief base.
|
getModels, query
private boolean humanFriendly
private java.util.List<RuleBasedCReasoner.Rule> rules
public RuleBasedCReasoner()
public RuleBasedCReasoner(boolean humanFriendly)
public RankingFunction getModel(ClBeliefSet beliefset)
ModelProvider
getModel
in interface ModelProvider<Conditional,ClBeliefSet,RankingFunction>
getModel
in class AbstractConditionalLogicReasoner