NAME
SYNOPSIS
DESCRIPTION
EvaluableTerm must be a term that can be evaluated as
a function and is implemented as a ripple-down rule. Rdr
invokes an interactive session:
- Rdr evaluates the expression and asks the user if the result
is correct.
- If the answer is yes, rdr succeeds and the call terminates.
- If the answer is no, rdr asks the user for the correct
answer.
- It then lists a sequence of tests to be used in building a new rule
to correctly classify the new case.
- If the user answers yes to a test, then it is included as one
of the conditions in the new rule.
- If the user answers no, the test is discarded.
- When the list of test has been exhausted, the new rule is installed
in the RDR and the call the rdr succeeds.
EXAMPLE
BUGS