forward inference (thing)

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 time.

Some systems treat all their inference rules as forward, while others allow specific rules to be tagged as such.