inference rule

I i

Transcription

- US Pronunciation
- US IPA

- US Pronunciation
- US IPA

Definition of inference rule words

noun Technical meaning of 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. 1

Just one definition for inference rule

Information block about the term

Parts of speech for Inference rule

noun

adjective

verb

adverb

pronoun

preposition

conjunction

determiner

exclamation

Full grammatical hierarchy of Inference rule

See also

All definitions of inference rule

Matching words

Was this page helpful?

Yes No

Thank you for your feedback! Tell your friends about this page

Tell us why?