In expert systems
or knowledge bases
having an inference engine
, forward inference is inference
that occurs automatically as a result of adding new facts to the system. For example, if a system had a rule stating that every raven
is black, and as soon as the system found out that Joe is a raven, it inferred that he is black in color, that would be forward inference. A terse way of explaining forward inference is that it is inference that happens at assert
Some systems treat all their inference rules as forward, while others allow specific rules to be tagged as such.
Contrast forward inference with backward inference, which is inference that happens at query time.