By Letter: Non-alphabet | 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
  Email this page to a friend


Inference rule




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



< Previous Terms Terms Containing inference rule Next Terms >
inews
infant mortality
infeasible path
inference
inference engine
declarative language
demon
inference
inference engine
Isabelle
infimum
infinite
Infinite Impulse Response
infinite loop
Infinite Monkey Theorem


Web Standards & Support:

Link to and support eLook.org Powered by LoadedWeb Web Hosting
Valid XHTML 1.0!Valid CSS!eLook.org FireFox Extensions