Best Online Dictionary

« [ Back to Home ] »
<< Return to Computer Dictionary Home
 

.

 

Computer Dictionary Online

Search Computer Term Definition

Web Bestonlinedictionary.com

[ Home ] [ Law Dictionary ] [ Medical Dictionary ] [ Computer Dictionary ]

Computer Dictionary

A to Z Computer Terms Dictionary, Definitions Search

| 0-9 | 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 |
 

 

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

(1994-10-31)

 


Nearby terms: infeasible path « inference « inference engine « inference rule » infimum » infinite » Infinite Impulse Response
   

 

 
 
<< Return to Computer Dictionary Home Page
 


 

computer dictionary, computer terms dictionary, online computer dictionary, computer definition dictionary online, microsoft computer dictionary fifth edition, computer lingo dictionary, computer terminology dictionary, computer computer dictionary dictionary internet internet terms terms, barrons business computer dictionary dictionary internet terms, abbreviation computer dictionary lingo, computer dictionary edition new tenth websters world, computer dictionary with terms and definition, computer science dictionary, american computer dictionary house language random sign websters, dictionary computer internet terms, microsoft computer dictionary, computing dictionary

[ Home ] [ Law Dictionary ] [ Medical Dictionary ] [ Computer Dictionary ]
 

Advertisers : www.hobbyprojects.com, www.sciencelobby.com, www.hotgamecheater.com,
www.indianfoodrecipes.net www.joyeemukherjee.com, www.beautytipsforwomen.net

 

Best Online Dictionary .com

 

www.bestonlinedictionary.com Copyright ® All Rights Reserved