# inference rule

Computing Dictionary

### inference rule definition

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.
(1994-10-31)

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source
Explore Dictionary.com
Previous Definition: inference engine
Next Definition: inferencing
Words Near: inference rule
More from Thesaurus.com
Synonyms and Antonyms for inference rule
More from Reference.com
Search for articles containing inference rule
More from Dictionary.com Translator
Dictionary.com Word FAQs

Dictionary.com presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Nearby Words