Inference is the process of taking known facts and rules and using them to come to new knowledge. The simplest examples are in formal logic or mathematics, for example if we know that A>B and B>C and know that '>' is transitive, we can infer that A>C
Used on Chap. 2: page 22
Also known as inference procedures