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.Last updated: 1995-03-20
inference engine
A program that infers new facts from known facts using inference rules. Commonly found as part of a Prolog interpreter, expert system or knowledge based system.Last updated: 1994-11-01
inference rule
<logic>
A procedure which combines known facts to produce ("infer") new facts. For example, given that
1. Socrates is a man and that 2. all men are motal,we can infer that Socrates is mortal. This uses the rule known as "modus ponens" which can be written in Boolean algebra as
(A & A => B) => B(if proposition A is true, and A implies B, then B is true). Or given that,
1. Either Denis is programming or Denis is sad and 2. Denis is not sad,we can infer that Denis is programming. This rule can be written
((A OR B) & not B) => A(If either A is true or B is true (or both), and B is false, then A must be true). Compare syllogism.
Last updated: 1994-10-31
Nearby terms:
infant mortality ♦ infeasible path ♦ inference ♦ inference engine ♦ inference rule
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
