Boolean Rule Language Documentation
The source syntax between boolean and fuzzy rulesets is
nearly identical, except for the following in the boolean
language:
- InferenceMethod must be one of: forward, backward, or
mixed, but mixed is not yet implemented by the inference
engine.
- AlphaCut, CorrelationMethod, and DefuzzifyMethod are not
allowed
- Continuous variables must not have a SetDefinitions
clause
- Symbolic may be replaced with Categorical
- Numeric may be replaced with Discrete
- When InferenceMethod is backward, the clause GoalVariable(varName)
must appear immediately after the variable declaration
section; varName must name a declared variable
- Rules must have labels (they are optional in the fuzzy
system)
- Rules may have priorities; these appear before the colon
(:) and in square brackets; for example
someRuleLabel[100]: if foo = bar then baz = bay
sets the rule's priority to 100; I don't think priorities
are actually used by the boolean inference engine.
- Hedges are, of course, not allowed
- The Is operator is not allowed, as it only applies to
fuzzy sets
Last modified: Wed Jun 7 15:29:54 CDT 2000