Interface | Description |
---|---|
RuleBasedCReasoner.Rule |
A rule that is applicable by the
RuleBasedCReasoner to reason a
c-representation given a conditional belief base. |
Class | Description |
---|---|
AbstractConditionalLogicReasoner |
Abstract ancestor for all reasoner for conditional logic.
|
BruteForceCReasoner |
This class models a brute force c-reasoner for conditional logic.
|
CReasoner |
This class models a c-reasoner for conditional logic.
|
RuleBasedCReasoner |
This is a reasoner using c-representation and rules to solve these c-representations.
|
ZReasoner |
This class models a z-reasoner for conditional logic.
|