inference rule

Also found in: Wikipedia

0.01 sec.

(logic)

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

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		Encyclopedia browser	?		Full browser	?
No references found			infectious conjunctivitis infectious disease Infectious Diseases infectious drug resistance infectious endocarditis Infectious Equine Anemia Infectious Equine Encephalomyelitis infectious hepatitis infectious laryngotracheitis Infectious Mononucleosis infectious myocarditis infectious myxomatosis infectious nucleic acid infectious papillomatosis Infectious Pleuropneumonia of Goats Infectious Rhinitis infectious transfer infectious unit infectious uroarthritis infective dose 50 Infeld, Leopold Inference inference control inference engine inference program inference rule inferential flow meter inferential liquid-level meter inferior inferior alveolar artery inferior alveolar nerve inferior cerebellar peduncle inferior colliculus inferior conjunction inferior fruit inferior ganglion inferior hypogastric plexus inferior mesenteric ganglion inferior mirage inferior planet Inferior Planets inferior temporal gyrus inferior vena cava inferior vena cava syndrome inferior vermis inferior vestibular nucleus inferiority inferiority complex infernal machine inferred ore infertility			infelicity infelix Infelonious Infelt infensus INFEO Infeodation Infeoff Infeoffment Infeoffment infer infer infer infer infer infer infer from inferable inferable inferable harm inferably inferably inference inference inference inference inference control Inference engine Inference engine inference program inference rule Inference rules inference statistics inference statistics inference statistics inference statistics Inference technique Inference technique Inference technique Inference technique Inferences Inferences Inferences Inferences inferencing inferential inferential inferential inferential inferential flow meter inferential liquid-level meter Inferential Retrieval Index System Inferential statistics Inferential statistics Inferential statistics Inferential statistics Inferential statistics inferentially inferentially inferentially inferentially

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.