Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

inference

You are here: irt.org | FOLDOC | inference

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

(1995-03-20)

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

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb