An inference-rule will be a function which, when applied to a formula
returns a list of formulas (the formulas inferred using the inference rule).
The inference rule will normally function by accessing the list *beliefs*.
Previous slide | Next slide | Back to first slide | View graphic version |