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

See also symbolic inference, type inference.

Last updated: 1995-03-20

Try this search on Wikipedia, OneLook, Google

Nearby terms: inews « infant mortality « infeasible path « inference » inference engine » inference rule » infimum


Copyright Denis Howe 1985 General Business Directory.