inference

Search:

inference

The logical process by which new facts are derived from known facts by the application of inference rules.

See also symbolic inference, type inference.

(1995-03-20)